FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICA

ESCUELA PROFESIONAL DE MATEMÁTICA

CARACTERIZACIÓN DE ANILLOS ARTINIANOS

Línea de investigación:
Matemática Pura

Tesina para optar el Título Profesional de Licenciado en Matemática

Autor:
Reynaldo Junior Bustillos Huayhua
Asesor:
Mg. David Velasquez Alarcón
(Código del Asesor)

Jurado:
…………..
………….
…………..

Lima – Perú
2022
 Tabla de Contenidos
RESUMEN..................................................................................................................................3
ABSTRACT.................................................................................................................................4
I. Introducción.........................................................................................................................5
1.1 Descripción y formulación del problema......................................................................6
1.2 Antecedentes................................................................................................................6
1.3 Objetivos......................................................................................................................6
1.3.1 Objetivo General.........................................................................................................7
1.3.2 Objetivos Específicos..................................................................................................7
1.4 Justificación..................................................................................................................7
1.5 Hipótesis.............................................................................................................................8
II. Marco teórico.......................................................................................................................9
2.1 Bases teóricas ..............................................................................................................9
III. Método...........................................................................................................................14
3.1 Tipo de investigación.......................................................................................................14
3.2 Ámbito temporal y espacial..............................................................................................14
3.3 Variables..........................................................................................................................14
3.4 Población y muestra.........................................................................................................14
3.5 Instrumentos.....................................................................................................................14
3.6 Procedimientos.................................................................................................................14
3.7 Análisis de datos...............................................................................................................16
IV. Resultados............................................................................................................................18
V. Discusión de resultados.........................................................................................................18
VI. Conclusiones........................................................................................................................18
VII. Recomendaciones...............................................................................................................18
VIII. Referencias........................................................................................................................19
 RESUMEN

En el presente trabajo se mostró las condiciones necesarias para determinar que un anillo

noetheriano pueda ser artiniano. Para determinar que un anillo noetheriano pueda ser un

anillo artiniano necesitamos saber la dimensión del anillo noetheriano, si este anillo

noetheriano tiene dimensión cero entonces podríamos decir que este anillo es artiniano.

Conclusión:

Finalmente concluimos……

Palabras clave: Anillo artiniano, anillo noetheriano, dimensión de Krull

ABSTRACT
 I. Introducción

En el siglo XIX, los matemáticos como, Hilbert, Noether, Artin y Dedekind

trabajaban en el área de Geometría Algebraica y Teoría de Números, tras un profundo

estudio, se dieron cuenta de que ambos campos, tenían elementos en común, así que los

unificaron para poder argumentarlos, dando lugar a una nueva área de la matemática a la que

se le llamo Algebra Conmutativa, que es el campo de estudio de los anillos conmutativos, sus

ideales, módulos, álgebras; con objeto central el ideal primo, el cual proporciona una

generalización de los números primos de la aritmética.

La teoría de anillos e ideales es un área de gran importancia en varias áreas de la ciencia,

como, por ejemplo, en Álgebra, Geometría Algebraica, Álgebra Conmutativa. Una clase de

anillos que aparece y juega un papel importante en esta teoría es los anillos artinianos, anillos

que satisfacen una determinada condición de cadena descendente para ideales.

El objetivo principal de este trabajo es presentar un estudio sobre los anillos artinianos y la

relación que hay con un anillo noetheriano, donde encontrará las condiciones necesarias para

que todo anillo noetheriano sea artiniano en esta relación podemos ver que todo anillo

artiniano si solo si es noetheriano con dimensión cero.

Emil Artin en 1927 descubre anillos de condiciones mínimas es decir anillos que satisfacen la

condición de cadena descendente para ideales, llamados así en su honor, anillos de Artin o

anillos Artinianos.

En la primera sección presentamos la introducción y la formulación del problema,

antecedentes, objetivos, justificación e hipótesis, en la segunda sección estará conformada por

el marco teórico, el cual se desarrollará las bases teóricas para lograr demostrar y describir las

condiciones necesarias para cumplir con mis objetivos, en la tercera sección está conformada
por la metodología, donde se desarrollará los anillos de cadenas, sus propiedades y la

caracterización de un anillo artiniano.

1.1 Descripción y formulación del problema

Los anillos artinianos y noetherianos tiene propiedades similares, pero no necesariamente un

anillo noetheriano es artiniano, entonces buscaremos las condiciones necesarias para que esta

condición se cumpla.

Problema general

¿Cómo un anillo noetheriano de dimensión cero me determina un anillo artiniano?

Problema especifico

¿Cómo la cadena descendente de ideales de un anillo me determina un anillo artiniano?

¿Cómo la longitud de una cadena de ideales primos me determina la dimensión de un anillo?

¿Cómo la dimensión de un anillo influye en determinar si el anillo es artiniano?

1.2 Antecedentes

En los últimos tiempos, el estudio del álgebra conmutativa es una de las ramas más

importantes en el área de matemática abstracta y en ella se encuentran una serie de temas que

sirven como fundamentación básica para el estudio de otros campos.

Noether (1926), en su artículo Teoría de ideales en los dominios de integridad en

sus investigaciones en torno a la teoría de anillos conmutativos y de lo que, en su

tiempo, fue llamado La Teoría General de Ideales. La principal contribución de

Noether fue definir un anillo en un contexto abstracto y fundamentalmente por el

artículo Teoría de ideales en los dominios de integridad que los anillos que

verifican la condición de cadena ascendente se llaman anillos noetherianos.

Artin (1931), su contribución a las teorías de cuerpos y anillos fue decisiva.

Alrededor de 1928, consideró los anillos que satisfacen la condición de mínimo en

ideales, hoy llamados "anillos artinianos”.

1.3 Objetivos

1.3.1 Objetivo General

