Assertion: abelian group | /r/HasProperty | a group $g$
Facets:
Source sentences:
text: An Abelian group $G$ is a group $G$ such that the order of multiplication doesn't matter.
text: An abelian group A is called a torsion (or periodic) group if every element of A has finite order and is called torsion-free if every element of A except the identity is of infinite order.