centralizer of a normal subgroup