Tight closure/localization problem/description

Aus Wikiversity

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 ?