Este caso particular del teorema fundamental de homomorfismos se conoce como primer teorema de isomorfía.