Tight closure/localization problem/description
Let be a multiplicative system and an ideal in . Then the localization problem of tight closure is the question whether the identity
holds.
Here the inclusion is always true and is the problem. The problem means explicitly:
- if , can we find an such that holds in ?