Assertion: abelian group's subgroup | /r/HasProperty | the identity
Facets:
value: namely
type: MANNER
Source sentences:
text: The group A 4 has a Klein four-group V as a proper normal subgroup, namely the identity and the double transpositions { (), (12)(34), (13)(24), (14)(23) }, and maps to A 3 = C 3 , from the sequence V →