Estos teoremas relacionan a los grupos con sus grupos cociente, y son de gran utilidad para construir isomorfismos entre diversos grupos y grupos cociente.