Sea formula_214 el grupo de las matrices invertibles de tamaño formula_215 y sea formula_216 el subgrupo formado por todas las matrices con determinante 1.