De hecho, el grupo formula_160 contiene como subgrupo el grupo lineal especial "SL"(2,R), que a su vez contiene el grupo libre formula_39 con dos generadores como subgrupo.