Assertion: abelian group's subgroup | /r/HasProperty | s of permutations
Facets:
Source sentences:
text: However it contains the normal subgroup S of permutations that fix all but finitely many elements, which is generated by transpositions.