Let $p$ be a prime number. Let
\[G=\{z\in \C \mid z^{p^n}=1\} \]
be the group of $p$-power roots of $1$ in $\C$.
Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism.
Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ itself.
Let $G$ be a group. We fix an element $x$ of $G$ and define a map
\[ \Psi_x: G\to G\]
by mapping $g\in G$ to $xgx^{-1} \in G$.
Then prove the followings. (a) The map $\Psi_x$ is a group homomorphism.
(b) The map $\Psi_x=\id$ if and only if $x\in Z(G)$, where $Z(G)$ is the center of the group $G$.
(c) The map $\Psi_y=\id$ for all $y\in G$ if and only if $G$ is an abelian group.
Let $G$ be a group. Define a map $f:G \to G$ by sending each element $g \in G$ to its inverse $g^{-1} \in G$.
Show that $G$ is an abelian group if and only if the map $f: G\to G$ is a group homomorphism.
Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism.
Then show that there exists an integer $a$ such that
\[f(n)=an\]
for any integer $n$.
Let $f: H \to G$ be a surjective group homomorphism from a group $H$ to a group $G$.
Let $N$ be a normal subgroup of $H$. Show that the image $f(N)$ is normal in $G$.
Let $G$ and $H$ be groups and let $f:G \to K$ be a group homomorphism. Prove that the homomorphism $f$ is injective if and only if the kernel is trivial, that is, $\ker(f)=\{e\}$, where $e$ is the identity element of $G$.
Let $\R^{\times}=\R\setminus \{0\}$ be the multiplicative group of real numbers.
Let $\C^{\times}=\C\setminus \{0\}$ be the multiplicative group of complex numbers.
Then show that $\R^{\times}$ and $\C^{\times}$ are not isomorphic as groups.
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$.
Let $G$ and $G’$ be groups and let $f:G \to G’$ be a group homomorphism.
If $H’$ is a normal subgroup of the group $G’$, then show that $H=f^{-1}(H’)$ is a normal subgroup of the group $G$.
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’.\]
Let $G$ be a simple group and let $X$ be a finite set.
Suppose $G$ acts nontrivially on $X$. That is, there exist $g\in G$ and $x \in X$ such that $g\cdot x \neq x$.
Then show that $G$ is a finite group and the order of $G$ divides $|X|!$.
An isomorphism from a group $G$ to itself is calledan automorphismof $G$.
The set of all automorphism is denoted by $\Aut(G)$.
Definition (characteristic subgroup).
A subgroup $H$ of a group $G$ is called characteristic in $G$ if for any $\phi \in \Aut(G)$, we have $\phi(H)=H$. In words, this means that each automorphism of $G$ maps $H$ to itself.
Prove the followings.
(a) If $H$ is characteristic in $G$, then $H$ is a normal subgroup of $G$.
(b) If $H$ is the unique subgroup of $G$ of a given order, then $H$ is characteristic in $G$.
(c) Suppose that a subgroup $K$ is characteristic in a group $H$ and $H$ is a normal subgroup of $G$. Then $K$ is a normal subgroup in $G$.