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
-
-
-