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

Let $R$ be a noetherian regular domain. Suppose that $a, b \in R$, with $b \neq 0$, and consider the ring $S:=R[\frac{a}{b}]=R[X]/(bX-a)$. Is $S$ regular? If this is not the case are there some conditions on $a$ and $b$ (or on $R$) that imply regularity? For example $a=1$ is enough.

share|improve this question
1  
For example, if $R/(a,b)$ is regular, you should be okay. –  Mohan May 11 '11 at 16:31
    
If $a=b\not\in R^{\times}$, then $S$ is not regular. –  Laurent Moret-Bailly May 11 '11 at 17:38
add comment

1 Answer

If $R = k[x,y]$ and we throw in $\frac {x^2}y$, we get $k[x,y,z]/(zy-x^2)$, not regular. This shows that it's not enough to assume $a,b$ form a regular sequence. The only sufficient condition I can come up with is that $a$ be outside the square of (every/the) maximal ideal

share|improve this answer
    
Thanks! Actually I'm interested in the case where $R= \mathbb Z_p[Y]$, with $a=Y$ and $b=p^n$ for some integer $n$. I think that in this case $S$ is always regular, do you agree with me? –  Ricky May 12 '11 at 9:01
    
Yes, $\mathbb{Z}_p[Y,Z]/(Zp^n-Y)$ is regular. –  Graham Leuschke May 12 '11 at 10:44
add comment

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.