Family of generators of a module over a local ring [duplicate]

Solution 1:

Because $E$ and $F$ are finite free module, and $E/\mathfrak{m}E\cong F/\mathfrak{m}F$, where $\mathfrak{m}$ is the maximal ideal of $A$. So $E$ and $F$ have the same rank, say $n$. And by Nakayama theorem $E\to F$ is surjective. Hence $A^n\cong E\to F\cong A^n$ is surjective.

You need to show a surjective morphism between $A^n$ and $A^n$ is indeed bijective.

One easy way to see this is using linear algebra. Say $\phi$ is the surjective from $A^n\to A^n$, then we can find $\psi: A^n\to A^n$ such that $\phi\psi=1$, by theory of adjoint matrix or something like that (that is if a matrix has right inverse it itself is inverse), so $\psi \phi=1$.

Another way to see this is use Nakayama theorem again, by Nakayama's lemma, we can in fact show that a surjective endormorphism of an finite module $M$ is indeed bijective! (cf, Matsumura, commutative ring, ch 1,theorem ?).