local ring

A local ring is a ring with exactly one maximal ideal — it has a single 'place where things vanish.' Geometrically it models the behavior of functions in an infinitesimally small neighborhood of one point, which is why localization and local rings are the algebraic language for studying geometry one point at a time.

A commutative ring R with identity is local if it has a unique maximal ideal m. An extremely useful equivalent test: R is local exactly when its non-units form an ideal, and that ideal is then automatically m. In a local ring, therefore, every element is either a unit or lies in m — there is no ambiguity, which makes Nakayama's lemma and many descent arguments work cleanly.

Local rings arise principally through localization: localizing any ring at a prime ideal P produces a local ring whose maximal ideal corresponds to P. The residue field R/m captures the 'value at the point,' while m and its powers record higher-order infinitesimal data. Regular local rings, discrete valuation rings, and completions are all refinements of this idea central to algebraic geometry and number theory.