Assertion: abelian group's subgroup | /r/MadeOf | exactly one idempotent
Facets:
Source sentences:
text: Each subgroup contains exactly one idempotent, namely the identity element of the subgroup.