Dihedral Group D4/Normal Subgroups/Subgroup Generated by a^2/Quotient Group/Subgroups

Quotient Group of Normal Subgroup of the Dihedral Group $D_4$
Let the dihedral group $D_4$ be represented by its group presentation:

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:

As $G / N$ is abelian, all of these subgroups are normal in $G / N$.

Also, all of these are normal in $D_4$:


 * $E$ is normal a priori


 * $\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.

.