Assertion: abelian group's subgroup | /r/HasProperty | kernels of surjective maps
Facets:
value: to p-groups
type: TRANSITIVE-OBJECT
Source sentences:
text: Normal subgroups of prime power index are kernels of surjective maps to p-groups and have interesting structure, as described at Focal subgroup theorem: