show · ring.integral all knowls · up · search:

If $R\subseteq S$ are commutative rings, an element $s\in S$ is integral over $R$ if there exists $n\in\Z^+$ and $a_i\in R$ such that $$s^n+a_{n-1} s^{n-1}+\cdots + a_0 =0\,.$$

The integral closure of $R$ in $S$ is $\{s\in S\mid s \text{ is integral over } R\}$.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by John Voight on 2020-10-23 11:18:36
Referred to by:
History:
Differences