Éste es un subgrupo del grupo general lineal formula_4.