Assertion: abelian group's subgroup | /r/HasProperty | identical
Facets:
value: to the original subgroup
type: OTHER
Source sentences:
text: A special case, n = 2, gives the general result that a subgroup of index 2 is a normal subgroup, because the normal subgroup (N above) must have index 2 and therefore be identical to the original subgroup.