2
$\begingroup$

I know that one can compute Fitting ideals of a finitely presented module (over a commutative ring with identity). However, are they the only invariants of such a module?

In other words, my question is: if two finitely presented modules have the same Fitting ideals, then are they isomorphic? Obviously the answer is yes if the base ring is a PID. If the answer is no, how is a strategy to prove that two f.p. modules with the same Fitting ideals are not isomorphic?

Unfortunately, base change is not useful in this problem.

1 Answers 1

3

The answer to your question is no:
The Fitting ideals of a finitely presented module $M$ over a ring $A$ do no not determine the module.

Indeed suppose the ring $A$ is connected (no idempotents $\neq0,1$).
Then $all$ finitely presented projective modules $M$ of rank $r$ have the same sequence of Fitting modules, namely
$F^0(M)=F^1(M)=... =F^{r-1} (M)=0\subsetneq F^r(M)=F^{r+1}(M)=...=A $

You can find the proof in Eisenbud's Commutative Algebra, Proposition 20.8, which Google books is kind enough to show you in its entirety, proof included.

  • 1
    Dear @Andrea, your question was not stupid at all. On the contrary: although it is quite natural, I have never seen it mentioned in a book. Moreover it is definitely not trivial: I know no simpler way to answer it than to invoke the beautiful but somewhat unexpected theorem mentioned in the answer. ( Needless to say, I have upvoted it)2012-01-07