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 with
Indeed, exactly when no element of is congruent to modulo , which is exactly .

New to topics? Read the docs here!