Ideal principal

En matemáticas, particularmente dentro de la teoría de anillos, un ideal principal es un ideal generado por un único elemento. Plantilla:Definición Al ideal $(a)$ también se le suele denotar como $Ra$.

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

• Si $ra$, $sa$ son dos elementos de $(a)$, entonces $ra+sa$ también lo es puesto que $ra+sa=(r+s)a$.
• Si $ra$ es un elemento de $(a)$ y $s$ es un elemento arbitrario del anillo, $s(ra)=(rs)a$ y por tanto $s(ra)$ también pertenece a $(a)$.
• El elemento cero pertenece al conjunto $(a)$ puesto que $0=0a$.

Cuando el anillo no es conmutativo, es necesario hacer diferencias entre ideales izquierdos y derechos. Plantilla:Definición

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

Ejemplos

Considérese el anillo 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 $n=k\cdot 3$.

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

Definición

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.

Véase también

• Ideal
• Dominio de ideales principales