Assertion: abelian group's subgroup | /r/HasProperty | k of g
Facets:
Source sentences:
text: Op(G) is the intersection of all normal subgroups K of G such that G/K is