Tight closure/localization/geometric deformation over one dimensional domain/Fakt/Beweis
Erscheinungsbild
By localization, there exists , , such that .
By persistence of tight closure (under a ring homomorphism) we get
The element does not belong to for almost all , so is a unit in and hence
for almost all .