Subgroup of Abelian Group is Normal

From ProofWiki
Jump to navigation Jump to search

Theorem

Every subgroup of an abelian group is normal.


Proof

Let $H \le G$ where $G$ is abelian.

Then:

\(\ds y\) \(\in\) \(\ds H^a\) where $H^a$ is the conjugate of $H$ by $a$
\(\ds \leadstoandfrom \ \ \) \(\ds a y a^{-1}\) \(\in\) \(\ds H\) Definition of Conjugate of Group Subset
\(\ds \leadstoandfrom \ \ \) \(\ds y\) \(\in\) \(\ds H\) because $a y a^{-1} = y$ as $G$ is abelian

$\blacksquare$


Sources