Zum Inhalt springen

Tight closure/localization/geometric deformation over one dimensional domain/Fakt/Beweis

Aus Wikiversity

By localization, there exists  hD,   h0,  such that  hfI in R

By persistence of tight closure (under a ring homomorphism) we get

hfI in Rκ(𝔭).

The element h does not belong to 𝔭 for almost all 𝔭, so h is a unit in Rκ(𝔭) and hence

fI in Rκ(𝔭)

for almost all 𝔭.