Denote a matrix by , with the upper-right entry. Direct matrix multiplication givesThis proves closure. Associativity is inherited from matrix multiplication. The identity is , and the inverse isBoth products with this matrix are the identity. Thus these real matrices form the Heisenberg group, in the coordinate convention with central coordinate .
Let . Its multiplication adds , its identity is and its inverse negates , so it is a subgroup. MoreoverThus every element of is central, and . Therefore is a normal subgroup. In fact it is the full center of a group, as described by the center quotient of the real Heisenberg group.
Articles by others on the same topic
There are currently no matching articles.