Assertion: abelian group's element | /r/HasProperty | taken with identity
Facets:
value: from any commutative ring
type: LOCATION
Source sentences:
text: Elements a, b and c can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group").