|
2 | added "commutative" to ring | ||
|
Mnemonic: $\quad M=IM \Rightarrow m=im$ The version of Nakayama described: If $I$ is an arbitrary ideal of an arbitrary commutative ring $A$ and if a finitely generated module $M$ satisfies $M=IM$, then there exists $i\in I$ such that for all $m\in M$ we have $m=im$. |
||||
|
|
1 |
|
||
|
Mnemonic: $\quad M=IM \Rightarrow m=im$ The version of Nakayama described: If $I$ is an arbitrary ideal of an arbitrary ring $A$ and if a finitely generated module $M$ satisfies $M=IM$, then there exists $i\in I$ such that for all $m\in M$ we have $m=im$. |
||||
