Zum Inhalt springen

Erzwingende Algebra/Regulärer Ring/Roberts/Beispiel/en

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