Localization away from one plus an ideal lies in the Jacobson radical
ID: localization-away-from-one-plus-an-ideal-lies-in-the-jacobson-radical
For a commutative ring and ideal , the set is a multiplicative subset. For and , the numerator of again lies in . Thus this difference is a unit in the localization of a ring. The unit criterion for the Jacobson radical proves . This requires no Noetherian hypothesis.
New to topics? Read the docs here!