El teorema de la base de Hilbert dice que si A es un anillo noetheriano entonces A[x] también lo es.
(ejercicio 23 de la práctica 5)
En el ejercicio 24.- c) de la práctica 5 dice:
Sean M un A-módulo y f un endomorfismo de M en M. Si M es noetheriano y f es un epimorfismo, f es un automorfismo.
Cuando probé este último ejercicio me quedé pensando en un ejemplo de un epimorfismo que no sea automorfismo. Quimey me sugirió el operador D (derivar) en k[X]. Claramente D es un epimorfismo (cualquier polinomio P es el derivado de una de sus primitivas), pero no es monomorfismo porque manda todas las constantes al cero.
Acá viene la duda: Como D no es automorfismo pero sí es epimorfismo, entonces (por el ejercicio 24.-c) ) debería fallar que k[X] es noetheriano, pero esto contradice el teorema de Hilbert.
Alguien puede ayudarme, ¿qué es lo que estoy razonando mal para llegar a esta contradicción?
Saludos,
Roberto.