# If Squares of Elements in a Group Lie in a Subgroup, then It is a Normal Subgroup ## Problem 469

Let $H$ be a subgroup of a group $G$.
Suppose that for each element $x\in G$, we have $x^2\in H$.

Then prove that $H$ is a normal subgroup of $G$.

(Purdue University, Abstract Algebra Qualifying Exam) Add to solve later

## Proof.

To show that $H$ is a normal subgroup of $G$, we prove that
$ghg^{-1}\in H$ for any $g\in G$ and $h\in H$.

For any $g\in G$ and $h\in H$ we have
\begin{align*}
&ghg^{-1}\\
&=g^2g^{-1}hg^{-1} &&\text{since $g=g^2g^{-1}$}\\
&=g^2g^{-1}hg^{-1}hh^{-1} &&\text{since $e=hh^{-1}$}\\
&=g^2(g^{-1}h)^2h^{-1}. \tag{*}
\end{align*}

It follows from the assumption that the elements $g^2$ and $(g^{-1}h)^2$ are in $H$.
Since $h\in H$, the inverse $h^{-1}$ is also in $H$.
Thus the expression in (*) is the product of elements in $H$, hence it is in $H$.

Thus, we have proved that $ghg^{-1}\in H$ for all $g\in G$, $h\in H$.
Therefore, the subgroup $H$ is a normal subgroup in $G$. 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 ##### Example of Two Groups and a Subgroup of the Direct Product that is Not of the Form of Direct Product

Give an example of two groups $G$ and $H$ and a subgroup $K$ of the direct product $G\times H$ such...

Close