Assertion: abelian group's subgroup | /r/HasAspect | subgroup
Facets:
value: in turn
type: MANNER
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.