En matemáticas, el grupo de Heisenberg sobre un anillo conmutativo A es el grupo de matrices triangulares superiores 3×3 de la forma