# 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. Add to solve later

## 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

### More from my site

#### You may also like...

This site uses Akismet to reduce spam. Learn how your comment data is processed.

###### More in Group Theory ##### Use Lagrange’s Theorem to Prove Fermat’s Little Theorem

Use Lagrange's Theorem in the multiplicative group $(\Zmod{p})^{\times}$ to prove Fermat's Little Theorem: if $p$ is a prime number then...

Close