Los anillos son noetherianos conmutativos (y locales si es necesario). Los módulos no son necesariamente generados finitamente.
Hay varias caracterizaciones para que un módulo sea artiniano. pero quiero saber si hay una caracterización para los módulos artinianos $M$ basado en $\operatorname{Supp}M$ ?
Puedo demostrar que si $M$ es artiniano, entonces todos los elementos de $\operatorname{Supp} M$ son máximos (y $|\operatorname{Supp} M|< \infty$ ). ¿Es cierto lo contrario?
Gracias, señor.