# Integral extension

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Let $R \le S$ be commutative unital rings. We say that $S$ is an integral extension of $R$ if, for any element $a \in S$, there exists a monic polynomial $p(x) \in R[x]$ such that $p(a) = 0$.