1
$\begingroup$

Are f.g. projective modules (of constant rank) free over the ring $A$ which is the total quotient ring of a reduced non-Noetherian commutative ring. Note that dimension of $A$ need not be $0$.

$\endgroup$
10
  • 1
    $\begingroup$ If you had a counterexample for a given ring $A$, you could describe the module and demonstrate its projectiveness using only finitely many elements of $A$. This would lead to a counterexample for a finitely generated, therefore Noetherian, subring. $\endgroup$ Feb 15, 2013 at 12:54
  • 2
    $\begingroup$ @Martin: Why does Tom's comment answer the question? $\endgroup$ Feb 15, 2013 at 13:07
  • 3
    $\begingroup$ Sure, but that still doesn't work. That is, if $A$ is non-Noetherian and its own total quotient ring, it does not follow that a finitely generated subring is also its own total quotient ring. $\endgroup$ Feb 15, 2013 at 14:40
  • 3
    $\begingroup$ Fred's comment is appropriate, as Neil notes. More specifically, an inclusion between rings doesn't necessarily extend to a ring homomorphism between total quotient rings, since a nonzero element of a subring that isn't a zero-divisor there may be a zero-divisor in a bigger ring. For example, the inclusion $k[x] \subset k[x,y]/(xy)$ doesn't extend to the total quotient rings as a ring homomorphism (because the composite map $k[x] \hookrightarrow k[x,y]/(xy) \twoheadrightarrow k[y]$ kills $x$ and thus doesn't extend to a map of rings $k(x) \rightarrow k(y)$). $\endgroup$
    – user30379
    Feb 15, 2013 at 14:46
  • 3
    $\begingroup$ Fred: one can descend the module to a f.g. module $M_n$ over some $k[x_1,..,x_n]$. As $k[x_1,..,x_n,...]=k[x_1,...,x_n][x_{n+1},...]$ is faithfully flat over $ k[x_1,..,x_n]$, $M_n$ is flat hence free. So the answer is yes (any number of indeterminates). $\endgroup$
    – Qing Liu
    Feb 17, 2013 at 17:55

2 Answers 2

2
$\begingroup$

I've posted an answer here.

$\endgroup$
2
  • $\begingroup$ It is an excercise in Lam's book (see YACP's reference) that any ring $S$ can be embedded in a ring $R$ with $R=Q(R)$, $nil(S)=nil(R)$ and $S$ is a retract of $R$. This answers my question in NEGATIVE. I would like to know if the dimension of $R$ in Lam's exercise can be finite. $\endgroup$
    – manoj
    Feb 21, 2013 at 12:31
  • $\begingroup$ I guess dim $R$ is finite. Since $R$ is union of $S=S_0\subset S_1\subset S_2\ldots $ and dimension of $S_i$ is max (1,dim $S_{i-1}$). $\endgroup$
    – manoj
    Mar 1, 2013 at 5:35
0
$\begingroup$

I can give an example of ring $A$ which is reduced and every non-unit is a zero-divisor. It may be helpful to find the answer over $A$. Let $R=k[x_1,x_2,...]$ be polynomial ring (in infinitely many variables) over a field; let $m =(x_1,x_2,...)$ be a maximal ideal. Fix an integer $n>0$ and define $I$ to be the ideal generated by products $x_l x_j$ with $l$, $j$ distinct and $l> n$. Define $A= R_m /I$. Then $ A$ is reduced, total quotient field of $A$ is $A$, and dimension of $A$ is $n$.

The dimension of a reduced commutative Noetherian ring having no non-zerodivisor is $0$. Hence Tom's comment will not work in general, as commented by others.

$\endgroup$
4
  • 2
    $\begingroup$ This ring is local, so projective=free. $\endgroup$ Feb 16, 2013 at 15:07
  • $\begingroup$ manoj's example comes from that of QiL given here: math.stackexchange.com/questions/294384/… $\endgroup$
    – user26857
    Feb 16, 2013 at 15:19
  • $\begingroup$ Well, I guess one could always look at $B=R/I$ and then let $C$ be the total ring of quotients of $B$. Does $C=A$? I kinda think so, but if not, then there's no reason to think $C$ is local, and it could theoretically be a useful example in this context. However, in general it can be hard to find non-free f.g. projective modules (e.g. Serre's conjecture=Quillen-Suslin theorem). $\endgroup$ Feb 16, 2013 at 18:11
  • $\begingroup$ Thanks Laurent. I did not realize that $A$ is local. Further, $A=C$, since any element of $B-(x_1,...)$ has non-zero constant and is not a zerodivisor in $B$, hence a unit in $C$. $\endgroup$
    – manoj
    Feb 19, 2013 at 9:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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