Ideal (teoría dos aneis)

En matemáticas, e máis concretamente na teoría dos aneis, un **ideal** dun anel é un subconxunto especial dos seus elementos. Por exemplo no caso dos números enteiros, os ideais xeneralizan certos subconxuntos de enteiros, como os números pares ou os múltiplos de 3. A suma e resta de números pares mantén a paridade, e multiplicar un número par por calquera número enteiro (par ou impar) resulta un número par; estas propiedades de peche e absorción son as propiedades definitorias dun ideal. Pódese usar un ideal para construír un anel cociente dun xeito similar a como, na teoría de grupos, un subgrupo normal pode ser usado para construír un grupo cociente.

Entre os enteiros, os ideais correspóndense un por un cos enteiros non negativos: neste anel, cada ideal é un ideal principal composto polos múltiplos dun único número non negativo. Porén, noutros aneis, os ideais poden non corresponder directamente cos elementos do anel, e certas propiedades dos números enteiros, cando se xeneralizan a aneis, están máis naturalmente relacionadas cos ideais que cos elementos do anel. Por exemplo, os ideais primos dun anel son análogos aos números primos, e o teorema chinés do resto pódese xeneralizar a ideais. Existe unha versión da factorización única en números primos para os ideais dun dominio de Dedekind (un tipo de anel importante na teoría dos números).

Un concepto relacionado, aínda que distinto, é o de ideal na teoría da orde deriva da noción de ideal na teoría de aneis. Un ideal fraccional é unha xeneralización dun ideal baseada no dominio de integridade e o corpo de fraccións, e os ideais habituais ás veces chámanse **ideais integrais** por motivos de claridade.

## Historia 
Ernst Kummer inventou o concepto de *números ideais* para servir como os factores "ausentes" nos aneis numéricos nos que falla a factorización única; aquí a palabra "ideal" é no sentido de existir só na imaxinación, en analoxía con obxectos "ideais" en xeometría como puntos no infinito..

A teoría dos ideais é relativamente recente, posto que foi creada polo matemático alemán, Richard Dedekind, a finais do século XIX. Naquela época, unha parte da comunidade matemática interesouse nos números alxébricos e, máis concretamente, nos enteiros alxébricos.

A cuestión consiste en saber se os enteiros alxébricos se comportan como os números primos entre si, particularmente, no que respecta á súa descomposición en factores primos (Teorema fundamental da aritmética). Parecía claro, desde o comenzo do século XIX  que este non era sempre o caso. Por exemplo, o enteiro 6 pode descompor, no anel \mathbb Z[i\sqrt{5}], na forma 2 \times 3 ou na forma (1 + i\sqrt{5})(1- i\sqrt{5}).

Ernst Kummer sinalou daquela que a cuestión anterior ía depender dos números en cuestión, e inventou a noción de complexos ideais.

