Build the idea in three steps
- A unit is an element with a true inverse: in ℤ only ±1; in the Eisenstein world the six rotations; on a prime clock, every nonzero card. A ring is local when it keeps exactly one gate: a single collection m of non-units, and everything outside it can be inverted.
- The displayed definition compresses the gate into one compact promise: whenever a + b = 1, at least one of a and b must be a unit. If two separate gates existed, one could split one between them and break the promise — so one promise forges exactly one maximal ideal.
- The endgame speaks local throughout: the deformation-ring and R = T excerpts both carry [IsLocalRing A] in their hypothesis rows. Dividing a local ring by its gate gives the residue field — the tiny world where residual data is read and matched.
A small example
ℤ fails the test: a = 5 and b = −4 satisfy a + b = 1, and neither is a unit — ℤ has a gate at every prime. The ℓ-adic world ℤ_ℓ passes: its elements invert exactly when ℓ does not divide them, so of any pair summing to one, at least one is outside the gate.