Assume for a group homomorphism . For and ,Thus . Apply the same inclusion with to obtain the reverse inclusion, giving . Hence every kernel is a normal subgroup, proving the reverse implication and the required equivalence.
Articles by others on the same topic
There are currently no matching articles.