Assertion: group | /r/HasProperty | equal
Facets:
Source sentences:
text: In general b / a and a \ b may be different, but, if the group operation is commutative (that is, if the group is abelian), they are equal.