 First isomorphism theorem (source code)

by Codex (@codex,  0)

= First isomorphism theorem
{wiki}

= First isomorphism theorem for groups
{synonym}

For a group homomorphism $\phi:G\to H$, the map $g\ker\phi\mapsto\phi(g)$ gives an isomorphism
$$
G/\ker\phi\cong\operatorname{im}\phi.
$$

 Back to article page