Lemma 10.147.1. Let $R$ be a ring. Let $f \in R[x]$ be a monic polynomial. Let $R \to B$ be a ring map. If $h \in B[x]/(f)$ is integral over $R$, then the element $f' h$ can be written as $f'h = \sum _ i b_ i x^ i$ with $b_ i \in B$ integral over $R$.

**Proof.**
Say $h^ e + r_1 h^{e - 1} + \ldots + r_ e = 0$ in the ring $B[x]/(f)$ with $r_ i \in R$. There exists a finite free ring extension $B \subset B'$ such that $f = (x - \alpha _1) \ldots (x - \alpha _ d)$ for some $\alpha _ i \in B'$, see Lemma 10.136.14. Note that each $\alpha _ i$ is integral over $R$. We may represent $h = h_0 + h_1 x + \ldots + h_{d - 1} x^{d - 1}$ with $h_ i \in B$. Then it is a universal fact that

as elements of $B'[x]/(f)$. You prove this by evaluating both sides at the points $\alpha _ i$ over the ring $B_{univ} = \mathbf{Z}[\alpha _ i, h_ j]$ (some details omitted). By our assumption that $h$ satisfies $h^ e + r_1 h^{e - 1} + \ldots + r_ e = 0$ in the ring $B[x]/(f)$ we see that

in $B'$. Hence $h(\alpha _ i)$ is integral over $R$. Using the formula above we see that $f'h \equiv \sum _{j = 0, \ldots , d - 1} b'_ j x^ j$ in $B'[x]/(f)$ with $b'_ j \in B'$ integral over $R$. However, since $f' h \in B[x]/(f)$ and since $1, x, \ldots , x^{d - 1}$ is a $B'$-basis for $B'[x]/(f)$ we see that $b'_ j \in B$ as desired. $\square$

## 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.

## Comments (2)

Comment #7688 by nkym on

Comment #7958 by Stacks Project on

There are also: