Generador de un ideal

Todo subconjunto ${\displaystyle X}$ de un dominio ${\displaystyle A}$ es el generador de algún ideal de ${\displaystyle A}$, pues siempre existe por lo menos un ideal que contiene a ${\displaystyle X}$ (e.g. el propio dominio ${\displaystyle A}$). El ideal de ${\displaystyle A}$ generado por ${\displaystyle X}$, ${\displaystyle (X)}$, puede obtenerse explícitamente considerando que la intersección de cualquier familia de ideales es un ideal, y que, en particular, es el menor de todos ellos. Así,

(1)${\displaystyle (X)=\bigcap I_{i}}$

donde cada ${\displaystyle I_{i}}$ es un ideal tal que ${\displaystyle X\subseteq I_{i}}$.

Si ${\displaystyle X,Y}$ son subconjuntos de ${\displaystyle A}$ tales que ${\displaystyle X\subseteq Y}$, claramente ${\displaystyle (X)\subseteq (Y)}$

Un hecho que se deduce a partir de la definición de un ideal generado y de la de un ideal cualquiera es que

(2)${\displaystyle (X)=\{a_{1}x_{1}+\cdots +a_{n}x_{n}|\;a_{i}\in A\ {\mbox{y}}\ x_{i}\in X\;\forall i\in \{1,\dots ,n\}\;n\in \mathbb {N} \}}$,

por lo que todo elemento de un ideal generado es una combinación lineal de los elementos de ${\displaystyle X}$, y se tiene así una forma de poner un ideal generado en términos de sus elementos. La ecuación (1) y la ecuación (2) pueden considerarse como definiciones equivalentes de ideal generado, aunque generalmente se usa (1) y de ahí se deduce fácilmente (2).

• Ideal (teoría de anillos)

• Weisstein, Eric W. «Ideal». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.