La construcción del isomorfismo cuya existencia afirma el primer teorema de isomorfía se puede expresar mediante el diagrama conmutativo siguiente: