Assertion: abelian group's subgroup | /r/HasProperty | g nil
Facets:
Source sentences:
text: G con for the connected component of the identity G sol for the largest connected normal solvable subgroup G nil for the largest connected normal nilpotent subgroup