Assertion: abelian group's subgroup | /r/CapableOf | yield normal subgroup
Facets:
Source sentences:
text: An even more general idea than that of subgroup-defining functions is the following: any subgroup that is obtained by starting from a collection of normal subgroups and using deterministic processes, which may involve joins, intersections, centralizers, and commutators, or other processes, still yields a normal subgroup.