Determinar si un anillo noetheriano de dimensión cero me determina un anillo artiniano

1.3.2 Objetivos Específicos

Determinar si la cadena descendente de ideales de un anillo establece un anillo artiniano

Determinar si la longitud de una cadena de ideales primos me determina la dimensión de un

anillo

Demostrar si la dimensión de un anillo influye en determinar si el anillo es artiniano

1.4 Justificación

La motivación de este trabajo es dar a conocer resultados importantes sobre los anillos

noetherianos y artinianos; con mayor interés aquellas propiedades que relacionan una

equivalencia entre ellos dos, con el fin principal de crear las bases y la inquietud en los

estudiantes de licenciatura en matemática, para que realicen estudios de los temas

desarrollados en este documento en otras estructuras algebraicas.

La realización de este trabajo proporciona herramientas en estudios del álgebra conmutativa.

Por tal razón se ha diseñado de manera que contenga desde definiciones, proposiciones y

lemas, con mayor detalle con la intención de mejorar la compresión del lector.
1.5 Hipótesis

Un anillo noetheriano de dimensión cero me determina un anillo artiniano.

Hipótesis especificas

La cadena descendente de ideales de un anillo me determina un anillo artiniano

La longitud de una cadena de ideales primos me determina la dimensión de un anillo

La dimensión de un anillo influye en determinar si el anillo es artiniano

 II. Marco teórico

En esta parte se presentará los preliminares que permitan demostrar los resultados que son

parte de los objetivos. Para el desarrollo de esta sección se utilizará la información contenida

en Atiyah, M. F. y Macdonald (1969),.

2.1 Bases teóricas

Definición 2.1 (Anillos)

Un anillo conmutativo con unidad es un conjunto R no vacío, dotado de dos operaciones

suma “+” y producto “.” tales que para cualesquiera a , b y c de R se cumple lo siguiente:

1. ¿es un grupo abeliano.

2. ∀ a , b ∈ R entonces a . b esta en R

3. a . ( b . c )=( a . b ) . c (Asociativa)

4. a . ( b+ c ) =a . b+a . c (Distributiva)

5. a . b=b . a (Conmutativa)

6. Existe un elemento 1 ∈ R tal que a .1=1. a=a , ∀ a ∈ R

Nota :Considerar lo siguiente a lo largo del trabajo.

1. Anillo implicara un anillo conmutativo con elemento identidad.

2. El elemento 1 de R se denotará por 1R

Definición 2.2 (Subanillo)

Sea R un anillo y A ⊆ R . Diremos que A , es un subanillo de R , si

1. A es un subgrupo en R .

2. A es cerrado con la multiplicación en R .

3. 1R ∈ A .

Definición 2.3

Sea A un anillo. Un elemento a ∈ A es un divisor de cero en A , sí divide a 0, es decir, si

existe b ∈ A no nulo, tal que a . b=0

Ejemplo 2.1

