MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
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

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|cite|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

Your Answer


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.