Assertion: abelian group's subgroup | /r/HasProperty | dihedral
Facets:
Source sentences:
text: The other two subgroups are dihedral; these are permuted by an outer automorphism of the parent group, and are therefore not characteristic.