Sea ( Z6 ,+ ,∙ ¿ el anillo cociente conmutativo con identidad, entonces 3es un divisor de cero.

En efecto:

Existe un 4 ≠ 0tal que 3 . 4=12=0

Por lo tanto: 3 es un divisor de cero.

Definición 2.4

Un anillo A ≠ 0 , sin divisores de cero se llama dominio integridad.

Ejemplo 2.2

El anillo ( Z ,+ ,∙ ¿ es un dominio de integridad.

Demostración: Se sabe que Z cumple con las condiciones de anillo, además es un anillo

conmutativo con identidad y sin divisores de cero, es decir:

∀ a , b ∈ Z tal que a . b=0 ⟺ a=0 ∨ b=0

Por lo tanto:
 ( Z ,+ ,∙ ¿ es un dominio de integridad.

Definición 2.5

Un elemento a ∈ A es unidad en A , si divide a 1, es decir, si existe b ∈ A tal que a . b=1, el

cual se denomina inverso de a .

Definición 2.6

Un cuerpo es un anillo A en el que 1 ≠0 y cada elemento no nulo es una unidad.

Definición 2.7

Un ideal de un anillo A es un subconjunto I de A tal que:

i. Si a , b ∈ I , entonces a+ b ∈ I .

ii. a . b ∈ I , para todo a ∈ I y b ∈ A

Ejemplo

Xxxxxxxxxxxx

Xxxxxxxxxxxxxxx

Proposición 1.2.3

Sea A un anillo no nulo. A es cuerpo entonces los únicos ideales de A son <0> y < 1>.

Demostración:

El <0> es un ideal de A por definición, ahora probaremos que si I es un ideal no nulo de A

entonces I=¿ 1>¿ .

En efecto:
Como A es cuerpo, todo elemento no nulo de n ∈ I es unidad es decir existe un x ∈ A tal que

n . x=1 esto implica que n ∈<1>¿ entonces ¿ 1>⊆ I y por ser A ideal ¿ 1>¿ A lo que implica

que I ⊆ A ⊆<1>¿ entonces I ⊆< 1> ¿.

Por tanto: I =¿ 1>¿

Definición 2.8

Un homomorfismo de anillos es una función f de un anillo A en un anillo B tal que:

1. f ( a+b ) =f ( a )+ f ( b ) , ∀ a ,b ∈ A

2. f ( a .b )=f ( a ) . f (b) , ∀ a ,b ∈ A

3. f ( 1 A )=f (1 B)

Ejemplo

La función f : Z ⟶ Z ∕ n Z definida como m⟶ m es un homomorfismo de anillos.

Definición 2.9

Un elemento a ∈ A se llama nilpotente si existe n ∈ N , tal que a n=0

Definición 2.1.0

Sea A un anillo. Se dice que un ideal I es finitamente generado si existe

n
{a 1 , … , ar }∈ I tal que : I =∑ a j A
j=1

Definición 2.11

Sea A un anillo. Un ideal I de A es principal si existe a ∈ A tal que I =a A , es decir el ideal I

es generado por un solo elemento.

Ejemplo
El anillo ( Z ,+ ,∙ ¿ es un ideal principal.

En efecto:

Se puede ver que -1 y 1 son los generadores de los números enteros.

Definición 2.12

Un dominio de ideales principales es un dominio de integridad donde cada ideal es principal.

Definición 2.13

Sea A un anillo (conmutativo con elemento unidad). Se llamará A−¿módulo al par (M , μ)

formado por un grupo aditivo abeliano M y una aplicación:

μ:A ×M→ M ,

que actúa linealmente sobre M , es decir, tal que:

i. μ ( a , m 1+ m2 ) =μ ( a , m1 )+ μ (a , m2)

ii. μ ( a+b ,m )=μ ( a ,m ) + μ(b ,m)

iii. μ ( ab , m )=μ ( a , μ(b ,m) )

iv. μ ( 1 ,m )=m. ∀ a ,b ∈ A ; m1 , m2 ∈ M

Definición 2.14

Sea A un anillo y M un A−¿módulo. Un subgrupo abeliano N de M es un submódulo de M ,

si para cada a ∈ A y cada n ∈ N se tiene an ∈ N .

Nota:

1. Un ideal a en A es un A−¿módulo. En particular el anillo A es un A−¿módulo.

 2. Si A es un cuerpok , entonces A−¿módulo≡ k−¿ espacio vectorial.

Definición 2.15

Sea A un anillo. Se dice que un A−¿módulo está finitamente generado si posee un sistema

de generadores finito. Es decir, si existe un conjunto finito { m1 , … … ,mn } de elementos de M

tal que:

n
M =∑ Am j
j=1

Definición 2.16 (Ideal primo)

Sea A un anillo, un ideal propio p de A se llama un ideal primo si para cualesquiera a , b ∈ A

tal que ab ∈ p , se tiene a ∈ p ∨ b ∈ p

Proposición 1.2.3

El ideal cero es primo si y sólo si A es dominio de integridad.

Demostración:

⟹ ¿ Sea a , b ∈ A tal que ab=0 , por demostrar que a=0 ∨b=0

En efecto:

Como ab=0 entonces ab ∈<0> ¿, pero como ¿ 0>¿ es ideal primo entonces

a ∈<0>∨ b ∈< 0>¿ , lo que implica que a=0 ∨b=0 .

⇐¿ Sea ab ∈<0> ¿, como ¿ 0>¿ es ideal primo entonces ab=0 además A es dominio de

integridad. Entonces a=0 ∨b=0 lo que implica que a ∈<0>∨ b ∈< 0>¿. Por tanto ¿ 0>¿ es

ideal primo.
Definición 2.17 (Ideal maximal)

Sea A un anillo. Un ideal propio M de A se llama maximal si para cada ideal J ≠<1>¿ de A

tal que M ⊆ J ⊂ A se tiene que M =J

Ejemplo

Sea Z ( anillo de los enteros) y P=¿ p> ¿ con p primo, un ideal de Z entonces P es un ideal

maximal de Z .

Demostración:

Sea J un ideal propio de Z tal que P ⊆J ⊂ Z .

Como J es un ideal de Z entonces J=¿ a>, para algún a ∈ Z

Como p ∈ P ⊆J entonces p=n . a , para algún n ∈ Z

Como p es primo entonces a=1 ∨a=p

Si a=1 entonces J=Z , lo que no es posible pues J es ideal propio de Z

Si a= p entonces J =¿ a> ¿< p>¿ P

Por lo tanto:

P es un ideal maximal de Z .

Definición 2.18

Sea A ≠ 0 un anillo, existe al menos un ideal maximal de A .

Definición 2.19

Un anillo A se llama local si tiene un único ideal maximal.

Proposición 1.2.3
Sea A un anillo, m y p ideales propios en A , entonces:

(i) p es un ideal primo si solo si A/ p es un dominio de integridad.

(ii) m es un ideal maximal si solo si A/m es un cuerpo.

Definición 2.20

Un anillo A se llama local si tiene un único ideal maximal.

Proposición 2.20

(i) Sean p1 , ….. pn ideales primos en un anillo A y sea I un ideal contenido en

¿ i=1 ¿ n p i. Entonces I ⊆ pi , para algún i .

(ii) Sean I 1 , … .. I n ideales en un anillo A y sea p un ideal primo que contiene a

¿ i=1 ¿ n I i . Entonces p ⊇I i para algún i . Si p=¿i=1¿ n I i , entonces p=¿ I i para

algún i .

Definición 2.21

El conjunto Nil ( A )={x ∈ A ∕ xn =0 , para algún n ∈ N }, se denomina nilradical de A .

Ejemplo

Nil ( A )es un ideal de A .

Demostración:

(i) Sea x , y ∈ Nil ( A ) por demostrar que x + y ∈ Nil ( A )

En efecto:

Como x , y ∈ Nil ( A ) entonces x n=0 para algún n ∈ N , y m=0 para algún m∈ N

m +n
r
Sea r =m+ n , (x + y ) ¿ ( x+ y)
m +n

k =0 k ( )
=∑ m+ n x k y m +n−k
m +n

∑ ( m+n
k ) x k y m +n−k =( m+n ) y m+n +( m+ n) x 1 y m +n−1+ ..... ( m+n ) x m+n
0 1 m+n
k=0

m +n

∑ ( m+n
k ) (0) (1) ( m+ n)
x k y m +n−k = m+n .0+ m+n x1 .0+..... m+ n .0=0
k=0

Por tanto: x + y ∈ Nil ( A )

(ii) x ∈ Nil ( A ) y a ∈ A por demostrar que x .a ∈ Nil ( A )

En efecto:

Como x ∈ Nil ( A ) entonces x n=0 para algún n ∈ N

(x . a)n =x n. a n=0. an =0

Por tanto: x .a ∈ Nil ( A )

Se concluye entonces que Nil ( A ) es un ideal de A .

Definición 2.22

Nil ( A ) de A se define como la intersección de todos los ideales primos de A ; es decir:

Nil ( A )={ p / p es unideal primo de A }

Definición 2.23 (El radical de Jacobson)

J ( A) de A se define como la intersección de todos los ideales maximales de A ;es decir:

J ( A )={m/mes un ideal maximal de A }

Definición 2.24
Sea I un ideal en un anillo A , se llama radical de I ,

n
r ( I )={x ∈ A/ x ∈ I para algúnn ∈ N }

Ejemplo

r ( I ) es un ideal del anillo A

Demostración:

Veamos que r ( I ) es un ideal de A

(i) Sea x , y ∈r ( I ) por demostrar que x + y ∈ r ( I )

En efecto:

Como x , y ∈r ( I ) entonces x n ∈ I para algún n ∈ N , y m ∈ I para algún m∈ N

m +n
r
Sea r =m+ n , (x + y ) ¿ ( x+ y)
m +n

k =0 k ( )
=∑ m+ n x k y m +n−k

m +n

∑ ( m+n
k ) x k y m +n−k =( m+n ) y m+n +( m+ n) x 1 y m +n−1+ ..... ( m+n ) x m+n
0 1 m+n
k=0

se tiene y m +n ∈ I , x 1 y m +n−1 ∈ I … .. x m +n ∈ I

Entonces (x + y )r ∈ I

Por tanto: x + y ∈ r ( I )

(i) x ∈ r ( I ) y a ∈ A por demostrar que x .a ∈ r ( I )

En efecto:

Como x ∈ r ( I ) entonces x n ∈ I para algún n ∈ N

(x . a)n =x n. a n , como x n ∈ I y a n ∈ A entonces x n. a n ∈ I

 n
(x . a) ∈ I

Por tanto: x .a ∈ r ( I )

Se concluye entonces que r ( I ) es un ideal de A .

Ejemplo

Si I ={0} , entonces r ( I )=Nil ( A )

En efecto:

r ( I )={x ∈ A/ x n ∈ {0 } para algún n ∈ N }={x ∈ A/ x n=0 para algún n∈ N }

Por lo tanto

r ( I )=Nil ( A )

Ejemplo

El radical del ideal 4 Z de múltiplos enteros de 4 es 2 Z

Proposición 1.2.3

El radical de un ideal a es la intersección de todos los ideales primos que contienen a I ; es

decir

r ( I )={ p/ p es un ideal primo de A y I ⊆ p }

Definición 2.25

Sea I un ideal en un anillo A , un ideal primo p es minimal sobre I si I ⊆ p y para cualquier

otro ideal primo q tal que I ⊆ q ⊆ p se tiene que q= p.

Nota:

Se llamarán primos minimales de A , a los ideales primos minimales del ideal cero.
Proposición 1.2.3

Sea I un ideal y A un anillo tal que I ≠ A , entonces existen ideales primos minimales sobre I y

cada ideal primo que contiene a I contiene un ideal primo minimal sobre I .

En consecuencia, de este enunciado, se tiene lo siguiente:

r ( I )={ p/ p es un ideal primo minimalsobre I }

Definición 2.26 (Dimensión de Krull )

Sea A ≠ 0 un anillo. Dada una cadena finita de ideales primos:

p0 ⊆≠ p1 ⊆ ≠ … … . ⊆≠ pn

La longitud de la cadena es n (el número de eslabones). Se define la dimensión de A como el

supremo de las longitudes de todas las cadenas de ideales primos de A . Se denota por

dim ( A ) .

Definición 2.27

Si p es un ideal primo de A , se define la altura de p como el supremo de las longitudes de las

cadenas de ideales primos del siguiente tipo:

p0 ⊆≠ p1 ⊆ ≠ … … . ⊆≠ pn= p

La altura del ideal p se representa por ht ( p).

Como consecuencia,

{
dim ( A ) = ht ( p ) : p es un ideal primo de A }
Nota

1. Sea A un anillo. Si dim ( A ) =0, entonces los ideales primos son maximales.

2. Si k un cuerpo entonces dim ( A ) =0 y o es un ideal maximal.

Definición 2.28 (Anillo noetheriano)

Un anillo A , se dice que es noetheriano si verifica la condición de cadena ascendente en

ideales. Más explícitamente: Para toda cadena ascendente de ideales en A ,

I 1 ⊆ I 2 ⊆… … ... ⊆ I n ⊆I n +1 … se estaciona,

Es decir, existe un numero m tal que I m=I m+1 =I m +2 …

Teorema 2.1.2

Un anillo A es noetheriano si satisface las condiciones equivalentes:

i. A es noetheriano.

ii. Toda familia no vacía de ideales propios de A tiene un elemento máximo.

iii. Todos los ideales de A son finitamente generados.

Demostración:

(i)⇒(ii)

Se demuestra que si A es noetheriano, entonces toda familia no vacía de ideales en A tiene

elemento maximal.
Dada τ una familia de ideales en A tal que τ ≠ ∅ . Sé supone que τ no tiene elemento

maximal.

Sea I 1 ∈ τ

τ no tiene elemento maximal, entonces existe un ideal I 2 ∈ τ tal que,

I 1 ⊆≠ I 2

Puesto que I 2 no es maximal, existe un ideal a I 3 ∈ τ tal que,

I 1 ⊆≠ I 2 ⊆ ≠ I 3

Sucesivamente para cada índice j se tiene que I j no es maximal, entonces existe un I j+ 1 ∈ τ

tal que:

I 1 ⊆≠ I 2 ⊆ ≠ I 3 … … … … … ⊆≠ I j ⊆≠ I j+1 ⊆ ≠ … … … .

Luego se ha construido una cadena ascendente de ideales en A , que no es estacionaria,

lo que contradice la hipótesis puesto que A es noetheriano y toda cadena ascendente de

ideales se estaciona.

Por tanto:

τ tiene un elemento maximal.

(ii)⇒ (iii)

Sea I un ideal y se considera la familia de ideales en A definida como sigue:

τ ={J ⊆ A/ J es un ideal finitamente generado ,tal que j ⊆ I }

Como 0 ∈ τ se tiene τ ≠ ∅ , por hipótesis τ tiene elemento maximal. Sea M maximal. Se

supone que M ⊆ ≠ I y sea {x 1 , x 2 … … .., x n } un conjunto de generadores de M .Entonces::

M=¿ x 1 ,… … .. , x n>¿
Si M ⊆ ≠ I entonces existe x ∈ A , tal que x ∈ I −M

Considere el ideal I ´ =¿ x 1 , … … .. , x n >+ xA , el cual es un ideal finitamente generado que

contiene a M estrictamente, por tanto

M ⊆≠ I ´ =¿ x1 , … … .., x n >+ xA ⊆ I

Lo cual contradice la maximalidad de M . Luego M =I y es finitamente generado.

Por tanto:

Todo ideal de A es finitamente generado.

(iii)⇒(i)

Sea I 1 ⊆ I 2 ⊆ … … ... ⊆ I n ⊆ ...… una cadena ascendente de ideales en A Considere el

Conjunto,

I =¿ i=0 ¿ ∞ I i

Dado que cada I i es un ideal y poseen una relación de orden entonces I =¿ i=0 ¿ ∞ I i es un

ideal de A , entonces I es finitamente generado es decir I =¿ x 1 , … … .. , x s> ¿.

Para cada x k 1 ≤ k ≤ s existe un n k ∈ N tal que x k ∈ I n . Sea n=max ⁡{n1 , n2 , … . , ns } como los
k

I i forman una cadena ascendente de ideales, entonces los x k ∈ I n para todo 1 ≤ k ≤ s. De

donde:

¿ x 1 , … … .. , x s> ¿ I ⊆I n ⊆ I n +1 ⊆ I n+2 ...… ⊆¿ i=0 ¿ ∞ I i=I .

Luego observamos que para un cierto n la cadena ascendente de ideales se estaciona. Por

tanto A es un anillo noetheriano.

Proposición 3.4.9:
En un anillo A noetheriano cada ideal contiene una potencia de su radical.

Demostración:

j
Sea a un ideal propio en A . Por demostrar que existe j ∈ N tal que ( r ( a ) ) ⊆ a . Por hipótesis A

es un anillo noetheriano, entonces r ( a ) es un ideal finitamente generado. Sea

{x 1 , … ….. , x n }=r (a). Luego por definición del radical, para cada , x k ∈ r (a), existe un n k ∈ N

nk
tal que ( x k ) ∈ a ∀ k =1, … .. , n .

n
Consideremos el elemento m=∑ r i , entonces ( r ( a ) ) será generado por los productos
m

i=1

r r r
x 1 x 2 … .. x j con 1 ≤ j ≤ n.
1 2 n

Por la definición de m se tiene que r i ≥ ni para algún 1 ≤i ≤ k

r1 r2 rn
Por tanto, cada uno estos x 1 x 2 … ... x j , con 1 ≤ j≤ n (monomios) está en a , es decir existe

m
m∈ N tal que ( r ( a )) ⊆ a.

Proposición 3.4.9:

En un anillo A noetheriano el nilradical es nilpotente.

Demostración:

Por demostrar que existe k ∈ N tal que (Nil ( A )) k =0

En efecto

Si consideramos el ideal a={0 } de la demostración anterior sabemos que existe

j k
k ∈ N tal que ( r ( 0 ) ) ⊆{0 }. Por tanto ( r ( 0 ) ) =0. Sabemos también que Si a={0 }, entonces

r ( a ) =Nil ( A ) .
Por tanto, existe k ∈ N tal que (Nil ( A )) k =0

Definición 2.29 (Anillo artiniano)

Un anillo A verifica la condición minimal, si toda familia no vacía de ideales, ordenadas por

la inclusión, tiene elemento minimal.

Definición 2.30

Un anillo A verifica la condición de cadena descendente, si toda cadena descendente de

ideales en A es estacionaria, esto es, si:

I 1 ⊇ I 2 ⊇… . ⊇ I m ⊇ I m+1 ⊇…

Es una cadena descendente de ideales en A , entonces existe m∈ N tal que I n=I n+1=I n+2 ….

Proposición 3.4.9:

Sea A un anillo. Son equivalentes los enunciados siguientes:

i. A verifica la condición minimal.

ii. A verifica la condición de cadena descendente.

Demostración:

(i)⇒(ii)

Sea I 1 ⊇ I 2 ⊇ … . ⊇ I m ⊇ I m+1 ⊇… una cadena descendente de ideales en A .

Entonces la familia:

τ ={ I 1 , I 2 , … . , I m , I m +1 …}

tiene elemento minimal. Sea I j ∈τ minimal; por tanto, para todo h ∈ N con h ≥ j se
verifica que, I h=I jluego la cadena es estacionaria.

Por tanto:

A verifica la condición de cadena descendente.

(ii)⇒ (i)

Sea τ ≠ ∅ una familia de ideales en A , ordenada por la inclusión. Suponga que τ no tiene

elemento minimal.

Sea I 1 ∈ τ .

Como τ no tiene elemento minimal, entonces existe un ideal I 2 ∈ τ tal que,

I 1 ⊇≠ I 2.

Nuevamente I 2. no es minimal, entonces existe un ideal I 3 ∈ τ tal que

I 1 ⊇≠ I 2 ⊇ ≠ I 3 .

Sucesivamente para cada índice j se tiene que I j no es minimal, entonces existe I j+ 1 ∈ τ tal

que

I 1 ⊇≠ I 2 ⊇ ≠ I 3 … .. ⊇≠ I j−1 ⊇ ≠ I j ⊇ ≠ I j+1 ⊇≠ …

Luego se ha construido una cadena descendente de ideales en A , que no es finalmente

constante.

Por tanto:

A verifica la condición minimal.

Definición 2.31

Un anillo que verifica las condiciones equivalentes de la proposición

3.4.3, se llama artiniano.

Proposición 3.4.9:

En un anillo artiniano A , existe sólo un número finito de ideales maximales.

Demostración:

Sea A ≠ 0 un anillo de artiniano. De acuerdo con la proposición 1.2.5, existe al menos un

ideal maximal de A .

Supóngase que no existe un número finito de ideales maximales en A . Si es así, entonces

existe una sucesión {mi } de ideales maximales de A tal que mk ≠m h para k ≠ h.

Se construye el conjunto:

F={ I r ⊆ A tal que I r =¿ i=1 ¿ r mi , donde r ∈ N y los mi son ideales maximales }

Considere la cadena descendente de elementos de F .

I 1 ⊇ I 2 ⊇… . ⊇ I m ⊇ I m+1 ⊇…

Como A es un anillo artiniano, la cadena anterior es estacionaria y por tanto existe n ∈ N tal

que I n=I n+1=…. De donde:

¿ i=1 ¿ n mi =¿ i=1¿ n+ 1mi ⊆ mn+1

Del inciso (ii) de la proposición 1.2.9,

mi ⊆ mn +1 para algún 1 ≤i ≤n .

Por la maximalidad de mi.

mi=m n +1 para algún 1 ≤i ≤n .

Lo cual contradice él supuesto. Luego en un anillo artiniano, existe sólo un número finito
de ideales maximales.

Definición 2.32

Dos ideales en un anillo A se llaman comaximales ó primos relativos si a+ b=¿ 1>¿ .

Definición 2.33

Sea A un anillo, si a y b son ideales comaximales, entonces se verifica: ab=a ∩b .

Demostración:

Sabemos que el producto de ideales esta incluido en la intersección es decir ab ⊆ a∩ b . Por

otro lado, sea x ∈ a ∩b , por la hipótesis existen n ∈ a y m ∈b tales que m+n=1, entonces

x=nx +mx ∈ ab, y se verifica entonces que a ∩b ⊆ ab .

Por tanto:

ab=a ∩b

Proposición 3.4.9:

Sea A un anillo, a 1 , a2 … … .. , an ideales de A y se considera la aplicación canónica:

n
φ : A → ∏ (A /ai ) , φ ( a )=¿+a 1 , … … … . a+a n ¿ , con a ∈ A .
i=1

Si a i , a j son comaximales, cuando i≠ j , entonces

n
¿ i=1 ¿ n ai=∏ ai
i=1

Proposición 3.4.9:

En un anillo A artiniano el nilradical es el producto de los ideales maximales.

Es decir:
 k
Nil ( A )={ p / p es unideal primo de A }=∏ {m j / m j es un ideal maximal de A
j=1

Demostración:

Se tiene que A es artiniano entonces tiene un numero finito de ideales maximales. Sea

{m1 , … ..mk } el conjunto de ideales maximales distintos.

Se demuestra que para todo 1 ≤i , j≤ k con i ≠ j, m j , mi son comaximales. Supongamos que

m j , mi no son comaximales para algún i≠ j, es decir m j ,+mi ≠< 1> ¿.

m j ⊆ m j +mi ≠< 1> ¿ entonces m j =m j +mi (Por ser m j un ideal maximal)

Entonces se tiene mi ⊆ m j ≠<1>¿ , por maximalidad de mi se tiene m j =mi(→←). Por tanto,

para todo 1 ≤i , j≤ k con i ≠ j , m j , mi son comaximales. Luego de la proposición 1.2.22

k
Nil ( A )={ p / p es unideal primo de A }=∏ {m j / m j es un ideal maximal de A
j=1

Nota:

En un anillo de artiniano se verifica lo siguiente:

1. dim ( A ) =0

2. Existe un número finito de ideales primos en A .

Proposición 4.27
Un anillo artiniano tiene dimensión de Krull cero. (Es decir, en un anillo artiniano todo ideal

primo es maximal).

Demostración:

Sea p es un ideal primo en un anillo artiniano A . Entonces, B= A / p es dominio de integridad

ahora por lo demostrado anteriormente se tiene que A es un anillo artiniano entonces B

también es un anillo artiniano. Por demostrar que B= A / p es cuerpo, así el ideal p será

maximal.

En efecto:

Para cualquier elemento no nulo b ∈ B la cadena de ideales ¿ b>⊇<b2 >⊇… se estaciona por

ser B un anillo artiniano, es decir ¿ b n> ¿¿ b n+1 >¿ =…, para algún n ≥ 1.

En particular, b n=bn +1 . c para algún c ∈ B y n ≥ 1. Se tiene entonces b n=bn . b . c como B es

dominio de integridad podemos usar la propiedad cancelativa y obtener b . c=1, es decir para

todo elemento no nulo b ∈ B .es invertible y así B= A / p es un cuerpo.

por lo tanto:

pes un ideal maximal.

Corolario 4.28

En un anillo artiniano el nilradical y el radical de Jacobson son iguales.

Demostración:

Se sabe que Nil ( A )={ p / p es unideal primo de A } , como A es anillo artiniano todo ideal

primo es maximal.

Entonces

Nil ( A )={ p / p es unideal primo }= { p/ p es un ideal maximal }=J ( A)

Nil ( A )=J ( A)

Proposición 4.30.

En un anillo artiniano A su nilradical es nilpotente.

Demostración:
Se tiene que Nil ( A )={x ∈ A / x n=0 para algún n ϵ N }es un ideal de A .Sea la cadena de ideales
2
Nil ( A ) ⊇ Nil ( A ) ⊇ … como A es artiniano toda cadena descendente de ideales se estaciona

es decir Nil n ( A )=Nil n+1 ( A ) … . para algún n ≥1. Por demostrar que

Nil n ( A )=0 para algún n ϵ N , supongamos que Nil n ( A ) ≠ 0

En efecto:

Existen ideales I tales I . Nil n ( A ) ≠ 0 por ejemplo I =Nil ( A ) así la familia de tales ideales tiene

un elemento mínimo, sea J≠ 0 el elemento mínimo de esta familia. Entonces existe un a ∈ J

tal que a . Nil n ( A ) ≠ 0 . Como ¿ a> ¿ es un ideal tal que ¿ a>⊆ J por la minimalidad de J se

obtiene que ¿ a≥J . Se tiene a ∈<a> ¿ y Nil n ( A ) ⊆ A entonces a . Nil n ( A ) ⊆< a>¿ por la

minimalidad de J se tiene que a . Nil n ( A )=¿ a> ¿ por lo tanto a=ax para algún x ∈ Nil n ( A ) esto

implica a=ax=a x2=…=a x r =a.0=0

Se sigue que a=0 entonces a . Niln ( A )=0 ( →← ) .

Por lo tanto Nil n ( A )=0

Definición 2.34

Sea A un anillo y M un A−¿módulo, M es un A−¿módulo noetheriano, si toda cadena

ascendente
 N 1 ⊆N 2 ⊆ … … ... ⊆N m ⊆ N m +1 ... …

de submódulos de M , es estacionaria.

Definición 2.35

Sea A un anillo y M un A−¿módulo, M es un A−¿módulo artiniano, si toda cadena

descendente,

N 1 ⊇N 2 ⊇ … … ... ⊇N m ⊇ N m +1 ... …

de submódulos de M , es estacionaria.

Considere un caso particular de módulos sobre un cuerpo A ; es decir un k −¿ espacio

vectorial.

Proposición 4.30.

Sea A un cuerpo y M un A−¿ espacio vectorial, las siguientes propiedades son equivalentes:

i. M es un A−¿módulo noetheriano.

ii. M es un A−¿módulo artiniano.

Definición 2.36

Se dirá que una sucesión de homomorfismos de A−¿módulos

… … → M n−1 f n M n f n +1 M n+1 → …,
→ →

es exacta ℑ(f ¿ ¿ n)=ker ( f n+1 ) ¿cuando para todo n ϵ Z .

Casos concretos:

1. 0 → N i M es una sucesión exacta si y sólo si i es inyectiva.

→
 2. M π
→
M ´ ´ 0es una sucesión exacta si y sólo si π es epimorfismo.
→

3. 0 → M ´ i M π M ´ ´ → 0 es exacta si y sólo si i es inyectiva, π es sobreyectiva y

→ →

ker (π )=ℑ ( i ).

Proposición 4.30.

Sea A un anillo y

0 → M ´ f M g M ´ ´ → 0,
→ →

una sucesión exacta corta de A−¿módulos. Las propiedades siguientes son equivalentes:

i. M es un A−¿módulos (noetheriano o artiniano).

ii. M ´ y M ' ' son A−¿módulos (noetherianos o artinianos).

(atiyha pag 75 ¿

Proposición 4.30.

Sea A un anillo (noetheriano o artiniano), I un ideal de A . Entonces A/ I es un anillo

(noetheriano o artiniano)

Demostración:

Sea la siguiente sucesión de homomorfismo

0 → I i A π A /I →0
→ →

Demostraremos que la sucesión es exacta para hacer uso del teorema

En efecto:
Se sabe ker ( π )={ x /π (x )=0 } como π (x)=0 esto implica que x ∈ I entonces se tiene

ker ( π )=I , pero también se tiene i ( I )=I , luego ker ( π )=i ( I )

Por tanto

La sucesión es exacta

Por el teorema anterior como A es anillo (noetheriano o artiniano) entonces A/ I es un anillo

(noetheriano o artiniano).

Corolario 3.5

Sea A un anillo y M un A−¿módulos. Se considera una cadena finita de submódulos en M :

{0}=M 0 ⊆≠ M 1 ⊆≠ M 2 ⊆≠ … … ⊆≠ M r−1 ⊆ ≠ M r=M .

Las propiedades siguientes son equivalentes:

i. M es un A−¿módulos (noetheriano o artiniano).

ii. Cada cociente M i / M i−1, i=1 , … .., r es un A−¿módulos (noetheriano o artiniano).

Definición 2.37

Un anillo A es (noetheriano o artiniano) si lo es como A−¿módulos.

Observación:

Sea A un anillo, a ⊆ A un ideal y M un A−¿módulo tal que aM =0. M es un A/ a−¿

módulo, todos los submódulos N de M verifican a N =0 . M es (noetheriano o artiniano) como

A−¿módulo si y sólo si M es (noetheriano o artiniano) como A−¿módulo.

Dada una cadena ascendente de A−¿submódulos de M :

N 1 ⊆N 2 ⊆ … … ... ⊆N n ⊆ N n +1 ⊆ ... … . (α)

Si M es un A−¿módulo noetheriano, entonces existe n ϵ N . tal que N n=N n+1=…. Los N j

tienen estructura de A/ a−¿ submódulos; de donde la cadena en (α) se estaciona como

A/ a−¿ submódulos. Luego M es un A/ a−¿ módulos noetheriano.

III MÉTODO

3.1 Tipo de investigación

Según Arias (2016) los tipos de investigación se clasifican en Pura y aplicada, en el presente

trabajo se realizará una investigación pura, pues se desarrollará teoría ya demostrada.

El diseño de investigación es documental con método de investigación inductivo – deductivo.

3.2 Ámbito temporal y espacial

El diseño de investigación de este trabajo es documental porque el proceso es basado en

detallar, recopilar e interpretar de otra forma la teoría de Anillos de cadena.. Como resultado,

no se tendrá un ámbito temporal ni espacial.

3.3 Variables

En el presente trabajo documental las variables a desarrollar son Ideales de un anillo y la

dimensión de un anillo. (dimensión de Krull)

3.4 Población y muestra

Es una investigación documental y teórica, por ende, no se define ni población ni muestra

para el estudio

3.5 Instrumentos

Para la realización de este trabajo se utilizaron instrumentos bibliográficos, como libros,

artículos científicos, textos sobre el tema de estudio para la comprensión detallada del tema a

investigar.

3.6 Procedimientos

Para la demostración del teorema de caracterización de un anillo de Artin se denotará las

definiciones y teoremas preliminares como la de un anillo e ideal, luego se inicia

introduciendo el concepto de dimensión de Krull de un anillo, estando especialmente

interesados en aquellos anillos que tienen una dimensión de Krull igual a cero. Luego se
define la estructura de los anillos noetherianos y artinianos. Por último, se demostrar el

teorema de caracterización de un anillo de Artin y mostraremos las condiciones para que esto

ocurra.
3.7 Análisis de datos

Dado que el trabajo de investigación es documental, por ende, se analizará la información

recabada y para llegar a nuestro objetivo general que es encontrar la condición necesaria para

que un anillo noetheriano sea artiniano. Se considerará el texto de Atiyah, M. F. y

Macdonald, I. G. (1969).

Lema 3.1

Sea A un anillo en el cual algún producto finito de ideales máximos es cero. Entonces, A es

artiniano si y solo si A es noetheriano

Demostración.

Suponga que m1 m2 m3 …… … ms=0 con los mi ideales máximos no necesariamente distintos.

Considere la cadena ascendente de ideales de A :

{ 0 }=m1 m2 … .ms ⊆m1 m2 … ms−1 ⊆ … … ⊆m1 m2 ⊆m1 ⊂ A

Cada Qi=m1 m2 … m i−1 /m1 m2 … mi ,i=1 , … s es un A−¿módulo y por tanto es un A/ mi -

espacio vectorial.

Se tiene que A es un anillo noetheriano entonces A es un A -módulo noetheriano, luego cada

Qi es un A -módulo noetheriano, ahora cada Qi es un A/mi- módulo artiniano, entonces Qi

es un A -módulo artiniano, esto implica que A es un A -módulo artiniano, entonces A es un

anillo artiniano.
Teorema.

Un anillo es artiniano si y solo si es noetheriano y dimA=0 .

Demostración.

⟹ ¿Si A es un anillo artiniano por la proposición 4.27, todos los ideales primos son

maximales esto implica que dimA=0 . Por la proposición 4.29, A tiene un número finito de

ideales maximales m1 ,m2 , m3 ,… ,mn

n
Nil ( A )={ p / p es unideal primo de A }=∏ {m j / m j es un ideal maximal de A }
j=1

n
Nil ( A )=∏ m j
j=1

Como Nil ( A ) es nilpotente, entonces existe un k ϵ N tal que Nil ( A )k =0 , esto implica que

∏ m jk =m1k m2k … . mnk =⏟

{m1 m1 … m1 } {⏟
m2 m2 … m2 } … … … ⏟
{mn mn … mn }
j=1
k veces m1 k veces m2 k veces mn

¿ ( m1 m2 … . mn ) ( m1 m2 … mn ) … . … .(m1 m 2 … mn )

¿⏟
Nil ( A ) . Nil ( A ) . Nil ( A ) … … . Nil ( A )
k veces Nil ( A)

k
¿ Nil ( A ) =0

∏ m jk =0
j=1

Por tanto, se tiene una potencia de este producto m1 m2 m3 …… … mnes cero por el lema anterior

A es un anillo noetheriano.
⟸ ¿ Sea A es un anillo noetheriano, según la proposición 321 Nil ( A )=r ( 0) que es la

intersección de un número finito de ideales primos minimales p1 , p2 , p3 , … , p r como la

dimA=0 los p j(1≤ j ≤ r) son ideales maximales. Ahora sabemos que Nil ( A )es nilpotente

esto implica que existe k ∈ N tal que Nil ( A )k =0 , entonces

( p1 . p2 . p3 … p r )k ⊆ (p 1 ∩ p2 ∩ p3 ∩ … ∩ p r )k ⊆ Nil ( A )k =0

k
( p1 . p2 . p3 … p r ) =0

∏ p jk =0
j=1

Aplicando el lema anterior A es un anillo artiniano

 IV. Resultados

I. Discusión de resultados

VI. Conclusiones

 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

VII. Recomendaciones
 VIII. REFERENCIAS

Dummit D. y Foote R. (2004). Abstract Algebra. John Wiley y Sons

Herstein I. (1970). Álgebra Moderna. México. Trillas.

Atiyah, M. F. y Macdonald (1969), I. G., Introduction to commutative algebra. Addison

Wesley Publishing Company.

Felipe Zaldıvar (2020)., Introducción al álgebra conmutativa

Artin M. (1991). Álgebra. USA: Edit. Prentice-Hall

Goncalves

Arias, F. (2016). El proyecto de investigación. Episteme