Ideal (teora de anillos)

En lgebra moderna, un ideal es una subestructura algebraica denida en la teora de anillos. Los ideales generalizan, de manera fecunda, el estudio de la divisibilidad entre los nmeros enteros hacia otros objetos matemticos.
De este modo, es posible enunciar versiones muy generales de teoremas de la aritmtica elemental, tales como el
teorema chino del resto o el teorema fundamental de la
aritmtica, vlidos para los ideales. Se puede comparar
tambin esta nocin con la de subgrupo normal para la
estructura algebraica de grupo en el sentido de que facilita denir la nocin de anillo cociente como una extensin
natural de la nocin de grupo cociente [1] .

Dedekind en 1871 vuelve a usar la nocin de nmero

ideal de Kummer y crea la nocin de ideal en un anillo. Se interesa principalmente por los anillos de los enteros algebraicos, es decir, anillos conmutativos unitarios
e ntegros. En este dominio se encuentran los resultados
ms interesantes sobre los ideales. Cre el conjunto de los
ideales de un anillo conmutativo, unitario e ntegro para
operaciones semejantes a la adicin y a la multiplicacin
de los enteros relativos.
La teora de los ideales no solo permiti un avance signicativo en el lgebra general, sino tambin en el estudio
de las curvas algebraicas (geometra algebraica).

Aspecto histrico

2 Denicin

La teora de los ideales es relativamente reciente, puesto

Un subconjunto I no vaco de un anillo A es un ideal por
que fue creada por el matemtico alemn, Richard Dedela izquierda de A si:
kind, a nes del siglo XIX. En dicha poca, una parte de la
comunidad matemtica se interes en los nmeros alge1. I es un subgrupo aditivo de A.
braicos y, ms concretamente, en los enteros algebraicos.
2. (a, x) A I : a x I (El producto por la
La cuestin consiste en saber si los enteros algebraicos se
izquierda de un elemento de I por un elemento de A
comportan como los enteros relativos, particularmente,
pertenece a I).
en lo que respecta a su descomposicin en factores primos. Pareca claro, desde el comienzo del siglo XIX que
este no era siempre el caso. Por ejemplo,
el entero 6 pue- y es un ideal por la derecha de A si:

de descomponerse, en
el
anillo
Z[i
5]
,
en
la forma 2 3

o en la forma (1 + i 5)(1 i 5)
1. I es un subgrupo aditivo de A.
Ernst Kummer dice entonces que lo anterior va a depender de los nmeros en cuestin e inventa la nocin de
complejos ideales.

2. (x, a) I A : x a I (El producto por la

derecha de un elemento de I por un elemento de A
pertenece a I).

La idea es hacer que sea nica la descomposicin en

factores primos aadiendo articialmente otros nmeros
(del mismo modo que se aade i a los nmeros reales siendo i2 = 1 con el n de disponer de nmeros para los
cuadrados negativos). En el ejemplo de ms arriba, se va
a inventar cuatro nmeros ideales a, b, c y d tales que:

Un ideal biltero es un ideal por la derecha y por la izquierda. En un anillo conmutativo, las nociones de ideal
por la derecha, de ideal por la izquierda y de ideal biltero
coinciden y simplemente se habla de ideal.

2.1 Ejemplos
2=ab

Para todo entero relativo k , kZ es un ideal de Z .

3=cd

1+i 5=ac

1i 5=bd

Si A es un anillo, {0} y A son ideales triviales de

A. Estos dos ideales tienen un inters muy limitado.
Por esta razn se llamar ideal propio a todo ideal
no trivial.

As, 6 se descompondr de manera nica en:

Si A es un anillo unitario y si I es un ideal que contiene a 1 entonces I = A . De modo ms general, si,

I contiene un elemento inversible, entonces I = A

6=abcd
1

CASOS PARTICULARES

Los nicos ideales en un cuerpo K son los ideales clases adjuntas a + I( llamadas clases de restos respecto
triviales.
al mdulo del ideal I).

Operaciones con ideales

3.1

Como suma de clases se dene por (a +I) + (b+ I) =(a+b)

+ L; el opuesto - (a+I) = -a + I.
Como producto de clases (a+I) (b+I)= ab + I. [2]

Suma

Si I y J son dos ideales de un anillo A, entonces se puede 4 Casos particulares

comprobar que el conjunto I +J = {x+ y : x I e y
J} es un ideal.
Ideal principal: es un ideal generado por un nico elemento.

3.2

Interseccin

