Forcing algebra/Relation to closure operations/description


Let be a commutative ring and let and be elements in . Then the -algebra

is called the forcing algebra of these elements (or these data).

This algebra was introduced by Hochster. The forcing algebra forces that belongs to the extended ideal . It yields a scheme morphism

We are interested in the relationship:

How is related to ?

Does belong to certain closure operations of ? Properties of .

Examples