Skip to main content
3 of 3
added missing commutativity assumption
YCor
  • 63.9k
  • 5
  • 187
  • 286

Non-isomorphic Heisenberg groups over rings

Suppose $R_1,R_2$ are finite unital commutative rings. Consider Heisenberg groups $H_3(R_1)$ and $H_3(R_2)$ (upper unitriangular marticies $3 \times 3$).

Proposition. If $R_1 \not\cong R_2$ (as rings) then $H_3(R_1) \not\cong H_3(R_2)$ (as multiplicative groups).

Is that true? It seem that if $R_1$ and $R_2$ have not isomorphic additive groups then $H_3(R_1) \not\cong H_3(R_2)$, since they have not isomorphic centers. But what about general case, or is that too broad?

user35603
  • 411
  • 2
  • 13