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 Modelo:Mvar, un ideal pola esquerda é un subconxunto Modelo:Mvar de Modelo:Mvar que é un subgrupo do grupo aditivo de $R$ que "absorbe a multiplicación pola esquerda dos elementos de Modelo:Tmath; é dicir, $I$ é un ideal pola esquerda se cumpre as dúas condicións seguintes:

1. $(I,+)$ é un subgrupo de Modelo:Tmath
2. Para cada $r\in R$ e cada Modelo:Tmath o produto $rx$ está en Modelo:Tmath

Noutras palabras, un ideal pola esquerda é un submódulo pola esquerda de Modelo:Mvar, 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 Modelo:Tmath. 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 Modelo:Mvar é 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 Modelo:Mvar, e o conxunto de clases de equivalencia forma un módulo pola esquerda, dereita ou bilateral denotado $R/I$ e chamado o cociente de Modelo:Mvar por Modelo:Mvar. (É un exemplo dunha relación de congruencia e é unha xeneralización da aritmética modular).

Se o ideal Modelo:Mvar é bilateral, $R/I$ é un anel, e a función $R\to R/I$ que asocia a cada elemento de Modelo:Mvar 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 Modelo:Tmath. A maiores, o conxunto $\{0_R\}$ que consiste só na identidade aditiva 0_R forma un ideal bilateral chamado ideal cero e denotado por Modelo:Tmath. Todo ideal (esquerda, dereita ou bilateral) contén o ideal cero e está contido no ideal da unidadeModelo:Sfnp
• 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 $𝔞$ é propio se e só se non contén unha unidade (elemento invertíbel), xa que se $u\in 𝔞$ é unha unidade (invertíbel), entón $r=(r{u}^{-1})u\in 𝔞$ para cada Modelo:Tmath. 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 Modelo:Tmath 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 Modelo:Tmath. De xeito máis xeral, o conxunto de todos os números enteiros divisíbeis por un enteiro fixo $n$ é un ideal denotado Modelo:Tmath. 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.Modelo:Sfnp
• 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 Modelo:Tmath.
• Tomamos un anel $R$ e un enteiro positivo Modelo:Tmath. Para cada Modelo:Tmath, 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 Modelo:Tmath. Non é un ideal pola esquerda. Do mesmo xeito, para cada Modelo:Tmath, 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(ℝ)$ de todas as funcións continuas $f$ de $ℝ$ ata $ℝ$ baixo multiplicación punto a punto contén o ideal de todas as funcións continuas $f$ tal que Modelo:Tmath.Modelo:Sfnp Outro ideal en $C(ℝ)$ 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 Modelo:Tmath.
• Un anel chámase anel simple se é distinto de cero e non ten ideais bilaterais que non sexan Modelo:Tmath. 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 Modelo:Tmath.Modelo:Sfnp Por definición, Modelo:Tmath, e polo tanto, se $S$ non é o anel cero (polo que Modelo:Tmath), 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 Modelo:Tmath, 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 Modelo:Tmath. 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 ${\mathrm{Ann}}_R(S)=\{r\in R\mid rs=0,s\in S\}$ de S é un ideal pola esquerda. Dados os ideais $𝔞,𝔟$ dun anel conmutativo R, o R-anulador de $(𝔟+𝔞)/𝔞$ é un ideal de R chamado ideal cociente de $𝔞$ por $𝔟$ e denotado como Modelo:Tmath; é unha instancia do idealizador (subsemigrupo maior no que é ideal outro semigrupo) en álxebra conmutativa.
• Sexa ${𝔞}_i,i\in S$ unha cadea ascendente de ideais pola esquerda nun anel R; é dicir, $S$ é un conxunto totalmente ordenado e ${𝔞}_i\subset {𝔞}_j$ para cada Modelo:Tmath. Entón a unión $\bigcup _{i\in S}{𝔞}_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 ${𝔞}_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 ${𝔞}_0$ e disxunto de E. Cando $R\ne 0$, tomando ${𝔞}_0=(0)$ e Modelo:Tmath, 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 Modelo:Tmath. 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_1{x}_1+\dots +r_n{x}_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_1{x}_1{s}_1+\dots +r_n{x}_n{s}_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. Modelo:Tmath). O ideal principal bilateral $RxR$ adoita denotarse tamén por Modelo:Tmath. Se $X=\{x_1,\dots ,x_n\}$ é un conxunto finito, entón $RXR$ tamén se escribe como Modelo:Tmath.
• 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 Modelo:Tmath, sexa $x\sim y$ se Modelo:Tmath. Entón $\sim$ é unha relación de congruencia en Modelo:Tmath. E viceversa, dada unha relación de congruencia $\sim$ en Modelo:Tmath, sexa Modelo:Tmath, daquela $I$ é un ideal de Modelo:Tmath.

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$).Modelo:Sfnp
• 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 Modelo:Mvar chámase ideal máximal se non existe outro ideal propio J que teña a Modelo:Mvar 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 Modelo:Tmath, se $ab$ está en Modelo:Tmath, entón polo menos un de entre $a$ e $b$ está en Modelo:Tmath. O anel factor (cociente) dun ideal primo é un anel primo en xeral e, en particular, é un dominio de integridade para aneis conmutativos.Modelo:Sfnp
• Ideal radical ou ideal semiprimo: un ideal propio Modelo:Mvar chámase radical ou semiprimo se para calquera a en R, se aⁿ está en Modelo:Mvar para algún n, entón a está en Modelo:Mvar. 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 Modelo:Mvar chámase ideal primario se para todos os a e b en R, se ab está en Modelo:Mvar, polo menos un de entre a e bⁿ está en Modelo:Mvar 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.Modelo:Sfnp
• Modelo:AnchorIdeal 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 Modelo:Mvar, Modelo:Mvar dise que son comaximais se $x+y=1$ para algún $x\in I$ e Modelo:Tmath.
• 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 Modelo:Mvar nun anel noetheriano $R$ chámase ideal perfecto se o seu grao é igual á dimensión proxectiva do anel cociente asociado, Modelo:Tmath. Un ideal perfecto é un Ideal non mesturado.
• Ideal non mesturado: un ideal propio Modelo:Mvar 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 Modelo:Math. Algúns autores tamén poden aplicar o "ideal invertíbel" aos ideais de aneis ordinarios A e B con Modelo:Math 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 $𝔞$, Modelo:Tmath, pola esquerda (resp. dereita) dun anel R, a súa suma é

