Group Theory

The Set of Square Elements in the Multiplicative Group $(\Zmod{p})^*$

by Yu · 11/27/2017

Problem 616

Suppose that $p$ is a prime number greater than $3$.
Consider the multiplicative group $G=(\Zmod{p})^*$ of order $p-1$.

(a) Prove that the set of squares $S=\{x^2\mid x\in G\}$ is a subgroup of the multiplicative group $G$.

(b) Determine the index $[G : S]$.

(c) Assume that $-1\notin S$. Then prove that for each $a\in G$ we have either $a\in S$ or $-a\in S$.

Add to solve later

Contents

Problem 616
Proof.

Proof.

(a) Prove that $S=\{x^2\mid x\in G\}$ is a subgroup of $G$.

Consider the map $\phi:G \to G$ defined by $\phi(x)=x^2$ for $x\in G$.
Then $\phi$ is a group homomorphism. In fact, for any $x, y \in G$, we have
\begin{align*}
\phi(xy)=(xy)^2=x^2y^2=\phi(x)\phi(y)
\end{align*}
as $G$ is an abelian group.

By definition of $\phi$, the image is $\im(\phi)=S$.
Since the image of a group homomorphism is a group, we conclude that $S$ is a subgroup of $G$.

(b) Determine the index $[G : S]$.

By the first isomorphism theorem, we have
\[G/\ker(\phi)\cong S.\]

If $x\in \ker(\phi)$, then $x^2=1$.
It follows that $(x-1)(x+1)=0$ in $\Zmod{p}$.
Since $\Zmod{p}$ is an integral domain, it follows that $x=\pm 1$ and $\ker(\phi)=\{\pm 1\}$.

Thus, $|S|=|G/\ker(\phi)|=(p-1)/2$ and hence the index is
\[[G:S]=|G|/|S|=2.\]

(c) Assume that $-1\notin S$. Then prove that for each $a\in G$ we have either $a\in S$ or $-a\in S$.

Since $-1\notin S$ and $[G:S]=2$, we have the decomposition
\[G=S\sqcup (-S).\] Suppose that an element $a$ in $G$ is not in $S$.

Then, we have $a\in -S$.
Thus, there exists $b\in S$ such that $a=-b$.
It follows that $-a=b\in S$. Therefore, we have either $a\in S$ or $-a\in S$.

Add to solve later

More from my site

Group Homomorphisms From Group of Order 21 to Group of Order 49 Let $G$ be a finite group of order $21$ and let $K$ be a finite group of order $49$. Suppose that $G$ does not have a normal subgroup of order $3$. Then determine all group homomorphisms from $G$ to $K$. Proof. Let $e$ be the identity element of the group […]
Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of Itself 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$ […]
Abelian Normal subgroup, Quotient Group, and Automorphism Group Let $G$ be a finite group and let $N$ be a normal abelian subgroup of $G$. Let $\Aut(N)$ be the group of automorphisms of $G$. Suppose that the orders of groups $G/N$ and $\Aut(N)$ are relatively prime. Then prove that $N$ is contained in the center of […]
Fundamental Theorem of Finitely Generated Abelian Groups and its application In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem. Problem. Let $G$ be a finite abelian group of order $n$. If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic […]
$The Additive Group $\R$ is Isomorphic to the Multiplicative Group $\R^{+}$ by Exponent Function$ The Additive Group $\R$ is Isomorphic to the Multiplicative Group $\R^{+}$ by Exponent Function Let $\R=(\R, +)$ be the additive group of real numbers and let $\R^{\times}=(\R\setminus\{0\}, \cdot)$ be the multiplicative group of real numbers. (a) Prove that the map $\exp:\R \to \R^{\times}$ defined by \[\exp(x)=e^x\] is an injective group homomorphism. (b) Prove that […]
Subgroup of Finite Index Contains a Normal Subgroup of Finite Index Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$. Proof. The group $G$ acts on the set of left cosets $G/H$ by left multiplication. Hence […]
The Additive Group of Rational Numbers and The Multiplicative Group of Positive Rational Numbers are Not Isomorphic Let $(\Q, +)$ be the additive group of rational numbers and let $(\Q_{ > 0}, \times)$ be the multiplicative group of positive rational numbers. Prove that $(\Q, +)$ and $(\Q_{ > 0}, \times)$ are not isomorphic as groups. Proof. Suppose, towards a […]
Multiplicative Groups of Real Numbers and Complex Numbers are not Isomorphic 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. Recall. Let $G$ and $K$ […]