Assertion: abelian group's element | /r/HasProperty | the identity matrix
Facets:
Source sentences:
text: The neutral element of the Heisenberg group is the identity matrix, and inverses are given by