Llamamos a la preimagen del grupo trivial {"e"} en "K" el "núcleo" del homomorfismo y lo denotamos por ker("f").