Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+1 voto
Sea $R$ anillo conmutativo con unidad, $(R,I)$ anillo local con ideal máximo $I$, $R$ noetheriano, $M$ un $R$-módulo tal que para cada $P$ ideal primo de $R$ distinto de $I$ la localización de $M$ sobre $P (M_P)$ es cero.

Mostrar que exite un $k$ tal que  $(I^k)M=0$

 

Tengo de sugerencia ver la descomposición primaria del anulador de $M$
por (450 puntos) en Avanzadas
editado por
¿Estás seguro de que esto se vale sin suponer que $M$ es finitamente generado?
Por el momento lo he podido hacer para $M$ finitamente generado, pero dellibro de donde lo tomé no especifica si el modulo es o no finitamente generado
Tal vez en ese libro tienen la convención de solo trabajar con finitamente generados; hay que ver los comentarios del autor en el inicio del capítulo.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM  -  Aviso de privacidad

...