海森堡群中心求解及商群交换性证明求助

刚接触矩阵代数的话，用初等矩阵来分析海森堡群的中心确实是个很直观的路子，我一步步给你理清楚哈：

首先明确海森堡群的定义（这里先讨论实数域上的情况，其他域的推导逻辑完全一致）：
$$H = \left{ \begin{pmatrix}1 & a & b \ 0 & 1 & c \ 0 & 0 & 1\end{pmatrix} \mid a,b,c\in\mathbb{R} \right}$$
群运算就是标准的矩阵乘法。

根据群中心的定义：中心是群中与所有元素都可交换的元素集合，即
$$Z(H) = { g\in H \mid gh = hg,\ \forall h\in H }$$

我们设$g = \begin{pmatrix}1 & x & y \ 0 & 1 & z \ 0 & 0 & 1\end{pmatrix}$是中心里的元素，再任取一个任意的$h = \begin{pmatrix}1 & a & b \ 0 & 1 & c \ 0 & 0 & 1\end{pmatrix}\in H$，分别计算$gh$和$hg$：

计算$gh$：
$$gh = \begin{pmatrix}1 & x+a & y + xc + b \ 0 & 1 & z + c \ 0 & 0 & 1\end{pmatrix}$$

计算$hg$：
$$hg = \begin{pmatrix}1 & a+x & b + az + y \ 0 & 1 & c + z \ 0 & 0 & 1\end{pmatrix}$$

因为$gh=hg$对任意$a,c\in\mathbb{R}$都成立，对应位置元素必须相等。前两列的元素显然都相等，关键看**(1,3)位置的元素：
$$y + xc + b = b + az + y$$
化简后得到：$xc = az$，这个等式要对所有**$a,c\in\mathbb{R}$成立。

我们来分析这个等式的约束：

• 取$a=1, c=0$，代入得$0 = z$，所以$z=0$；
• 取$a=0, c=1$，代入得$x = 0$，所以$x=0$；

当$x=0$且$z=0$时，不管$y$取什么实数，$xc=az$都恒成立，其他位置的元素也自然相等。

因此，海森堡群的中心是：
$$Z(H) = \left{ \begin{pmatrix}1 & 0 & y \ 0 & 1 & 0 \ 0 & 0 & 1\end{pmatrix} \mid y\in\mathbb{R} \right}$$
简单说就是所有“主对角线为1，仅(1,3)位置非零”的上三角矩阵，这个群和实数加法群$(\mathbb{R},+)$是同构的。

要证明商群交换，我们只需要证明：对任意$g_1,g_2\in H$，它们的陪集满足$(g_1Z(H))(g_2Z(H)) = (g_2Z(H))(g_1Z(H))$。

根据商群的运算规则，这等价于证明$g_1g_2(g_2g_1)^{-1} \in Z(H)$（因为陪集相等意味着$g_1g_2 = g_2g_1 \cdot z$，其中$z\in Z(H)$，也就是$g_1g_2g_1^{-1}g_2{-1} \in Z(H)$）。

我们设：
$$g_1 = \begin{pmatrix}1 & a & b \ 0 & 1 & c \ 0 & 0 & 1\end{pmatrix},\quad g_2 = \begin{pmatrix}1 & d & e \ 0 & 1 & f \ 0 & 0 & 1\end{pmatrix}$$

先计算$g_1g_2$和$g_2g_1$：
$$g_1g_2 = \begin{pmatrix}1 & a+d & b + cf + e \ 0 & 1 & c+f \ 0 & 0 & 1\end{pmatrix}$$
$$g_2g_1 = \begin{pmatrix}1 & d+a & e + ad + b \ 0 & 1 & f+c \ 0 & 0 & 1\end{pmatrix}$$

观察两个矩阵的差异：只有(1,3)位置不同，差值为$(b+cf+e)-(e+ad+b)=cf - ad$。计算它们的换位子（即$g_1g_2g_1^{-1}g_2{-1}$），结果为：
$$g_1g_2g_1^{-1}g_2{-1} = \begin{pmatrix}1 & 0 & cf - ad \ 0 & 1 & 0 \ 0 & 0 & 1\end{pmatrix}$$

显然这个矩阵属于我们刚才求出的中心$Z(H)$（满足$x=0,z=0$的形式），所以$g_1g_2Z(H) = g_2g_1Z(H)$，即商群$H/Z(H)$中的任意两个元素都可交换，因此它是交换群。

内容的提问来源于stack exchange，提问作者user532623