Assertion: abelian group | /r/DistinctFrom | ba
Facets:
value: in free groups
type: LOCATION
Source sentences:
text: Other abelian groups are not free groups because in free groups ab must be different from ba if a and b are different elements of the basis, while in free abelian groups they must be identical.