Spectrum of localization away from one plus an ideal
ID: spectrum-of-localization-away-from-one-plus-an-ideal
For , the prime ideal correspondence for localization identifies withIndeed, exactly when no element of is congruent to modulo , which is exactly .
New to topics? Read the docs here!