Jump to content

Forcing algebra/Regular ring/Roberts/Example

From Wikiversity

Let K be a field of characteristic 0 and let

B=K[X,Y,Z][U,V,W]/(X3U+Y3V+Z3WX2Y2Z2).

Then the ideal 𝔞=(X,Y,Z)B has the property that H𝔞3(B)0. This means that in R=K[X,Y,Z], the element X2Y2Z2 belongs to the solid closure of the ideal (X3,Y3,Z3), and hence the three-dimensional polynomial ring is not solidly closed.