Integral morphism

From Commalg
Jump to: navigation, search

This article defines a property that can be evaluated for a homomorphism of commutative unital rings

Definition

Suppose R and S are commutative unital rings and f:R \to S is a homomorphism of commutative unital rings. Then, we say that f is an integral morphism if S is an integral extension of the image of R in S. Equivalently, we say that f is an integral morphism if every element of S satisfies a monic polynomial with coefficients in R.

Relation with other properties

Stronger properties