Let $H$ be the Heisenberg group. Determine the center $Z(H)$ of $H$. Show that the quotient group $H/Z(H)$ is abelian.

Question

Here

Show that the quotient of the Heisenberg Group with its center is abelian.

also it is given as an exercise.

I am new in this matrix algebra field. I was trying to prove the first part using elementary matrix but it does not work out. May be, I am wrong at some point any help would be appreciated.

Try using elementary matrices but keeping $1$ in all diagonals. You will get your answer. You should work it out by hand. — Ri-Li, Feb 19 '18 at 18:54

score 7 · Accepted Answer · answered Feb 19 '18 at 19:00

Let$$\begin{bmatrix}1&a&c\\0&1&b\\0&0&1\end{bmatrix}\in Z(H).\tag1$$Then, if $x,y,z\in\mathbb{R}$, then$$\begin{bmatrix}1&a&c\\0&1&b\\0&0&1\end{bmatrix}^{-1}\begin{bmatrix}1&x&z\\0&1&y\\0&0&1\end{bmatrix}\begin{bmatrix}1&a&c\\0&1&b\\0&0&1\end{bmatrix}=\begin{bmatrix}1&x&z\\0&1&y\\0&0&1\end{bmatrix}.$$But$$\begin{bmatrix}1&a&c\\0&1&b\\0&0&1\end{bmatrix}^{-1}\begin{bmatrix}1&x&z\\0&1&y\\0&0&1\end{bmatrix}\begin{bmatrix}1&a&c\\0&1&b\\0&0&1\end{bmatrix}=\begin{bmatrix}1&x&ay-bx+z\\0&1&y\\0&0&1\end{bmatrix}.$$Therefore, $a=b=0$ if and only if $(1)$ holds. So, now you know $Z(H)$. Can you take it from here?

It is the second part that you do not have in your answer that is the harder one. — user3749105, Nov 11 '23 at 16:37

Let $H$ be the Heisenberg group. Determine the center $Z(H)$ of $H$. Show that the quotient group $H/Z(H)$ is abelian.

1 Answers1