Assertion: abelian group's subgroup | /r/HasProperty | generated by invariant sets
Facets:
Source sentences:
text: Note that the intersection of normal subgroups is also a normal subgroup, and that subgroups generated by invariant sets are normal subgroups.