Introducción Ya se mencionó en una anterior entrada, que $\mathbb{Z}$ es un “dominio entero”. O lo que es mismo, es un anillo conmutativo con unitario sin divisores de cero. Los dominios enteros son estructuras algebraicas que generalizan ciertas “propiedades de divisibilidad” que observamos tienen los enteros, y algo similar va a suceder con los ideales.