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