海森伯格群

Hessenberg group