Integral extension
From Commalg
Template:Curing extension property
Definition
Let be commutative unital rings. We say that
is an integral extension of
if, for any element
, there exists a monic polynomial
such that
.
Note that any integral extension is algebraic.
Metaproperties
Template:Transitive extension property
Any integral extension of an integral extension is an integral extension.