Toda interseccin de ideales es un ideal.

El conjunto de los ideales de A con estas dos operaciones forma una cadena. De esta segunda ley se permite la
nocin de ideal generado. Si P es un subconjunto de un
anillo A, se llama ideal generado por P a la interseccin
de todos los ideales de A que contienen a P, notado usualmente como P . Se puede comprobar que:

Ideal primario: en un anillo conmutativo unitario, un

ideal I es primario si y solo si para todo a y b tales que
ab I , si a
/ I entonces existe un entero natural n tal
que bn I .
Ideal primo: en un anillo conmutativo unitario, I es un
ideal primo si y solo si I es distinto de A y, para todo a y
b pertenecientes a A tales que ab I , si a
/ I entonces
bI.

P es un ideal primo de A A/P es dominio

1. P = {a1 x1 + + an xn : a1 , . . . , an
de integridad.
P, x1 , . . . , xn A}

: Ideal irreducible : en un anillo conmutativo unitario, un

2. I + J
=
I J
=
k {Gk
Gk en ideal es A y (I J) Gk }
ideal I es irreducible si no se puede escribir como interseccin de dos ideales J y K diferentes de I.
Ejemplos:
Ideal maximal : Un ideal M es maximal existen exactamente dos ideales que contienen a M , a saber, A y el
Para un anillo A , a A engendra el ideal aA (por mismo M .
ejemplo n engendra nZ , ideal de Z )
Si I y J son dos ideales de A, el ideal I + J est
engendrado por el subconjunto I J de A.

3.3

Producto

En un anillo conmutativo unitario, un ideal maximal es necesariamente primo.

el ideal M es un ideal maximal de A si y solo
si A/M es un cuerpo.

Si I y J son dos ideales de un anillo, se llama producto de

I y J al ideal IJ engendrado por todos los elementos de Radical de un ideal: Si I es un ideal de un anillo
conmutativo
A,
se
llama
radical
de
I,
y
se
escribe
I , al conla forma xy donde x pertenece a I e y pertenece a J. Se
junto
de
los
elementos
x
de
A
tales
que
existe
un entero
tiene que IJ I J .
natural n para el cual xn I . Es un ideal de A.
Como ejemplo, en el anillo Z , el producto de los ideales
nZ y pZ es el ideal npZ y este ltimo est incluido en
Ejemplo: 30Z es el radical de 360Z
nZ pZ .

3.4

Anillo cociente

Si I es un ideal biltero del anillo A, la relacin xRy

x y I es una relacin de equivalencia compatible con
las dos leyes del anillo. Se puede crear entonces, sobre
el conjunto de las clases x = x + I una estructura de
anillo denominada anillo cociente A/ I del anillo A por el
ideal I. La construccin se realiza sobre la base del grupo
aditivo del anillo. Cabe tomar como elementos de A/I las

Si A es un anillo conmutativo, entonces tiene

las propiedades siguientes:

II

I= I

IJ = I J = I J

Si, adems, A es unitario, I = A

I=A

Referencias

[1] A.I. Kostrikin. Introduccin al lgebra Editorial Mir,

Mosc (1983)
[2] Kostrikin. Op. cit.

Vase tambin
Estructura algebraica
Anillo

Enlaces externos

Portal:Matemtica. Contenido relacionado con

Matemtica.

Weisstein, Eric W. Ideal. En Weisstein, Eric W.

MathWorld (en ingls). Wolfram Research.

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Ideal (teora de anillos) Fuente: https://es.wikipedia.org/wiki/Ideal_(teor%C3%ADa_de_anillos)?oldid=84699967 Colaboradores: Fibonacci, Sabbut, Elwikipedista, Tano4595, Digigalos, Magister Mathematicae, RobotQuistnix, Yrbot, YurikBot, Martingala, Wewe, KnightRider, Eskimbot, Carlos Alberto Carcagno, Laura Fiorucci, Davius, JAnDbot, TXiKiBoT, VolkovBot, Arcos43, AlleborgoBot, Muro Bot,
BotMultichill, SieBot, PaintBot, Loveless, Correogsk, Mafores, HUB, PixelBot, Juan Mayordomo, Raulshc, SilvonenBot, UA31, Luckasbot, DiegoFb, ArthurBot, Xqbot, RedBot, KamikazeBot, Dinamik-bot, EmausBot, WikitanvirBot, Migduroli, KLBot2, JuanManwell, Rogerafv, X2y3 y Annimos: 13

8.2

Imgenes

Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_

mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0