first isomorphism theorem

This theorem is extremely useful for identifying/ understanding groups by using a homomorphism from a known/ understood group.

Theorem

Let be a group homomorphism.

1. is a subgroup
2. is a normal subgroup

Special case (surjective)

Let be a surjective group homomorphism. Then .

Picture:

Proof

todo

---

References