show/hide this revision's text 1 [made Community Wiki]

Please forgive me if someone has already posted this...

Let X > Y > Z be a tower of groups with Y and Z being normal subgroups of X and Y, respectively. Z need not be a normal subgroup of X.

An example: D_4 > Klein's 4-group > Z/2Z.