Teorema de la base de Hilbert

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 01:26 28 may 2014 por 187.205.177.25 (discusión). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.

En Matemáticas, el teorema de la base de Hilbert o teorema fundamental de Hilbert toma su nombre de David Hilbert que fue el primero en probarlo en 1888.

Sea un anillo conmutativo con 1 (puede ser 1=0, entonces ). Se dice que es noetheriano si todo ideal de está finitamente generado. Es fácil probar que son equivalentes:

  1. es noetheriano.
  2. Todo conjunto no vacío de ideales de admite un elemento maximal
  3. cumple la condición de cadena ascendente (ACC o CCA):

Si

es una cadena de ideales, entonces existe tal que

.

Teorema fundamental de Hilbert

Si es noetheriano, entonces es noetheriano.