el núcleo de formula_112 (el conjunto formado por todos los elementos formula_28 de formula_2 tales que formula_115) es un ideal de formula_2