Integral extension

From Commalg
Revision as of 16:23, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Template:Curing extension property

Definition

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.

Note that any integral extension is algebraic.

Metaproperties

Template:Transitive extension property

Any integral extension of an integral extension is an integral extension.