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!