Assertion: abelian group | /r/HasProperty | commutative
Facets:
Source sentences:
text: In group theory, an abelian group is a group that is commutative.