Es decir que formula_257 generan un subgrupo de matrices isomorfo a formula_258