for G being Group
for N being normal Subgroup of G holds 1_ (G ./. N) = carr N