Assertion: abelian group's subgroup | /r/HasProperty | the klein four-subgroups
Facets:
Source sentences:
text: An example is the dihedral group:D8, which has an abelian normal subgroups of order four (the Klein four-subgroups) which in turn have subgroups that are not normal in the whole group.