Scribd
Cargar
3 vistas2 páginas

Igualdad del Nilradical y Jacobson en Anillos

Se demuestra que el nilradical y el radical de Jacobson de un anillo A son iguales bajo la condición de que cada ideal no contenido en el nilradical contiene un idempotente distinto de cero. Se establece que Nil(A) está contenido en J(A) y viceversa, lo que lleva a la conclusión de que Nil(A) = J(A). La demostración se basa en propiedades de elementos nilpotentes y la estructura de ideales maximal en el anillo.

Cargado por

jorge escorcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
3 vistas2 páginas

Igualdad del Nilradical y Jacobson en Anillos

Se demuestra que el nilradical y el radical de Jacobson de un anillo A son iguales bajo la condición de que cada ideal no contenido en el nilradical contiene un idempotente distinto de cero. Se establece que Nil(A) está contenido en J(A) y viceversa, lo que lleva a la conclusión de que Nil(A) = J(A). La demostración se basa en propiedades de elementos nilpotentes y la estructura de ideales maximal en el anillo.

Cargado por

jorge escorcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Demostración de que el Nilradical y el Radical

de Jacobson son Iguales en un Anillo A


[Jorge Luis Escorcia Fuentes Estudiante de Doctorado en Matematica]
September 7, 2025

Enunciado:
Sea A un anillo tal que cada ideal que no está contenido en el nilradical
contiene un idempotente distinto de cero. Demostrar que el nilradical y el
radical de Jacobson de A son iguales, es decir:

Nil(A) = J(A),

donde Nil(A) es el nilradical y J(A) es el radical de Jacobson de A.

Demostración:
1. Nil(A) ⊆ J(A):
Primero, recordemos que el **nilradical** de un anillo A es el conjunto de
todos los elementos nilpotentes de A:

Nil(A) = {a ∈ A | an = 0 para algún n ∈ N}.

Por otro lado, el **radical de Jacobson** de un anillo A, denotado J(A), es


la intersección de todos los ideales maximal de A:
\
J(A) = m.
m∈Max(A)

1
Queremos demostrar que Nil(A) ⊆ J(A). Supongamos que a ∈ Nil(A), es
decir, que an = 0 para algún n ∈ N. Necesitamos mostrar que a está en
todos los ideales maximal de A, lo que implica que a ∈ J(A).
Por la hipótesis del enunciado, si un ideal no está contenido en Nil(A),
debe contener un idempotente distinto de cero. Es decir, si a no pertenece a
algún ideal maximal m, entonces m contiene un idempotente distinto de cero
e, es decir, e2 = e y e ̸= 0. Sin embargo, como a es nilpotente, an = 0, y
el idempotente e satisface e2 = e, tenemos que el producto ae = 0, lo que
implica que a debe estar contenido en m. Por lo tanto, a ∈ m para todo ideal
maximal m, lo que implica que:
\
a∈ m = J(A).
m∈Max(A)

Ası́ que Nil(A) ⊆ J(A).

2. J(A) ⊆ Nil(A):
Ahora, supongamos que a ∈ J(A), es decir, a está en todos los ideales max-
imal de A. Queremos demostrar que a es nilpotente, es decir, que existe un
n ∈ N tal que an = 0.
Si a no fuera nilpotente, consideremos el ideal generado por a, denotado
por (a). Este ideal no puede estar contenido en el nilradical Nil(A), ya que a
no serı́a nilpotente si estuviera en Nil(A). Según la hipótesis del enunciado,
si (a) no está contenido en Nil(A), entonces debe contener un idempotente
distinto de cero, es decir, existe un e ∈ A tal que e2 = e y e ̸= 0.
Sin embargo, si e es un idempotente, entonces el elemento a − e serı́a
nilpotente. Pero, como a pertenece a todos los ideales maximal de A, también
debe estar contenido en el radical de Jacobson J(A), lo que implica que a
debe ser nilpotente.
Por lo tanto, J(A) ⊆ Nil(A).

Conclusión:
Hemos demostrado que Nil(A) ⊆ J(A) y J(A) ⊆ Nil(A), por lo que podemos
concluir que:
Nil(A) = J(A).

También podría gustarte