The Stacks project

Lemma 15.47.3. Let $R$ be a regular ring. Let $f \in R$. Assume there exists a derivation $D : R \to R$ such that $D(f)$ is a unit of $R$. Then $R[z]/(z^ n - f)$ is regular for any integer $n \geq 1$. More generally, $R[z]/(p(z) - f)$ is regular for any $p \in \mathbf{Z}[z]$.

Proof. By Algebra, Lemma 10.157.10 we see that $R[z]$ is a regular ring. Apply Lemma 15.47.2 to the extension of $D$ to $R[z]$ which maps $z$ to zero. This works because $D$ annihilates any polynomial with integer coefficients and sends $f$ to a unit. $\square$


Comments (7)

Comment #3525 by Dario Weißmann on

Doesn't this work for any regular ring and any polynomial of the form where is regarded as a polynomial in ?

A reference to the fact that a polynomial algebra over a regular ring is regular would be nice. I can't find it in the project so here is what I came up with (compiles fine for me but not as a comment?): Let be a regular ring. To show that is a regular ring it suffices to show that the localization at all maximal ideals of are regular local rings. Let be a maximal ideal of . Write . Then and we can reduce to is a regular local ring, is a maximal ideal of lying over . Then is a field where denotes the image of in . Let be a generator of and be a lift. Further let be a regular sequence in generating the maximal ideal. Then defines a regular sequence in generating .

Comment #3526 by Dario Weißmann on

OK, so it only didn't compile in the preview?

Comment #3529 by on

The preview and the final render are dealt with by different pieces of the software, but of course they should be as close together as possible. I'll see what I can do to improve this in the future, thanks for telling me about it.

Comment #3530 by on

Any smooth algebra over a regular ring is regular, see 10.157.10. The proof is essentially what you said in the case of polynomial rings.

Unfortunately, I don't understand your first comment. Can you clarify?

Comment #3531 by Dario Weißmann on

So the proof works by lemma 07PF for any polynomial mapping to a unit in R[z] under some derivation. We have by definition of . By linearity the same is true for any polynomial with integer coefficients regarded as a polynomial in via . So is a unit in .

We didn't need the -algebra structure and it holds for a larger class of polynomials.

Thank you for the reference!

Comment #3534 by on

OK, I understand now. Thank you. I will change the lemma when I next go through the comments.


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07PG. Beware of the difference between the letter 'O' and the digit '0'.