Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.

First Isomorphism Theorem

A fundamental theorem relating a homomorphism to its kernel and image, stating that the image is isomorphic to the quotient of the domain by the kernel.

📜

The statement of the theorem

Let

\phi: G \to H

be a group homomorphism. Then

G / \ker(\phi) \cong \text{im}(\phi)

Source: Wikipedia