5
$\begingroup$

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.

$\endgroup$
2
  • 1
    $\begingroup$ For example, if $R/(a,b)$ is regular, you should be okay. $\endgroup$
    – Mohan
    May 11, 2011 at 16:31
  • $\begingroup$ If $a=b\not\in R^{\times}$, then $S$ is not regular. $\endgroup$ May 11, 2011 at 17:38

1 Answer 1

3
$\begingroup$

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

$\endgroup$
2
  • $\begingroup$ 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? $\endgroup$
    – Ricky
    May 12, 2011 at 9:01
  • $\begingroup$ Yes, $\mathbb{Z}_p[Y,Z]/(Zp^n-Y)$ is regular. $\endgroup$ May 12, 2011 at 10:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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