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