A idea é facer única a descomposición en factores primos engadindo artificialmente outros números (do mesmo xeito que se engade *i* aos números reais con i^2=-1  (coa finalidade de dispor de números para os cadrados negativos). Para o exemplo de enriba, vanse  "inventar" catro números "ideais" *a*, *b*, *c* e *d* tal que:

:2 = a \cdot b
:3 = c \cdot d
:1 + i\sqrt{5} = a \cdot c
:1 - i\sqrt{5} = b \cdot d

Así, 6 descomponse de xeito único en:

:6 = a \cdot b \cdot c \cdot d

Dedekind en 1871 volve a usar a noción de número ideal de Kummer e crea a noción de ideal nun anel. Interésase principalmente polos aneis dos enteiros alxébricos. Neste dominio atópanse os resultados máis interesantes sobre os ideais. Creou o conxunto dos ideais dun anel conmutativo, para operacións semellantes á suma e á multiplicación dos enteiros. O que hoxe chamamos dominio de Dedekind: un dominio de integridade no que cada ideal propio non nulo convértese nun produto de ideais primos.

## Definicións 
Dado un anel , un **ideal pola esquerda** é un subconxunto  de  que é un subgrupo do grupo aditivo de R que "absorbe a multiplicación pola esquerda dos elementos de ; é dicir, I é un ideal pola esquerda se cumpre as dúas condicións seguintes:

# (I,+) é un subgrupo de 
# Para cada r \in R e cada  o produto r x está en 

Noutras palabras, un ideal pola esquerda é un submódulo pola esquerda de , considerado como un módulo pola esquerda sobre si mesmo.

Un **ideal pola dereita** defínese de xeito similar, coa condición rx\in I substituída por . Un **ideal bilateral** é un ideal pola esquerda  é tamén un ideal pola dereita.

Se o anel é conmutativo, as tres definicións son iguais, e fálase simplemente dun **ideal**. No caso non conmutativo, a miúdo úsase simplemente "ideal" en lugar de "ideal bilateral".

Se  é un ideal pola esquerda, dereita ou bilateral, a relación x \sim y se e só se x-y\in I
é unha relación de equivalencia en , e o conxunto de clases de equivalencia forma un módulo pola esquerda, dereita ou bilateral denotado R/I e chamado o *cociente* de  por . (É un exemplo dunha relación de congruencia e é unha xeneralización da aritmética modular).

Se o ideal  é bilateral, R/I é un anel, e a función R\to R/I
que asocia a cada elemento de  a súa clase de equivalencia é un homomorfismo de aneis sobrexectivo que ten o ideal como kernel. E viceversa, o kernel dun homomorfismo de aneis é un ideal bilateral. Polo tanto, *os ideais bilaterais son exactamente os kernels dos homomorfismos de aneis.*

## Exemplos e propiedades 
(Por brevidade, algúns resultados só se indican para os ideais pola esquerda, pero normalmente tamén son certos para os ideais pola dereita con cambios de notación apropiados.)
* Nun anel *R*, o propio conxunto *R* forma un ideal bilateral de *R* chamado **ideal da unidade**. Moitas veces tamén se denota por (1) xa que é precisamente o ideal bilateral xerado (ver máis abaixo) pola unidade . A maiores, o conxunto \{0_R \} que consiste só na identidade aditiva 0*R* forma un ideal bilateral chamado **ideal cero** e denotado por . Todo ideal (esquerda, dereita ou bilateral) contén o ideal cero e está contido no ideal da unidade
* Un ideal (esquerda, dereita ou bilateral) que non é o ideal da unidade chámase **ideal propio** (xa que é un subconxunto propio).  Nota: un ideal pola esquerda \mathfrak{a} é propio se e só se non contén unha unidade (elemento invertíbel), xa que se  u \in \mathfrak{a} é unha unidade (invertíbel), entón r = (r u^{-1}) u \in \mathfrak{a} para cada . Normalmente hai moitos ideais propios. De feito, se *R* é un anel de división, entón (0), (1) son os seus únicos ideais e á inversa: é dicir, un anel distinto de cero *R* é un anel de división (corpo non conmutativo) se (0), (1) son os únicos ideais pola esquerda (ou pola dereita). (Proba: se x é un elemento distinto de cero, entón o ideal principal pola esquerda Rx (ver máis abaixo) é distinto de cero e, polo tanto, Rx = (1) ; é dicir, yx = 1 para algún  distinto de cero.  Do mesmo xeito, zy = 1 para algún z. Entón z = z(yx) = (zy)x = x.)
* Os enteiros pares forman un ideal no anel \mathbb{Z} de todos os números enteiros, xa que a suma de dous enteiros pares calquera é par e o produto de calquera enteiro cun enteiro par tamén é par; este ideal adoita denotarse por {{tmath|1= 2\mathbb{Z} }}. De xeito máis xeral, o conxunto de todos os números enteiros divisíbeis por un enteiro fixo n é un ideal denotado {{tmath|1= n\mathbb{Z} }}. De feito, todo ideal distinto de cero do anel \mathbb{Z} é xerado polo seu elemento positivo máis pequeno, como consecuencia da división euclidiana, polo que \mathbb{Z} é un dominio de ideais principais.
* O conxunto de todos os polinomios con coeficientes reais que son divisíbeis polo polinomio x^2+1 é un ideal no anel de todos os polinomios de coeficientes reais {{tmath|1= \mathbb{R}[x] }}.
* Tomamos un anel R e un enteiro positivo . Para cada , o conxunto de todas as matrices n\times n con entradas en R cuxa fila i-ésima é cero é un ideal pola dereita no anel M_n(R) de todas as matrices n\times n con entradas en . Non é un ideal pola esquerda. Do mesmo xeito, para cada , o conxunto de todas as matrices n\times n cuxa j-ésima *columna* é cero é un ideal pola esquerda mais non é un ideal pola dereita.
* O anel C(\mathbb{R}) de todas as funcións continuas f de \mathbb{R} ata \mathbb{R} baixo multiplicación punto a punto contén o ideal de todas as funcións continuas f tal que . Outro ideal en C(\mathbb{R}) vén dado por aquelas funcións que desaparecen para argumentos suficientemente grandes, é dicir, aquelas funcións continuas f para as que existe un número L>0 tal que f(x)=0 sempre que .
* Un anel chámase anel simple se é distinto de cero e non ten ideais bilaterais que non sexan . Así, un corpo non conmutativo é simple e un anel conmutativo simple é un corpo. O anel das matrices sobre un corpo non conmutativo (anel de división) é un anel simple.
* Se f: R \to S é un homomorfismo de aneis, entón o kernel \ker(f) = f^{-1}(0_S) é un ideal bilateral de . Por definición, , e polo tanto, se S non é o anel cero (polo que ), entón \ker(f) é un ideal propio. De xeito máis xeral, para cada ideal pola esquerda I  de S, a preimaxe f^{-1}(I) é un ideal pola esquerda. Se I é un ideal pola esquerda de R, entón f(I) é un ideal pola esquerda do subanel f(R) de S: a non ser que *f* sexa sobrexectiva f(I) non precisa ser un ideal de S.
Continuamos os exemplos e propiedades:
* **Correspondencia de ideais**: Dado un homomorfismo sobrexectivo de aneis , e os correspondentes ideais I, J , hai unha correspondencia bixectiva que conserva a orde entre os ideais pola esquerda (resp. dereita, bilateral)  de R que conteñen o kernel de f e os ideais pola esquerda (resp. dereita, bilateral) de S: a correspondencia vén dada por I \mapsto f(I) e a preimaxe {{tmath|1= J \mapsto f^{-1}(J) }}. A maiores, para aneis conmutativos, esta correspondencia bixectiva restrinxe aos ideais primos, ideais máximais e ideais radicais (consulta a sección Tipos de ideais para as definicións destes ideais).
* Se *M* é un *R*-módulo esquerdo e S \subset M un subconxunto, entón o anulador \operatorname{Ann}_R(S) = \{ r \in R \mid rs = 0, s \in S \} de *S* é un ideal pola esquerda. Dados os ideais \mathfrak{a}, \mathfrak{b} dun anel conmutativo *R*, o *R*-anulador de (\mathfrak{b} + \mathfrak{a})/\mathfrak{a} é un ideal de *R* chamado ideal cociente de \mathfrak{a} por \mathfrak{b} e denotado como {{tmath|1= (\mathfrak{a} : \mathfrak{b}) }}; é unha instancia do idealizador (subsemigrupo maior no que é ideal outro semigrupo) en álxebra conmutativa.
* Sexa \mathfrak{a}_i, i \in S unha **cadea ascendente de ideais pola esquerda** nun anel *R*; é dicir, S é un conxunto totalmente ordenado e \mathfrak{a}_i \subset \mathfrak{a}_j para cada . Entón a unión \textstyle \bigcup_{i \in S} \mathfrak{a}_i é un ideal pola esquerda de *R*. 
* O feito anterior xunto co lema de Zorn demostra o seguinte: se E \subset R é un subconxunto posíbelmente baleiro e \mathfrak{a}_0 \subset R é un ideal esquerdo que está disxunto de *E*, entón hai un ideal que é máximal entre os ideais que conteñen \mathfrak{a}_0 e disxunto de *E*. Cando R \ne 0, tomando \mathfrak{a}_0 = (0) e {{tmath|1= E = \{ 1 \} }}, en particular, existe un ideal pola esquerda que é máximal entre os ideais propios pola esquerda  (moitas veces chamado simplemente ideal maximal pola esquerda); ver teorema de Krull para máis información.
*Unha unión arbitraria de ideais non ten por que ser un ideal, mais segue a ser certo o seguinte: dado un subconxunto posíbelmente baleiro *X* de *R*, existe o ideal máis pequeno pola esquerdo que contén *X*, chamado o ideal pola esquerda xerado por *X* e denotado por . Tal ideal existe xa que é a intersección de todos os ideais pola esquerda que conteñen *X*. Equivalentemente, RX é o conxunto de todas as combinacións lineares pola esquerda (finitas) dos elementos de *X* sobre *R*:
*: RX = \{r_1x_1+\dots+r_nx_n \mid n\in\mathbb{N}, r_i\in R, x_i\in X\}.
: (xa que tal tramo é o ideal máis pequeno que fica que contén *X*.) Un ideal pola dereita (resp. bilateral) xerado por *X* defínese de xeito similar. Para "bilateral", hai que usar combinacións lineares bilaterais; é dicir,
:: RXR = \{r_1x_1s_1+\dots+r_nx_ns_n \mid n\in\mathbb{N}, r_i\in R,s_i\in R, x_i\in X\}.\,
* Un ideal pola esquerda (resp. dereita, bilateral) xerado por un único elemento *x* chámase ideal principal pola esquerda (resp. dereita, bilateral) xerado por *x* e denotado por Rx (resp. ). O ideal principal bilateral RxR adoita denotarse tamén por . Se X = \{ x_1, \dots, x_n \} é un conxunto finito, entón RXR tamén se escribe como .
* Existe unha correspondencia bixectiva entre os ideais e as relación de congruencia (relacións de equivalencia que respectan a estrutura do anel) no anel: Dado un ideal I  dun anel , sexa x\sim y se . Entón \sim é unha relación de congruencia en . E viceversa, dada unha relación de congruencia \sim en , sexa {{tmath|1= I=\{x\in R:x\sim 0\} }}, daquela I é un ideal de .

## Tipos de ideais 
*Para simplificar a descrición suponse que todos os aneis son conmutativos.* *O caso non conmutativo é discutido en detalle nos artigos respectivos.*

Os ideais son importantes porque aparecen como kernels de homomorfismos de aneis e permiten definir aneis cocientes. Estúdanse diferentes tipos de ideais porque se poden usar para construír distintos tipos de aneis cocientes.
* **Ideal cero**: o ideal \{0\}.
* **Ideal da unidade**: todo o anel (sendo o ideal xerado por 1).
* **Ideal trivial**. Sexa *R* un anel de neutro 0, os ideais triviais de A son: \{0\} e *R* (isto é, o ideal cero e o ideal da unidade). 
* **Ideal propio**: un ideal (pola esquerda, pola dereita ou bilateral) que non é o ideal da unidade chámase **ideal propio** (xa que é un subconxunto propio).
* Ideal maximal: Un ideal propio  chámase ideal máximal se non existe outro ideal propio J que teña a   como subconxunto propio de *J*. O anel factor (anel cociente) dun **ideal máximal** é, en xeral, un anel simple e, en particular, é un corpo para aneis conmutativos.
* Ideal mínimal: Un ideal non cero chámase mínimal se non contén  outro ideal non cero.
* **Ideal primo**: un ideal propio I chámase **ideal primo** se para calquera a e b en , se ab está en , entón polo menos un de entre a e b está en . O anel factor (cociente) dun ideal primo é un anel primo en xeral e, en particular, é un dominio de integridade para aneis conmutativos.
* **Ideal radical** ou ideal semiprimo: un ideal propio  chámase **radical** ou **semiprimo** se para calquera *a* en *R*, se *a**n* está en  para algún *n*, entón *a* está en . O anel cociente dun ideal radical é un anel semiprimo para aneis en xeral, e en particular, é un anel reducido para aneis conmutativos.
* **Ideal primario**: un ideal  chámase **ideal primario** se para todos os *a* e *b* en *R*, se *ab* está en , polo menos un de entre *a* e *b**n* está en  para algún número natural *n*. Todo ideal primo é primario, mais non ao revés. Un ideal primario semiprimo é primo.
* **Ideal principal**: un ideal xerado por *un* elemento.
* **Ideal xerado finitamente**: este tipo de ideal é un módulo xerado finitamente.
* **Ideal primitivo**: un ideal primitivo pola esquerda é o anulador dun módulo simple pola esquerda.
* **Ideal irredutíbel**: Dise que un ideal é irredutíbel se non se pode escribir como unha intersección de ideais propios que o conteñen.
* **Ideais comaximais**: dous ideais ,  dise que son **comaximais** se x + y = 1 para algún x \in I e .
* **Ideal regular**: este termo ten múltiples usos. Consulta o artigo para ver unha lista.
* **Ideal nil ou nulo**: Un ideal é un ideal nulo se cada un dos seus elementos é nilpotente.
* **Ideal nilpotente**: Algunha potencia do mesmo é cero.
* **Ideal de parámetros**: un ideal xerado por un sistema de parámetros.
* **Ideal perfecto**: un ideal propio  nun anel noetheriano R chámase **ideal perfecto** se o seu grao é igual á dimensión proxectiva do anel cociente asociado, {{tmath|1= \textrm{grade}(I)=\textrm{proj}\dim(R/I) }}. Un ideal perfecto é un Ideal non mesturado.
* **Ideal non mesturado**: un ideal propio  nun anel noetheriano R chámase **ideal non mesturado** (en altura) se a altura de *I* é igual á altura de cada primo asociado *P* de *R*/*I*. (Isto é máis forte que dicir que *R*/*I* é equidimensional. Consulte tamén anel equidimensional.
Outros dous termos importantes que usan "ideal" non sempre son ideais do seu anel:
* **Ideal fraccionario**: adoita definirse cando *R* é un dominio conmutativo con corpo cociente *K*. Mália os seus nomes, os ideais fraccionarios son submódulos *R* de *K* cunha propiedade especial. Se o ideal fraccional está contido enteiramente en *R*, entón é verdadeiramente un ideal de *R*.
* **Ideal invertíbel**: Normalmente un ideal invertíbel *A* defínese como un ideal fraccionario para o cal hai outro ideal fraccionario *B* tal que . Algúns autores tamén poden aplicar o "ideal invertíbel" aos ideais de aneis ordinarios *A* e *B* con  en aneis que non son dominios.

## Operacións con ideais 
A suma e o produto dos ideais defínense do seguinte xeito. Para  os ideais \mathfrak{a}, {{Tmath|\mathfrak{b} }}, pola esquerda (resp. dereita) dun anel *R*, a súa suma é

: \mathfrak{a}+\mathfrak{b}:=\{a+b \mid a \in \mathfrak{a} \mbox{ e } b \in \mathfrak{b}\},

que é un ideal pola esquerda (resp. dereita) e, 

o produto é, se \mathfrak{a}, \mathfrak{b} son bilaterais,

: \mathfrak{a} \mathfrak{b}:=\{a_1b_1+ \dots + a_nb_n \mid a_i \in \mathfrak{a} \mbox{ e } b_i \in \mathfrak{b}, i=1, 2, \dots, n; \mbox{ para } n=1, 2, \dots\},

é dicir, o produto é o ideal xerado por todos os produtos da forma *ab* con a *en* \mathfrak{a} e *b* en {{Tmath|\mathfrak{b} }}.

A lei distributiva cúmprese para ideais bilaterais {{tmath|1= \mathfrak{a}, \mathfrak{b}, \mathfrak{c} }},
* {{tmath|1= \mathfrak{a}(\mathfrak{b} + \mathfrak{c}) = \mathfrak{a} \mathfrak{b} + \mathfrak{a} \mathfrak{c} }},
* {{tmath|1= (\mathfrak{a} + \mathfrak{b}) \mathfrak{c} = \mathfrak{a}\mathfrak{c} + \mathfrak{b}\mathfrak{c} }}.
Se o produto é substituído por unha intersección, temos unha lei distributiva parcial:
: \mathfrak{a} \cap (\mathfrak{b} + \mathfrak{c}) \supset \mathfrak{a} \cap \mathfrak{b} + \mathfrak{a} \cap \mathfrak{c }
onde se cumpre a igualdade se \mathfrak{a} contén \mathfrak{b} ou \mathfrak{c}.

Un dominio de integridade chámase dominio de Dedekind se para cada par de ideais \mathfrak{a} \subset \mathfrak{b}, hai un ideal \mathfrak{c} tal {{Tmath|1=\mathfrak \mathfrak{a} = \mathfrak{b} \mathfrak{c} }} (un ideal incluído noutro pódese descompor no produto de dous ideais).  Pódese entón demostrar que todo ideal distinto de cero dun dominio de Dedekind pode escribirse de forma única como un produto de ideais máximais, isto é unha xeneralización do teorema fundamental da aritmética.

## Exemplos de operacións con ideais 
En \mathbb{Z} temos

: (n)\cap(m) = \operatorname{lcm}(n,m)\mathbb{Z}

xa que (n)\cap(m) é o conxunto de números enteiros que son divisíbeis tanto por n como por .

Sexa R = \mathbb{C}[x,y,z,w] e {{Tmath|1=\mathfrak{a} = (z, w), \mathfrak{b} = (x+z,y+w),\mathfrak{c} = (x+z, w)}}. Daquela,

*  \mathfrak{a} + \mathfrak{b} = (z,w, x+z, y+w) = (x, y, z, w) e \mathfrak{a} + \mathfrak{c} = (z, w, x)
* \mathfrak{a}\mathfrak{b} = (z(x + z), z(y + w), w(x + z), w(y + w))= (z^2 + xz, zy + wz, wx + wz, wy + w^2)
* \mathfrak{a}\mathfrak{c} = (xz + z^2, zw, xw + zw, w^2)
* \mathfrak{a} \cap \mathfrak{b} = \mathfrak{a}\mathfrak{b} mentres que \mathfrak{a} \cap \mathfrak{c} = (w, xz + z^2) \neq \mathfrak{a}\mathfrak{c}

No primeiro cálculo, vemos o modelo xeral para tomar a suma de dous ideais finitamente xerados, é o ideal xerado pola unión dos seus xeradores. Nos tres últimos observamos que os produtos e as interseccións coinciden sempre que os dous ideais intersecan no ideal cero. Estes cálculos pódense comprobar usando Macaulay2 (sistema de computación alxébrica en liña).

## Radical dun anel 
Os ideais aparecen con naturalidade no estudo dos módulos, especialmente en forma de radical.

: *Para simplificar, traballamos con aneis conmutativos mais, con algunha modificación, os resultados tamén son certos para aneis non conmutativos.*

Sexa *R* un anel conmutativo. Por definición, un ideal primitivo de *R* é o anulador dun *R*-módulo simple (non cero). O radical de Jacobson J = \operatorname{Jac}(R) de *R* é a intersección de todos os ideais primitivos. De forma equivalente,

:  J = \bigcap_{ \mathfrak{m} \text{ ideais maximais } }\mathfrak{m}.

En efecto, se M é un módulo simple e *x* é un elemento distinto de cero en *M*, entón Rx = M e R/\operatorname{Ann}(M) = R/\operatorname{Ann}(x) \simeq M, sendo que \operatorname{Ann}(M) é un ideal máximal. E viceversa, se \mathfrak{m} é un ideal máximal, entón \mathfrak{m} é o anulador do *R*-módulo simple {{Tmath|R/\mathfrak{m} }}. Tamén hai outra caracterización (a proba non é difícil):

: J = \{ x \in R \mid 1 - yx \, \text{ é unha unidade para cada } y \in R\}.

Para un anel non necesariamente conmutativo, é un feito xeral que 1 - yx é unha unidade se e só se 1 - xy tamén o é. Así esta última caracterización mostra que o radical pode definirse tanto en termos de ideais primitivos pola esquerda como pola dereita.

O seguinte feito sinxelo máis importante (lema de Nakayama) está incorporado na definición dun radical de Jacobson: se *M* é un módulo tal que , entón *M* non admite un submódulo maximal, xa que se hai un submódulo máximal ,  J \cdot (M/L) = 0 entón ,  dá unha contradición. Dado que un módulo finitamente xerado non nulo admite un submódulo máximal, en particular temos:

: Se JM = M e *M* xérase finitamente, entón .

Un ideal máximal é un ideal primo e así temos

: \operatorname{nil}(R) =
\bigcap_{\mathfrak{p} \text { ideais primos }} \mathfrak{p} \subset \operatorname{Jac}(R).

Se *R* é un anel artiniano, entón \operatorname{Jac}(R) é nilpotente e {{Tmath|1=\operatorname{nil}(R) = \operatorname{Jac}(R)}}.

## Extensión e contracción dun ideal 
Sexan *A* e *B* dous aneis conmutativos, e sexa *f* : *A* → *B*  un homomorfismo de aneis. Se \mathfrak{a} é un ideal en *A*, entón f(\mathfrak{a}) non ten por que ser un ideal en *B* (por exemplo, tome *f* como a inclusión do anel de enteiros **Z** no corpo dos racionais **Q**). A **extensión** \mathfrak{a}^e de \mathfrak{a} en *B* defínese como o ideal en *B* xerado por {{Tmath|f(\mathfrak{a})}}. Explicitamente,

: \mathfrak{a}^e = \Big\{ \sum y_if(x_i) : x_i \in \mathfrak{a}, y_i \in B \Big\}

Se \mathfrak{b} é un ideal de *B*, daquela f^{-1}(\mathfrak{b}) é sempre un ideal de *A*, chamado a **contracción** \mathfrak{b}^c de \mathfrak{b} en *A*.

Asumindo que *f* : *A* → *B* é un homomorfismo de aneis, que \mathfrak{a} é un ideal en *A*, e que \mathfrak{b} é un ideal en *B*, temos:
* \mathfrak{b} é primo en *B* \Rightarrow \mathfrak{b}^c é primo en *A*.
* \mathfrak{a}^{ec} \supseteq \mathfrak{a}.
* \mathfrak{b}^{ce} \subseteq \mathfrak{b}.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
* 
* 
* 
* 
* 
### Outros artigos 
* Ideal (teoría da orde).
* Anel (álxebra).
### Ligazóns externas 
*