Group homomorphism

Kernel of a group homomorphism

Given a Group homomorphism , with identity , the kernel is defined as group

Every kernel is a Normal subgroup, group and vice versa (see quotient group).

Proof of normal subgroup

Clearly . Let , then . It follows , thus . Therefore is a subgroup by One step subgroup test. Now let . Then for any , , whence . Therefore is a Normal subgroup.

---

tidy | en | sembr