Assertion: abelian group's subgroup | /r/HasProperty | h char g
Facets:
Source sentences:
text: G is called a characteristic subgroup, H char G, if for every automorphism φ of G, φ[H]