# Tagged Questions

46 views

### Commutators Calculus

I was trying to understand the above Corollary but I have a problem, namely why in the second to last line $A_0 \leq \zeta_p(G)$? Any ideas? Definitions By recurrence we define $[x,_0\, y]=x$; ...
67 views

### $n$th power map is an automorphism implies abelian group?

If $G$ is a finite group and $\phi(x) = x^n$ is an automorphism of $G$ does this imply $G$ is abelian? I've been reading this page. Def: A group $G$ is said to be $n$-abelian if $(ab)^n=a^nb^n$ ...
46 views

23 views

### Counting homomorphisms by the order of their images

I am trying to count homomorphisms from $\mathbb Z^r$ to $(\mathbb Z/m)^n$ while keeping track of the order of the image of each map. In other words, for each integer $k$ dividing $m^n$, I want to ...
108 views

### Simple proof of the structure theorems for finite abelian groups

Many proofs of the structure theorems for finite abelian groups first reduce to the problem to $p$-groups, which is fine and is an important technique. However, it seems to me that a simple proof can ...
26 views

### Orbits under action of a subgroup on the set of conjagtes of a second subgroup

i have the following question: Let $A\leq B\leq G$ be finite groups. Then $G$ acts naturally via conjugation on the set of conjugates $A^G$. It's trivial, that there is only one orbit under this ...
31 views

### If $G$ has more than one nontrivial elements with order 2, how to show that $\prod^n_{x=1}a_x=1$? [duplicate]

Let $G$ be an abelian group of order $n$, and $a_1,a_2,...a_n$ its elements. If $G$ has more than one nontrivial elements with order $2$, how to show that $\prod^n_{x=1}a_x=1$?
118 views

### Prove $G$ is abelian if $f(f(x)) = x$?

Let $G$ be a finite group and $f$ an automorphism such that $f(f(x)) = x$, and $f(x) = x$ if and only if $x=e$. Prove that $G$ is abelian and $f(x) = x^{-1}$. My attempt: ...
36 views

### How to find group homomorphisms from one group to another

I am trying to figure out all the homomorphisms from $\mathbb{Z}_2\times\mathbb{Z}_2$ to $\mathbb{Z}_2$. Is there a good process for doing such a think? I am getting lost...
135 views

### Abelian group generators and relations

(a) Define what it means for an abelian group to be finitely generated. Explain the terms elementary divisors and rank of $G$ and describe the structure theorem for finitely generated abelian ...
97 views

### Rank of $(G/H)/(G/H)_t$ where $G$ is finitely generated abelian and $H$ is a subgroup.

Let $G$ be a finitely generated abelian group and $H$ be a subgroup. Let subscript $t$ denote the torsion subgroup. If $G/G_t$ is free of rank $n$ and $H/H_t$ is free of rank $m$, it is easy to embed ...
75 views

### $\langle x \rangle$ is a direct summand of a finite abelian group where $x$ is maximal order [duplicate]

Let $x$ be an element of a finite abelian group $G$ where $x$ has maximal order. Then I want to show that $\langle x\rangle$ is a direct summand of $G$. Note that I do not want to use finite abelian ...
108 views

### $\psi (m)\leq \phi (m)$ or $\psi (m) \geq \phi (m)$ when $\psi (m)\neq 0$?

(This is different than If $x^m=e$ has at most $m$ solutions for any $m\in \mathbb{N}$, then $G$ is cyclic) I was trying to solve this: Let $G$ be a finite abelian group of order $n$ for which the ...
33 views

### Why is $U(12) = U_{4} (12) ~ U_3(12)?$

Why is $U(12) = U_{4} (2)~ U_3(12)$ Attempt: Any subgroup $U_k(n) = \{x \in U(n)~~|~~x \mod k=1 , k ~|~n \}$ Hence : if $U(12) =\{1,5,7,11\}$ then : $U_4(12) =\{1,5\}$ and $U_3(12)=\{1,7\}$ We see ...
39 views

### Uniqueness FTOFAG

How do you prove uniqueness for the fundamental theorem of finite abelian groups? The book I'm using has this not very well written proof that I can't follow. So following this proof, I multiply by ...
45 views

### Subgroups of a finite elementary abelian group.

I am looking for a method to calculate number all subgroups of a finite elementary abelian $p$-group. Suppose $G$ be an elementary abelian $p$-group of order $p^n$. A proper subgroup $H$ of $G$ is ...
31 views

### Prove that $U(m) = U_{m/n_1} (m) \times U_{m/n_1} (m) \times \cdots\times U_{m/n_k}$

