(esto es ciertamente un grupo porque el producto de dos matrices invertibles es otra vez invertible, al igual que la inversa de una invertible.) Si el cuerpo es claro por contexto escribimos a veces formula_10, o formula_11.