Let $R$ be a commutative ring and let $M,N$ be two finitely generated projective $R$modules which have equal rank (not necessarily constant). What kind of general results are there concerning the question of determining whether $M$ and $N$ are isomorphic or not? This is certainly a nontrivial question (e.g., consider the Picard group of a ring = isomorphism classes of f.g. projective modules of constant rank 1), but I'm looking for techniques for proving the (non)existence of isomorphisms for certain modules of the same rank.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $R$ is noetherian of dimension d, then we have: The Bass Cancellation Theorem: If $M$ has rank $\ge d+1$ after localizing at any prime, and if there exists a finitely generated projective module $Q$ such that $Q\oplus M\approx Q\oplus N$, then $M\approx N$. (You probably don't even need to assume $N$ projective for this, as long as you know that $M$ is.) Plumstead's Theorem: If $R=A[t]$ for some noetherian ring $A$, then you can replace $d+1$ with $d$. In the nonnoetherian case you can work with jdimension instead of dimension (the jdimension of $R$ is the length of a maximal chain of ideals, each of which is an intersection of maximal ideals). 