If $m = n_1 n_2 \cdots n_k$ where $\gcd(n_i~,n_j)=1 ~~ \forall i \neq j$, then prove that: $$U(m) = U_{m/n_1} (m) \times U_{m/n_1} (m) \times \cdots\times U_{m/n_k}$$ where $\times$ refers to the ...
20 views

### Evidence about the group $\left ( (\mathbb{Z}/p\mathbb{Z})^*,\underset{p}{ \odot} \right )$

Be $p$ an odd prime number. Show that the group $\left ( (\mathbb{Z}/p\mathbb{Z})^*,\underset{p}{ \odot} \right )$ has a unique element of order $2$, namely $\overline{p-1}$, and show that ...
21 views

### Be $G=\{ e,g_1,g_2,\ldots, g_n \}$, $|G|=n+1$. Suppose $G$ has a unique element of order $2$, say $g_1$. Show that $eg_1g_2\ldots g_n=g_1$.

Be $G=\{ e,g_1,g_2,\ldots, g_n \}$ an abelian group of order $n+1$. Suppose $G$ has a unique element of order $2$, say $g_1$. Show that $eg_1g_2\ldots g_n=g_1$. I have serious difficulties with ...
101 views

127 views

### $g\in G$ maximal order in $G$ abelian then $G=\left<g\right>\oplus H$

If $g\in G$ is an element of maximal order in a finite abelian group $G$ then exists $H\leq G$ such that $G=\left<g\right>\oplus H$ Attempt: Using fundamental theorem I know that ...
72 views

### Subgroups of finite Abelian groups

I am interested in finding all of the subgroups (up to isomorphism) of a finite Abelian group $A$. I know the following: -- A finite Abelian group $A$ can be represented as a direct product of ...
24 views

### Does this condition gaurantee the cyclicity of a finite abelian group?

Let $G$ be a finite abelian group in which there are at most $n$ solutions of the equation $x^n = e$ for each posivite integer $n$. How to determine if $G$ is cyclic or not?
47 views

### Which elements of this cyclic group would generate it?

Let $n$ be a given arbitrary positive integer, and let $U_n$ denote the group of all the positive integers less than $n$ and relatively prime to $n$ under multiplication mod $n$. Then for which values ...
112 views

### Is the group $(G,*)$ abelian?

Let $(G,*)$ be a finite group in which the sets $C_a$={$x\epsilon G$|$ax=xa$} have the same cardinality, for all $a \epsilon G$ \{e}. My question is: is the group abelian?
89 views

### Using the Fundamental Theorem of Finite Abelian Groups

Let $G$ be a finite abelian group and let $p$ be a prime that divides the order of $G$. Use the Fundamental Theorem of Finite Abelian Groups to show that $G$ contains an element of order $p$. The ...
121 views

### Explicitly computing the isomorphism class of the tensor product of two finite abelian groups

How do I compute the isomorphism class of $A\otimes_\mathbb{Z} B$, where $A$ and $B$ are abelian of finite order? I can do this for a few examples, but I am unsure of how to proceed in the ...
111 views

39 views

### Under what conditions should a sub-group of a direct sum, itself be a direct sum?

This is a question I'm struggling a couple of days with: Let $G_1,G_2$ be abelian groups, and let $H$ be a subgroup of $G:=G_1\oplus G_2$. Under what conditions must $H$ be a group of the form ...
78 views

### Prove a result on the size of the minimal set that generates a finite abelian group

I am asked to prove the following: Let $G$ be a non-trivial, finite abelian group. Let $s$ be the smallest positive integer such that $G = \langle a_1,...,a_s\rangle$ for some $a_1,...,a_s \in G$. ...
141 views

### When is the automorphism group $\text{Aut }G$ cyclic?

Let $G$ be a finite group. Under which conditions on $G$ is the automorphism group $\text{Aut }G$ cyclic? More precisely, does $G$ is abelian or $G$ is cyclic implies $\text{Aut }G$ is cyclic?
### Is this group: $\mathbb Z^{*}_{15}$, is cyclic? [closed]
Is this group: $\mathbb Z^{*}_{15}$, is cyclic? I tried to find a generator. and i didn't found one. But how can i prove that this group is not cyclic?
### In the group A/B find the order of the coset (x$_1$+2x$_3$)+B
A is an abelian free group, with the base x$_1$,x$_2$,x$_3$. will be B a sub-group that created with x$_1$+x$_2$+4x$_3$,2x$_1$-x$_2$+2x$_3$. In the group A/B find the order of the coset ...