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$