Let A : local ring
m : maximal ideal of A
E : finitely generated A-module
F : submodule
If E = F + mE, then F = E.
Let A : local ring
m : maximal ideal of A
E : finitely generated A-module
F : submodule
If E = F + mE, then F = E.