Como formula_115 implica que formula_116, la función anterior es un isomorfismo de grupos.