Heisenberg group (source code)

= 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}