# Tagged: abelian group

## Problem 147

Let $G$ be a group and let $D(G)=[G,G]$ be the commutator subgroup of $G$.
Let $N$ be a subgroup of $G$.
Prove that the subgroup $N$ is normal in $G$ and $G/N$ is an abelian group if and only if $N \supset D(G)$.

## Problem 127

Let $G$ be a group. Suppose that $H_1, H_2, N_1, N_2$ are all normal subgroup of $G$, $H_1 \lhd N_2$, and $H_2 \lhd N_2$.
Suppose also that $N_1/H_1$ is isomorphic to $N_2/H_2$. Then prove or disprove that $N_1$ is isomorphic to $N_2$.

## Problem 124

Let $p$ be a prime number.
Let $G$ be a non-abelian $p$-group.
Show that the index of the center of $G$ is divisible by $p^2$.

## Problem 118

Let $G$ be a finite group of order $18$.

Show that the group $G$ is solvable.

## Problem 113

Let $A$, $B$ be groups. Let $\phi:B \to \Aut(A)$ be a group homomorphism.
The semidirect product $A \rtimes_{\phi} B$ with respect to $\phi$ is a group whose underlying set is $A \times B$ with group operation
$(a_1, b_1)\cdot (a_2, b_2)=(a_1\phi(b_1)(a_2), b_1b_2),$ where $a_i \in A, b_i \in B$ for $i=1, 2$.

Let $f: A \to A’$ and $g:B \to B’$ be group isomorphisms. Define $\phi’: B’\to \Aut(A’)$ by sending $b’ \in B’$ to $f\circ \phi(g^{-1}(b’))\circ f^{-1}$.

$\require{AMScd} \begin{CD} B @>{\phi}>> \Aut(A)\\ @A{g^{-1}}AA @VV{\sigma_f}V \\ B’ @>{\phi’}>> \Aut(A’) \end{CD}$ Here $\sigma_f:\Aut(A) \to \Aut(A’)$ is defined by $\alpha \in \Aut(A) \mapsto f\alpha f^{-1}\in \Aut(A’)$.
Then show that
$A \rtimes_{\phi} B \cong A’ \rtimes_{\phi’} B’.$

## Problem 95

Let $G$ be a finite abelian group of order $mn$, where $m$ and $n$ are relatively prime positive integers.

Then show that there exists unique subgroups $G_1$ of order $m$ and $G_2$ of order $n$ such that $G\cong G_1 \times G_2$.

## Problem 30

Let $G$ be a group of order $|G|=pq$, where $p$ and $q$ are (not necessarily distinct) prime numbers.

Then show that $G$ is either abelian group or the center $Z(G)=1$.

## Problem 20

Suppose the order of a group $G$ is $p^2$, where $p$ is a prime number.
Show that

(a) the group $G$ is an abelian group, and

(b) the group $G$ is isomorphic to either $\Zmod{p^2}$ or $\Zmod{p} \times \Zmod{p}$ without using the fundamental theorem of abelian groups.

## Problem 18

Let $Z(G)$ be the center of a group $G$.
Show that if $G/Z(G)$ is a cyclic group, then $G$ is abelian.