Heisenberg group
= Heisenberg group
{c}
{wiki}
The real Heisenberg group consists of upper-unitriangular $3\times3$ real matrices. In coordinates $(q,r,s)$ its multiplication is $(q,r,s)(q',r',s')=(q+q',r+r',s+s'+qr')$.
= Real Heisenberg group
{c}
{synonym}