Assertion: group ring | /r/HasProperty | group
Facets:
Source sentences:
text: is a group and is a ring, the group ring of over is a free module over having as basis.