El grupo cociente formula_185 es isomorfo al grupo lineal formula_143.