Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of Itself
Problem 221
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.
Sponsored Links
Contents
Proof.
$\Psi: G\to G$ is a group homomorphism
We first show that $\Psi: G\to G$ is a group homomorphism.
To see this, let $z, w \in G$. Then we have
\begin{align*}
\Psi(zw)=(zw)^p=z^pw^p=\Psi(z)\Psi(w).
\end{align*}
The second equality follows since $G$ is an abelian group.
Thus $\Psi$ is a group homomorphism.
$\Psi$ is surjective
To prove that $\Psi$ is surjective, let $z$ be an arbitrary element in $G$.
Then there exists nonnegative integer $n$ such that $z^n=1$.
Let $w \in \C$ be a $p$-th root of $z$, that is, $w$ is a solution of the equation $x^p-z=0$.
(By the fundamental theorem of algebra, such a solution exists.)
We check that $w \in G$ as follows.
We have
\begin{align*}
w^{p^{n+1}}=(w^p)^{p^n}=z^{p^n}=1.
\end{align*}
Therefore $w$ is a $p$-power root of $1$, hence $w\in G$.
It follows from
\begin{align*}
\Psi(w)=w^p=z
\end{align*}
that $\Psi$ is a surjective homomorphism.
$G$ is isomorphic to the proper quotient
Now by the first isomorphism theorem, we have an isomorphism
\[G/ \ker(\Psi) \cong \im(\Psi)=G.\]
Since we have
\[\ker(\Psi)=\{z \in G \mid z^p=1\},\]
the subgroup $\ker(\Psi)$ consists of $p$-th roots of unity.
There are $p$ $p$-th roots of unity in $\C$ (and hence in $G$), and hence the kernel $\ker(\Psi)$ is a nontrivial subgroup of $G$.
Hence $G/ \ker(\Psi)$ is a proper quotient, and thus $G$ is isomorphic to the proper quotient $G/ \ker(\Psi)$.
Add to solve later
Sponsored Links