Dihedral Group D4/Normal Subgroups/Subgroup Generated by a^2/Quotient Group/Subgroups
Jump to navigation
Jump to search
Quotient Group of Normal Subgroup of the Dihedral Group $D_4$
Let the dihedral group $D_4$ be represented by its group presentation:
- $D_4 = \gen {a, b: a^4 = b^2 = e, a b = b a^{-1} }$
Consider the quotient group of the normal subgroup $\gen {a^2}$ of $D_4$:
- $G / N = \set {E, A, B, C}$
where:
- $E := \set {e, a^2}, A := a \set {a, a^3}, B := b \set {b, b a^2}, C := a b \set {b a, b a^3}$.
The subgroups of $G / N$ are:
\(\ds E\) | \(=\) | \(\ds \set {e, a^2}\) | ||||||||||||
\(\ds \set {E, A}\) | \(=\) | \(\ds \set {e, a, a^2, a^3}\) | ||||||||||||
\(\ds \set {E, B}\) | \(=\) | \(\ds \set {e, b, a^2, b a^2}\) | ||||||||||||
\(\ds \set {E, C}\) | \(=\) | \(\ds \set {e, b a, a^2, b a^3}\) | ||||||||||||
\(\ds \set {E, A, B, C}\) | \(=\) | \(\ds D_4\) |
As $G / N$ is abelian, all of these subgroups are normal in $G / N$.
Also, all of these are normal in $D_4$:
- $\set {E, A}, \set {E, B}, \set {E, C}$ are all of index $2$, and so normal by Subgroup of Index 2 is Normal.
- $D_4$ is normal by Group is Normal in Itself.
![]() | This article is complete as far as it goes, but it could do with expansion. In particular: Invoke this as a example of the use of the Correspondence Theorem (Group Theory) You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
.
Sources
- 1996: John F. Humphreys: A Course in Group Theory ... (previous) ... (next): Chapter $7$: Normal subgroups and quotient groups: Example $7.15$