$𝔞+𝔟:=\{a+b\mid a\in 𝔞\text{ e }b\in 𝔟\}$,

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

o produto é, se $𝔞,𝔟$ son bilaterais,

$𝔞𝔟:=\{a_1{b}_1+\dots +a_n{b}_n\mid a_i\in 𝔞\text{ e }{b}_i\in 𝔟,i=1,2,\dots ,n;\text{ para }n=1,2,\dots \},$

é dicir, o produto é o ideal xerado por todos os produtos da forma ab con a en $𝔞$ e b en Modelo:Tmath.

A lei distributiva cúmprese para ideais bilaterais Modelo:Tmath,

• Modelo:Tmath,
• Modelo:Tmath.

Se o produto é substituído por unha intersección, temos unha lei distributiva parcial:

$𝔞\cap (𝔟+𝔠)\supset 𝔞\cap 𝔟+𝔞\cap 𝔠$

onde se cumpre a igualdade se $𝔞$ contén $𝔟$ ou $𝔠$.

Un dominio de integridade chámase dominio de Dedekind se para cada par de ideais $𝔞\subset 𝔟$, hai un ideal $𝔠$ tal Modelo:Tmath (un ideal incluído noutro pódese descompor no produto de dous ideais). Modelo:Sfnp 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)=\mathrm{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 Modelo:Tmath.

Sexa $R=ℂ[x,y,z,w]$ e Modelo:Tmath. Daquela,

• $𝔞+𝔟=(z,w,x+z,y+w)=(x,y,z,w)$ e $𝔞+𝔠=(z,w,x)$
• $𝔞𝔟=(z(x+z),z(y+w),w(x+z),w(y+w))=(z^2+xz,zy+wz,wx+wz,wy+w^2)$
• $𝔞𝔠=(xz+z^2,zw,xw+zw,w^2)$
• $𝔞\cap 𝔟=𝔞𝔟$ mentres que $𝔞\cap 𝔠=(w,xz+z^2)\ne 𝔞𝔠$

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=\mathrm{Jac}(R)$ de R é a intersección de todos os ideais primitivos. De forma equivalente,

$J=\bigcap _{𝔪\text{ ideais maximais }}𝔪.$

En efecto, se $M$ é un módulo simple e x é un elemento distinto de cero en M, entón $Rx=M$ e $R/\mathrm{Ann}(M)=R/\mathrm{Ann}(x)\simeq M$, sendo que $\mathrm{Ann}(M)$ é un ideal máximal. E viceversa, se $𝔪$ é un ideal máximal, entón $𝔪$ é o anulador do R-módulo simple Modelo:Tmath. 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 mais importante (lema de Nakayama) está incorporado na definición dun radical de Jacobson: se M é un módulo tal que Modelo:Tmath, entón M non admite un submódulo maximal, xa que se hai un submódulo máximal Modelo:Tmath, $J\cdot (M/L)=0$ entón Modelo:Tmath, 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 Modelo:Tmath.

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

$\mathrm{nil}(R)=\bigcap _{𝔭\text{ ideais primos }}𝔭\subset \mathrm{Jac}(R)$.

Se R é un anel artiniano, entón $\mathrm{Jac}(R)$ é nilpotente e Modelo:Tmath.

Extensión e contracción dun ideal

Sexan A e B dous aneis conmutativos, e sexa f : A → B un homomorfismo de aneis. Se $𝔞$ é un ideal en A, entón $f(𝔞)$ 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 ${𝔞}^e$ de $𝔞$ en B defínese como o ideal en B xerado por Modelo:Tmath. Explicitamente,

${𝔞}^e=\{\sum y_{i}f(x_i):x_i\in 𝔞,y_i\in B\}$

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

Asumindo que f : A → B é un homomorfismo de aneis, que $𝔞$ é un ideal en A, e que $𝔟$ é un ideal en B, temos:

• $𝔟$ é primo en B $\Rightarrow$ ${𝔟}^c$ é primo en A.
• ${𝔞}^{ec}\supseteq 𝔞$.
• ${𝔟}^{ce}\subseteq 𝔟$.

Véxase tamén

Bibliografía

• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro

Outros artigos

• Ideal (teoría da orde).
• Anel (álxebra).

Ligazóns externas

• Modelo:Cita web

Modelo:Control de autoridades