Question 1158368
.


It is the <U>definition</U> of the normal subgroup.