(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$.

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 […]

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 […]

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$ […]