viernes, 24 de febrero de 2017

Epónimos relacionados con las matemáticas

 anillo  es Noetheriano por la izquierda si sus ideales por la izquierda satisfacen la condición de cadena ascendente. Diremos que un anillo es noetheriano si es noetheriano por la izquierda y por la derecha. En los anillos conmutativos no se utiliza esta distinción, pues noetheriano por un lado implica noetheriano por el otro.
Los anillos Noetherianos son nombrados así en honor a Amalie Emmy Noether.
Uno de los primeros resultados que puede demostrarse es que un anillo es noetheriano por la izquierda si, y sólo si, todo ideal por la izquierda del anillo es finitamente generado. Otra condición equivalente a las anteriores es que todo conjunto no vacío de ideales del anillo tiene un ideal maximal. También es conocido que si  es un anillo noetheriano, entonces  es un anillo noetheriano (teorema de la base de Hilbert)

Importancia

El que un anillo sea noetheriano implica de alguna manera ciertas condiciones de finitud. Así, por ejemplo, en un anillo noetheriano todo elemento se descompone en un producto finito de elementos irreducibles, aunque en general esta descomposición no será única. Para que un dominio noetheriano sea dominio de factorización única debe de verificarse que todo elemento irreducible del anillo sea primo.
En anillos noetherianos conmutativos también implica que de la intersección de una familia cualquiera de ideales (infinita o no), puede extraerse un subconjunto finito que tenga esa misma intersección. Y todavía más, todo ideal de un anillo noetheriano conmutativo puede expresarse de forma única como intersección finita de ideales primarios.
Otro punto importante es que si tenemos una familia cualquiera de ecuaciones polinómicas sobre un anillo noetheriano conmutativo, entonces podemos prescindir de todas salvo un número finito para obtener un sistema que tenga la misma solución que el sistema inicial. También juega un papel importante en el "buen comportamiento" de la dimensión de Krull. Estos resultados son fundamentales en geometría algebraica y de ahí la importancia de estos anillos en esta rama de las matemáticas.

Ejemplos

a) El conjunto de los números enteros 
b) Los dominios de ideales principales
c) Los dominios de Dedekind.
d) Cualquier cuerpo y en particular  y 
e) Los anillos de polinomios sobre un anillo noetheriano (en particular, sobre un cuerpo)

Proposiciones

a) Si R es un anillo noetheriano e I un ideal bilátero, entonces R/I es noetheriano.
b) Todo anillo artiniano por la izquierda es noetheriano por la izquierda (igual por la derecha)





Caracterización de anillos noetherianos

Estudiamos la caracterización de los anillos noetherianos vía la condición de cadena ascendente, y damos un ejemplo de aplicación.
Enunciado
(a)   Sea R un anillo conmutativo y unitario. Se dice que R cumple la condición de cadena ascendente sii para toda cadena In de ideales de R
I1I2I3InIn+1
existe un n0 natural tal que In=In0 para todo nn0 (i.e. la cadena se estabiliza). Demostrar la siguiente caracterización
R es noetherianoR cumple la condición de cadena ascendente.
(b)   Aplicación: demostrar que el anillo C(R) de las funciones continuas de R en R no es noetheriano.
Solución
(a)   ) Recordamos que un anillo conmutativo y unitario R se dice que es noetheriano sii todo ideal de R está finitamente generado. Demostremos la caracterización propuesta. Sea I1I2I3 una cadena ascendente de ideales de R. Es inmediato comprobar que I=j=1nIj es ideal de R. Por hipótesis R está finitamente generado, por tanto existen elementos g1,,gm de R tales que I=g1,,gm. Para 1jm se verifica gjIkj para algún kj natural. Si
n0=max{kj:1jm},
entonces g1,,gmIn0 ya que IkjIn0. Entonces, para todo nn0 se verifica
I=g1,,gmIn0InI,
lo cual implica que In0=In si nn0.
) Por reducción al absurdo. Si R no es noetheriano existe un ideal J de R no está finitamente generado. Elijamos 0f1J y sea I1=f1. Como J no está finitamente generado, I1J y por tanto existe f2JI1 tal que I2=f1,f2J. Repitiendo el proceso obtenemos una cadena de ideales

Caracterización de anillos noetherianos

Estudiamos la caracterización de los anillos noetherianos vía la condición de cadena ascendente, y damos un ejemplo de aplicación.
Enunciado
(a)   Sea R un anillo conmutativo y unitario. Se dice que R cumple la condición de cadena ascendente sii para toda cadena In de ideales de R
I1I2I3InIn+1
existe un n0 natural tal que In=In0 para todo nn0 (i.e. la cadena se estabiliza). Demostrar la siguiente caracterización
R es noetherianoR cumple la condición de cadena ascendente.
(b)   Aplicación: demostrar que el anillo C(R) de las funciones continuas de R en R no es noetheriano.
Solución
(a)   ) Recordamos que un anillo conmutativo y unitario R se dice que es noetheriano sii todo ideal de R está finitamente generado. Demostremos la caracterización propuesta. Sea I1I2I3 una cadena ascendente de ideales de R. Es inmediato comprobar que I=j=1nIj es ideal de R. Por hipótesis R está finitamente generado, por tanto existen elementos g1,,gm de R tales que I=g1,,gm. Para 1jm se verifica gjIkj para algún kj natural. Si
n0=max{kj:1jm},
entonces g1,,gmIn0 ya que IkjIn0. Entonces, para todo nn0 se verifica
I=g1,,gmIn0InI,
lo cual implica que In0=In si nn0.
) Por reducción al absurdo. Si R no es noetheriano existe un ideal J de R no está finitamente generado. Elijamos 0f1J y sea I1=f1. Como J no está finitamente generado, I1J y por tanto existe f2JI1 tal que I2=f1,f2J. Repitiendo el proceso obtenemos una cadena de ideales

No hay comentarios:

Publicar un comentario