Ideal principal

En matemáticas, particularmente dentro de la teoría de anillos, un ideal principal es un ideal generado por un único elemento.

Si R es un anillo conmutativo y a es un elemento de R, el ideal principal generado por a es el conjunto

${displaystyle (a)={ra:rin R}}$.

Al ideal ${displaystyle (a)}$ también se le suele denotar como ${displaystyle Ra}$.

La verificación de que dicho conjunto es un ideal procede como sigue:

Cuando el anillo no es conmutativo, es necesario hacer diferencias entre ideales izquierdos y derechos.

Si ${displaystyle R}$ es un anillo y ${displaystyle a}$ es un elemento de ${displaystyle R}$, el ideal principal izquierdo generado por ${displaystyle a}$ es el conjunto

${displaystyle Ra={ra:rin R}}$,

mientras que el ideal principal derecho generado por ${displaystyle a}$ es el conjunto

${displaystyle aR={ar:rin R}}$.

En el caso de anillos conmutativos, los conceptos de ideal izquierdo y derecho son equivalentes.

Consideremos el anillo (matemáticas) R. Entonces el conjunto de todos los múltiplos de 3 es el ideal principal generado por 3, puesto que un entero n es múltiplo de 3 precisamente cuando existe un número entero k tal que ${displaystyle n=kcdot 3}$.

Un ideal no tiene por qué ser siempre principal. Por ejemplo, sea ${displaystyle mathrm {A} =mathbb {Z} ^{2}}$ un anillo commutativo, entonces ${displaystyle mathrm {I} _{1}=2mathbb {Z} imes left{0 ight}}$ e ${displaystyle mathrm {I} _{2}=left{0 ight} imes 2mathbb {Z} }$ son ideales principales de ${displaystyle mathrm {A} }$. Ahora bien, ${displaystyle mathrm {I} =mathrm {I} _{1}+mathrm {I} _{2}}$ también es un ideal, aunque este no es principal.

El anillo íntegro K, cuyos ideales son todos principales se llama anillo de ideales principales. Todo anillo euclídeo es un anillo de ideales principales.^[1]​