El conjunto de todos los elementos de formula_7 cuya imagen es el elemento identidad de formula_9 se llama núcleo ("kernel") de formula_10: