Assume $R$ is a noetherian integral domain (and assume $R \neq k[x_1,\ldots,x_n]$), $I$ is a non-zero ideal of $R$ ($I$ is finitely generated, since $R$ is noetherian), and $I$ is not necessarily principal (if $I$ is principal, then it is free, hence projective).
I have two questions:
(1) When $I$ is a projective $R$-module? (since $R$ is noetherian we have: $I$ is $R$-projective iff $I$ is $R$-flat).
- Of course, I can apply a known criterion for flatness of an $R$-module $M$: $M$ is $R$-flat iff $M \otimes_R J \cong JM$ for every ideal $J$ of $R$. Hence: $I$ is $R$-flat iff $I \otimes_R J \cong JI$.
However, I am not sure how can I apply this criterion in practice, so any other suggestions are welcomed.
- I think in my case, projectivity is equivalent to invertibility of $I$, but again I do not see how showing invertibility in a specific case is easier than showing projectivity.
(2) If, in addition, $I$ is known to be a prime ideal, is there something more precise that can be said about when $I$ is $R$-projective?
A relevant question may be: Is every proper nontrivial ideal in a Noetherian ring not flat?; especially the answer of user18119 which says that an ideal $I$ of a noetherian (commutative) ring is flat iff it is locally free of (local) rank $\leq 1$.
EDIT: Another relevant question is: A module is projective iff it has a projective basis