 Then formula_135 and hence formula_136 is a group homomorphism.Now, formula_137 is the kernel of this homomorphism and thus it is a subgroup of formula_124.Consider a function formula_139, then we can look at the formal sum divformula_140.