Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have a weird vision that comes from reading a paper by Raphael and Desrochers..

Let $R$ be commutative unitary semiprime ring such that for any integral and essential element $a$ of $R$, $R[a]$ is a projective $R$-module. I conjecture that for any minimal prime ideal $P$ of $R$, one has $R/P$ is an integrally closed domain.

Does anyone have a counter-example to this?

PS: In case someone is unfamiliar.. $a$ is an essential element of $R$ iff $a R[a] \cap R \ne 0$.

share|improve this question
    
I am a little confused by what you mean by an integral element of R. Do you mean an element of the total quotient ring satisfying a monic polynomial with coefficients in R or something along those lines? Also semiprime in this situation really just means reduced right? –  Greg Stevenson Nov 6 '09 at 0:10
    
semiprime in this situation just means reduced, yes. An integral element need not be an element of the total quotient ring, if this is too confusing you may as well think of an integral element to be an element "a" belonging to an over-ring of R such that R[a] is a finitely generated R-module... I don't even know the answer even if "a" were in the total quotient ring, so if that helps lets try to first suppose 'a' is in the total quotient ring. All elements of the total quotient are essential elements, so we may start with that. –  Jose Capco Nov 6 '09 at 0:53
    
Im thinking in the lines of a counter-example.. one that is as simple as possible.. does Z[T√2,T] satisfy our property? this integral domain is not integrally closed and its total quotient is Q(√2,T) .. but does this ring satsify this property for projectivity? –  Jose Capco Nov 6 '09 at 1:03
add comment

1 Answer 1

Would it be particularly surprising if this were true? If I have understood what you mean correctly (so that since you want to consider integrality in full generality a version of essentialness relative to the image of $R$ is required) I believe I have a proof:

First observe that we can reduce to $R$ local. Indeed one can check normality locally and this preserves minimality of primes (when they survive the localization) and so we can assume $R$ is a local reduced commutative ring with unit.

Now let $P$ be a minimal prime ideal in $R$ and consider the composite $R \rightarrow R/P \rightarrow k(P)$ and suppose that $b$ is an integral element in $k(P)$ over $R/P$ and hence over $R$. As in Jose's comment we know that $b$ is essential over $R/P$ and hence over $R$ (I don't see how to make sense of essential for non-injective morphisms otherwise, maybe I am being dense here). So by hypothesis $R/P[b]$ is a finitely generated projective $R$-module and so is free since $R$ is local. But $\operatorname{Ann}(R/P[b])$ is clearly at least $P$ so $P=0$ (since $R$ is reduced) and $R$ is in fact a domain.

I next claim that in fact $R$ is integrally closed in its field of fractions $K(R)$. To see this lets denote by $S$ the integral closure of $R$ in $K(R)$. Then $S = \operatorname{colim} R[\alpha_1,\ldots,\alpha_n]$ where the $\alpha_i$ vary over all the integral elements. By hypothesis each of the modules occurring in the colimit is free so $S$ is flat over $R$. In particular, it is flat, finite, and $R \subseteq S$ so that it is faithfully flat over $R$. It now follows that $S=R$ by the following standard argument.

Suppose $a = \frac{x}{y}$ is in $S$, where $x,y$ are in $R$. Then $x$ is in $yS$ and $yS \cap R = yR$ by faithful flatness (we prove this below) so that $y$ divides $x$ in $R$ also. In particular $a$ is in $R$.

Proof that $yS \cap R = yR$: since $S$ is faithfully flat over $R$ we get by changing base a faithfully flat map for any ideal $I$, $R/I \rightarrow S\otimes_R R/I \cong S/IS$ which is injective (since faitfully flat maps are always injective - this follows by using the fact that the kernel of the functor on module categories given by base changing is trivial). In particular we have that $IS \cap R = I$.

In fact I think this gives something stronger. We have shown that the localization at each maximal ideal is a normal domain so in particular $R$ is normal. If $R$ is noetherian it follows that it is a product of finitely many normal domains.

share|improve this answer
    
I am about to digest your proof. But I thought to give a comment first. You wrote in the beginning that b is essential over R.. b is supposed to be belonging to an over-ring of R. And as far as I know essentiality requires injectivity... I thought it was clear that b is supposed to belong to an over-ring of R. You could mean one element that belongs to the product of factor over minimal primes whose projection to R/P is b, but which of this element preserves essentiality and integrality for both R and R/P? more comments later –  Jose Capco Nov 7 '09 at 10:07
    
It is probably not quite what you are after then. I guess it is reasonable to restrict the notion of essential to injective morphisms in which case a different argument would be required or a counterexample might exist (I interpreted over-ring as algebra, requiring injectivity did occur to me but I figured essential should make sense in the same generality as integral). –  Greg Stevenson Nov 7 '09 at 10:30
    
Nevertheless, your proof does use some arguments that is interesting to me (like using flatness of S to argue that yS∩R = yR). I think it is providing me something to work on. Regarding essentiality, its a general term in Category theory: Let C be a categry and then a monomorphim a-->b (here we see injectivity!) is said to be essential iff for any morphism b-->c such that a-->b-->c is a monomorphism one has b-->c is a monomorphism. For Crings this is equivalent to saying that any non-zero ideal of the overring, from a commutative ring extension of R, restricts to a nonzero ideal of R. –  Jose Capco Nov 7 '09 at 12:37
    
ok.. I'm a bit lost here. How did you used flatness to show that yS∩R = yR .. I know yS=yR@S but who does this show yR=yS∩R?? If your proof is correct, then the conjecture would at least hold for an integral domain. I hope the question isn't so silly. –  Jose Capco Nov 7 '09 at 17:31
    
I'll edit in that part of the argument - I was a bit slack saying how this works one really uses the fact that S over R is actually faithfully flat not just flat –  Greg Stevenson Nov 7 '09 at 22:23
show 5 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.