Klein Four-Group is Group

Theorem

The Klein $4$-group $K_4$ is a group.


Proof

From Klein Four-Group as Subgroup of $S_4$ it is demonstrated that $K_4$ is a subgroup of the $4$th symmetric group.

Hence the result.

$\blacksquare$


Sources

  • 1971: Allan Clark: Elements of Abstract Algebra ... (previous) ... (next): Chapter $2$: The Definition of Group Structure: $\S 26 \iota$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.