Módulo noetheriano
En álgebra, un módulo noetheriano es un módulo que satisface la condición de la cadena ascendente en sus submódulos, los cuales forman un orden parcial por inclusiones. Equivalentemente, los submódulos de un módulo noetheriano son finitamente generados, obviamente incluido él mismo.

El primer matemático que trabajó con las propiedades de submódulos finitamente generados fue el matemático alemán David Hilbert. A él se debe el conocido teorema de la base que dice que cualquier ideal de un anillo polinomial sobre un campo arbitrario es finitamente generado. Sin embargo, la propiedad es atribuida a la matemática alemana Emmy Noether, quien fue la primera en descubrir la importancia de la misma.

Caracterización 

Con el uso del axioma de elección, un módulo  es noetheriano si satisface las siguientes condiciones equivalentes:
 satisfice la condición de la cadena ascendente en sus submódulos. 
Cualquier conjunto  no vacío de submódulos de  tiene un elemento máximo, ordenados bajo inclusión. Es decir,  contiene un submódulo  tal que para todo elemento  de  que contenga  tenemos que .
Todos los submódulos de  son finitamente generados.

Ejemplos 

Todo anillo  noetheriano es un módulo noetheriano sobre él mismo. Por ejemplo, los números enteros considerados como un -módulo. En general si  es un anillo noetheriano y  es un módulo finitamente generado, entonces  es noetheriano. 
Si  es el anillo de las matrices sobre un campo , y  es el conjunto de los vectores columna sobre , entonces  es un -módulo con la multiplicación de matrices. Este módulo es noetheriano. 
Todo módulo con un número finito de elementos es noetheriano. 
Todo módulo derecho finitamente generado sobre un anillo noetheriano es un módulo noetheriano. En particular, el teorema de la base de Hilbert nos dice que el anillo de polinomios de -variables con coeficientes en un anillo noetheriano es un módulo noetheriano sobre el anillo.

Propiedades 
Los módulos noetherianos se comportan bien en sucesiones exactas cortas, es decir dada una sucesión exacta corta de -módulos
 
entonces  es noetheriano si y solamente si  y  son noetherianos. 

La propiedad anterior no es cierta en general para módulos finitamente generados. Por ejemplo, un submódulo de un módulo finitamente generado puede no ser finitamente generado. Para ver esto consideremos el anillo  de los polinomios con infinitas variables sobre los números racionales,  es un módulo finitamente generado sobre sí mismo; sin embargo el ideal  no es finitamente generado sobre .

Referencias

Bibliografía
 F.W. Anderson y K.R. Fuller: Rings and Categories of Modules, Graduate Texts in Mathematics, Vol. 13, 2.ª Ed., Springer-Verlag, New York, 1992
 S. Lang: Algebra, Graduate Texts in Mathematics, Vol. 211, 3.ª Ed., Springer-Verlag, New York, 2002

Aritmética modular
Teoría de anillos
Teoría de los módulos
Álgebra conmutativa
En álgebra , un módulo noetheriano es un módulo que satisface la condición de la cadena ascendente en sus submódulos , los cuales forman un orden parcial por inclusiones . Equivalentemente , los submódulos de un módulo noetheriano son finitamente generados , obviamente incluido él mismo . El primer matemático que trabajó con las propiedades de submódulos finitamente generados fue el matemático alemán David Hilbert . A él se debe el conocido teorema de la base que dice que cualquier ideal de un anillo polinomial sobre un campo arbitrario es finitamente generado . Sin embargo , la propiedad es atribuida a la matemática alemana Emmy Noether , quien fue la primera en descubrir la importancia de la misma . Caracterización Con el uso del axioma de elección , un módulo es noetheriano si satisface las siguientes condiciones equivalentes : satisfice la condición de la cadena ascendente en sus submódulos . Cualquier conjunto no vacío de submódulos de tiene un elemento máximo , ordenados bajo inclusión . Es decir , contiene un submódulo tal que para todo elemento de que contenga tenemos que \ . Todos los submódulos de son finitamente generados . Ejemplos Todo anillo noetheriano es un módulo noetheriano sobre él mismo . Por ejemplo , los números enteros considerados como un -módulo . En general si es un anillo noetheriano y es un módulo finitamente generado , entonces es noetheriano . Si es el anillo de las matrices sobre un campo , y es el conjunto de los vectores columna sobre , entonces es un -módulo con la multiplicación de matrices . Este módulo es noetheriano . Todo módulo con un número finito de elementos es noetheriano . Todo módulo derecho finitamente generado sobre un anillo noetheriano es un módulo noetheriano . En particular , el teorema de la base de Hilbert nos dice que el anillo de polinomios de -variables con coeficientes en un anillo noetheriano es un módulo noetheriano sobre el anillo . Propiedades Los módulos noetherianos se comportan bien en sucesiones exactas cortas , es decir dada una sucesión exacta corta de -módulos entonces es noetheriano si y solamente si y son noetherianos . La propiedad anterior no es cierta en general para módulos finitamente generados . Por ejemplo , un submódulo de un módulo finitamente generado puede no ser finitamente generado . Para ver esto consideremos el anillo de los polinomios con infinitas variables sobre los números racionales , es un módulo finitamente generado sobre sí mismo ; sin embargo el ideal no es finitamente generado sobre \ . Referencias Bibliografía F.W. Anderson y K.R. Fuller : Rings and Categories of Modules , Graduate Texts in Mathematics , Vol.ª Ed . , Springer-Verlag , New York , S. Lang : Algebra , Graduate Texts in Mathematics , Vol.ª Ed . , Springer-Verlag , New York , Aritmética modular Teoría de anillos Teoría de los módulos Álgebra conmutativa