A group is an algebraic structure consisting of a set of elements together with an operation that satisfies four conditions: closure, associativity, identity and invertibility. Group theory studies groups.

learn more… | top users | synonyms (2)

1
vote
2answers
21 views

Let$ G = \{e, g_1, g_2, …, g_n\}$ be a finite abelian group, proof that for any $x \in G$, the product $x^n g1 g2$ etc $= g1 g2$ etc.

Let $G = {g_1, g_2, ..., g_n}$ be a finite abelian group, prove that for any $x ∈ G$, the product $xg_1 \cdot xg_2 \cdot \cdot \cdot xg_n = g_1 \cdot g_2 \cdot \cdot \cdot g_n$. I can easily see why ...
0
votes
2answers
29 views

Multiplicatively written and non-abelian groups

When we write a proof for a multiplicatively written group does this hold true for non-abelian groups? I mean in general, when we write a proof for a multiplicatively written group, since in my ...
1
vote
3answers
59 views

Do we have to show these two directions?

We have that $A,B,C$ are subgroups of $G$ such that $A<C$. I want to show that $AB\cap C=A(B\cap C)$. $$$$ We have the following $$AB=\{ab\mid a\in A, b\in B\}$$ $$AB\cap C=\{x\mid x\in AB ...
0
votes
0answers
8 views

In permutation groups with trivial four-point stabilizers we have $N_G(N_G(M_0)) \le N_G(M_0)$ for $M_0 = G_{\alpha}\cap G_{\beta}\cap G_{\gamma}$.

Let $G$ be a finite transitive permutation group on a set $\Omega$ of odd degree. Suppose that the four-point stabilizers are trivial and that some three-point stabilizer is nontrivial; this is ...
-2
votes
0answers
22 views

the number of epimorphisms [on hold]

Find the number of epimorphisms of free groups $$ F_2 $$ of rank 2 on groups $$\mathbb Z_{p^2} \oplus\mathbb Z_{p^2} $$ and the number of normal subgroups $$ F_2 $$, which quotient groups are ...
-2
votes
0answers
21 views

Direct sum of nonzero groups [on hold]

Please help with the decision Find the number of expansions in a direct sum of nonzero groups $$\mathbb Z_{p^2} \oplus\mathbb Z_{p^2} $$ p - simple.
1
vote
1answer
24 views

Verifying generators of a cyclic group

Is there is a faster way to verify that a number is a generator of $Z_n^{*}$ other than taking the power of the number multiple times? For example, I want to know if 11 is a generator of ...
0
votes
0answers
14 views

Harmonic function on 3-dimensional lamplighter group

Can anyone give an example of a non-constant bounded harmonic function on the Lamplighter group $\mathbb{Z}_2 \wr \ \mathbb{Z}^3$? This function should exist, because the random walk on this group has ...
0
votes
2answers
39 views

How can we define that function?

I want to show that $M=\{\tau \in S_4\mid \tau (4)=4\}$ is isomorphic to $S_3$. To do that we have to consider a function $f(x)$ that gives the isomorphism of $M$ with $S_3$, i.e., we have to ...
2
votes
1answer
37 views

Convincing normal subgroup proof?

I wrote the following proof on an exam, I was wondering if it makes sense. Question: let $H$ be a subgroup of $G$, written in multiplicitive notation. Prove that if the coset multiplication defined ...
2
votes
1answer
30 views

Let $G$ be a $2$-group and suppose the centralizer of some element of order two has order at most four, then $G$ has maximal class

Let $G$ be a $2$-group of order $|G| \ge 4$ and $H \le G$ be a subgroup of order $2$, i.e. $|H| = 2$. Suppose we have $|C_G(H)| \le 4$. Then $G$ has maximal class. Do you know a proof of this fact? I ...
1
vote
0answers
50 views

Any good math books? [on hold]

I was wondering if there are any books about a bunch of random math theories, areas and topics. For example topics like group theory, randomness. klein bottles and other interesting things
1
vote
1answer
17 views

CG-homorphism proof. Stuck at the end!

I am trying to work on some questions back from my uni days, and one has gotten the better of me at the moment! Let $G$ be a finite group and $V, W$ finite-dimensional $\mathbb{C}G$-modules. Let ...
3
votes
2answers
55 views

Determine the number of subgroups of $\Bbb Z_p \times \Bbb Z_p$, where p is prime.

There are some answers online and we got one in our lecture. Unfortunately I have spent several hours trying to make sense of it and getting nowhere. I think it is mainly due to the fact of me being ...
-1
votes
0answers
23 views

Space, symmetry and undecidability. [on hold]

So I went to a lecture a few months ago on symmetry. My question is at what point does symmetry or group theory become undecidable? How come I improve my understanding on trivial symmetry and ...
0
votes
2answers
31 views

Subgroups of the multiplicative group $(\Bbb C^{\times},\cdot)$

I have $n\ge 2$ and have to show $U(n):=\{z\in\Bbb C\;:\; z^n=1\}$ is subgroup of the multiplicative group $(\Bbb C^{\times},\cdot)$. I can t understand the problem, help please.
0
votes
0answers
15 views

Nonabelian $2$-groups whose derived length $l > 2$ [on hold]

Can we classify all nonabelian $2$-groups whose derived length is at least $3$?
14
votes
12answers
660 views

A good book for beginning Group theory

I am new to the field of Abstract Algebra and so far it's looking to me quite tough. So far I have encountered the following books in group theory - Contemporary abstract algebra by Joseph Gallian and ...
4
votes
2answers
34 views

Isomorphism between $G$ and $\mathbb{Q}^{*}$

Let $\{G_{n}\}_{n\in \mathbb{N}}$ be a family of additive groups with $G_{1}=\mathbb{Z}_{2}$ and $G_{n}=\mathbb{Z}$ for $n\geq 2$ $$G=\bigoplus_{n\in \mathbb{N}}G_{n}$$ I want to prove that $G\cong ...
2
votes
1answer
34 views

$G$ be a group such that every maximal subgroup is of finite index and any two maximal subgroups are conjugate

Let $G$ be a group such that every maximal subgroup is of finite index and any two maximal subgroups are conjugate and any proper subgroup is contained in a maximal subgroup . Then is $G$ cyclic ? I ...
1
vote
0answers
15 views

Does irreducibility of a representation imply irreduciblity of all restricted representations?

Let $G$ be a group with a subgroup $H$. Then any representation of $G$ can be restricted to $H$. If the $G$ representation is irreducible then should the $H$ representation also be irreducible? If ...
3
votes
1answer
35 views

Are all countable torsion-free abelian groups without elements of infinite height free?

The height of an element $g$ in an abelian group $G$ is the largest $n\in \mathbb{N}$ such that there exist an element $h\in G$ such that $n*h=g$. If $g$ has no such largest integer than $g$ is of ...
1
vote
0answers
21 views

What's the motivation of the third condition of Nielsen-reduced? [on hold]

The third condition of Nielsen-reduced is: $v_1v_2\ne$l and $v_2v_3\ne$l implies |$v_1v_2v_3$|> |$v_1$|-|$v_2$|+|$v_3$|.But I can't see why it's defined by this, how did he come up with such an idea?
0
votes
0answers
17 views

Connection between $S_{e_{n}}$ and the Clifford semigroup $S$

Can someone help me to get an answer to this question: Let $S$ be a Clifford semigroup and $S'$ sub-semigroup of $S$ and if $S'_{e_{n}}$ is normal in $S_{e_{n}}$, what can we say about the $S'$( is ...
2
votes
1answer
21 views

perfect groups with non-trivial group homology over rational coefficients

A group $G$ is perfect if $G=[G,G]$. For perfect groups, we know that the first group homology $H_1(G, \mathbb{Z})=G/[G,G]=0$. A group $G$ is called acyclic if its group homology $H_i(G, ...
1
vote
1answer
22 views

Commutator subgroup $[H,K]$, $H, K$ subgroups of a group

How could I show that $[H,K]$ is a normal subgroup of $\langle H, K \rangle$? Also that if $H$ is generated by $X$ and $K$ is generated by $Y$, then $[H,K]=\langle g[x,y]g^{-1} | x \in X, y\in Y, g\in ...
0
votes
0answers
16 views

For the special class of $T$-subgroups in a certain quotient group the normal subgroups intersect certain subgroup

Let $G$ be a finite group and $U \le G$ be a subgroup of odd order which has index two in its normalizer and $U^g \ne U$ implies $U^g \cap U = 1$. Write $N_G(U) = TU$ with $T = \langle t \rangle$ for ...
1
vote
1answer
41 views

To prove that $G$ is the group the condition is not necessary $\forall a,b, c \in G(ba=ca\to b=c)$.?

$1.$ Let $G$ be a finite semigroup such that $\forall a,b, c \in G(ab=ac\to b=c)$. Then $G$ is Group. ? I know the following result : If $G$ be a finite semigroup such that $\forall a,b, c \in ...
2
votes
0answers
35 views

Classify all finite groups with property [on hold]

Classify all finite groups $G$ with the following property: for every $H\vartriangleleft G$ there exists $K<G$ such that $G/H$ is isomorphic to $K$. My poor abstract-algebraic imagination doesn't ...
0
votes
0answers
35 views

A relation between a group and its subgroups [duplicate]

Let be $H$ a proper subgroup of finite group $G$. Who can we show that $G\not=\cup_{a \in G}aHa^{-1}$?
4
votes
2answers
26 views

Example of inverse semigroup with at least two idempotent elements

We say that the semigroup $S$ is inverse semigroup if for any $s\in S$ there is a unique $t\in S$ such that $sts=s,\ tst=t$. Suppose that $E(S)=\{e:\ e\in S,\ e^2=e\}$ and define $$s\sim ...
-1
votes
1answer
37 views

When does normal maximal subgroup have prime index?

Given finite group $G$, a normal maximal subgroup $H$, when is $[G:H]$ a prime? If $G$ is nilpotent, then the statement is true. But I am not sure about other $G$. Is there any counter-example ...
0
votes
0answers
26 views

Sylow counting to show group is isomorphic to semidirect product

Let G be a group of order $|G|=pq^m$ where $p, q$ are primes with $q^m<p$. Use a Sylow counting argument to show that $G\cong C_p \rtimes_h Q$ where $Q$ is a group with $|Q|=q^m$ and ...
1
vote
0answers
40 views

Quick way to classify groups of small order

This is a past Qualifying exam on Algerbra : I'm curious if there is a quick way to solve Prob 1. To me, directly classifying groups takes too much time and I think I could not handle this in time ...
1
vote
2answers
24 views

Order of group $G = \{A\in M_2(\mathbb{Z}_p): \mathrm{det}A= \pm 1 \}$

Also, $p>2$ is a prime number. Firstly, it's obvious that $G \leq GL_2(\mathbb{Z}_p)$, and we know that $|GL_2(\mathbb{Z}_p)|=p(p^2-1)(p-1)$. Next, we define the homomorphic map ...
2
votes
0answers
27 views

Using a Sylow Counting Argument

Let G be a group of order $$|G|=pq^m$$ where $p$ and $q$ are primes and $q^m<p$. Show that $$G\cong C_p \rtimes_h Q$$ where $Q$ is a group with $|Q|=q^m$ and $h:Q\rightarrow Aut(C_p)$ is a ...
1
vote
1answer
14 views

Abelianization of the absolute group and maximal abelian extension

Let $K$ be any field, $\overline K$ is the separable closure of $K$ and $K^{ab}$ is the maximal abelian extension of $K$. I want to prove the following relation $$G(\overline ...
2
votes
1answer
42 views

Galois group isomorphic to $\mathbb Z$

Does exist an example of a Galois extension $L/K$ such that $\text{Gal}(L/K)\cong \mathbb Z$? Thank you.
1
vote
1answer
36 views

How can I prove that G is abelian?

$N$ is a finite normal subgroup of order $n$ of $G$, and $|\operatorname{Inn}(G)|=m$ , $(n,m)=1$ and $[G:N]=p$ a a prime number. How can I prove that G is abelian? Can I use that $G$ is abelian iff ...
1
vote
1answer
36 views

Two non-isomorphic groups which are epimorphic images of each other

Let $G$ and $H$ be two groups, I am looking for an example such that $G$ is an epimorphic image of $H$ and $H$ is an epimorphic image of $G$ (i.e. they are both quotients of the other group), but they ...
2
votes
1answer
22 views

Group of exponent $2$.

When I have a group $G$ of exponent $2$ and I know that all elements in $G-\{e\}$ are conjugated, is it right that $G$ is of order $2$? My try: For $g,h \in G - \{e\}$ the conjugation assumption ...
1
vote
2answers
46 views

Group of finite order where every element has infinite order

An often given example of a group of infinite order where every element has infinite order is the group $\dfrac{\mathbb{(Q, +)}}{(\mathbb{Z, +})}$. But I don't see why every element necessarily has ...
0
votes
0answers
21 views

Subgroup of square generators. [duplicate]

Let $N$ be a subgroup of $G$ with $N$ being generated by $\{x^2|x \in G\}$. Prove that $N$ is a normal subgroup of $G$. And that $[G, G] \subset N$. My idea was to look at $G/N$ and take $f:G ...
0
votes
1answer
33 views

Is/when is this property about the totative subset of $(\mathbb{Z}_n , +_n)$ true?

Is it possible to show (or when is it true); that for the group $\mathbb{Z}^+_n :=(\mathbb{Z}_n , +_n) $, there exists an $a \in \mathbb{Z}^+_n$ for each $z \in \mathbb{Z}^+_n$, where both $z+_n a$ ...
1
vote
1answer
39 views

Criterion for isomorphism of two groups given by generators and relations

When are two presentations of groups are isomorphic? In this post it is said: [...] find a set of generators of the first group that satisfies the relations of the second group [...] But I doubt ...
3
votes
3answers
62 views

A line avoiding an Algebraic group

Let $K$ be an algebraically closed field, and $G\subset (K,+)^3$ an algebraic subgroup (i.e. given as the zero sets of finitely many polynomial equations) of dimension 1. Is it clear that there is a ...
2
votes
1answer
46 views

Centralizer, normalizer, and center of a dihedral group

Let $A := \{1, r, r^2,..., r^{n-1}\}$. Compute $C_{D_{2n}}(A), N_{D_{2n}}(A),$ and $Z(D_{2n})$. So far I figured that all of the rotations are in the centralizer/normalizer, because all rotations ...
0
votes
0answers
20 views

Set of all permutations on n generating function [duplicate]

Show that $S_n = \langle (1\ 2), (1\ 2\ \ldots\ n) \rangle$ for all $n \geq 2$. I'm not sure how to approach this one.
2
votes
1answer
38 views

Prove that $\mu:G\times G \rightarrow G$ is a homomorphism if and only if $G$ is abelian.

Given $\mu:G\times G$ be the operation on a group $G$; that is, $\mu (a,b)=ab$. Prove that $\mu$ is a homomorphism if and only if $G$ is abelian. I have no problem on proving the necessary ...
1
vote
1answer
17 views

Let $n \geq 2$ be an integer, and consider the group $Z_n:=(\{0,1,. . .,n-1\}, +_n)$. Let $k \in Z_n$ \ $\{0\}$.

Let $n \geq 2$ be an integer, and consider the group $Z_n:=(\{0,1,. . .,n-1\}, +_n)$. Let $k \in Z_n$ \ $\{0\}$. Show that the following statements are equivalent: (a) $\gcd(n,k)=1$, (b) the only ...