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\}$.

Knowl status:
  • Review status: reviewed
  • Last edited by John Voight on 2020-10-23 11:18:36
Referred to by:
History: (expand/hide all) Differences (show/hide)