The identity belongs to the center of a group. If are central, then for every ,
so the center is a subgroup. For a central , for every , giving . Thus the center is a normal subgroup.
Write a matrix of the Heisenberg group as . Direct matrix multiplication and inversion give
The identity is and each matrix has determinant one, so these formulas show closure under products and inverses inside . Hence is a subgroup.
The two products and differ only in their upper-right entries, by . Commutation with every therefore requires for all real . Setting forces ; setting forces . These conditions are also sufficient. Thus
Define the surjective group homomorphism by . The multiplication formula gives , and its kernel of a group homomorphism is precisely . The first isomorphism theorem yields
This center quotient of the real Heisenberg group can also be checked directly: two elements have the same coordinates exactly when they differ by multiplication by a central element, and quotient multiplication adds these coordinates.