Local ring

from Wikipedia, the free encyclopedia

In the mathematical field of ring theory, a local ring is a ring in which there is exactly one maximum left or right ideal . Local rings play an important role in algebraic geometry to describe the “local behavior” of functions on algebraic varieties and manifolds .

The concept of the local ring was introduced in 1938 by Wolfgang Krull under the name "Stellenringe".


A ring with is called local if it fulfills one of the following equivalent conditions:

  • has exactly one maximum left ideal.
  • has exactly one maximum legal ideal.
  • and every sum of two non-units is a non-unit.
  • and for every non- unit there is a unit .
  • If a finite sum of ring elements is a unit, then at least one summand is a unit (in particular the empty sum is not a unit, so it follows from this ).

Some authors require that a local ring must also be Noetherian , and call a non-Noetherian ring with exactly one maximum left ideal quasilocal . Here we omit this additional requirement and, if necessary, speak explicitly of Noetherian local rings.


Is local, then

  1. the maximum left ideal coincides with the maximum right ideal and with the Jacobson radical .
  2. is a skew field (referred to as the remainder class field ),
  3. R has only the trivial idempotents and . As a - module cannot be dismantled .
  4. is also semi-perfect .

Commutative case

If the ring is commutative with 1, then the following conditions are also equivalent to the locality:

  • has exactly one maximum (both-sided) ideal.
  • The complement of the unit group is an ideal.

Proof of the equivalence of the last two conditions is given here:

  • Have the commutative ring with exactly one maximum ideal , and be a ring element that is not in . Assuming it would not be invertible. Then the main ideal generated by is a real ideal. As a real ideal is a subset of the (single) maximal ideal . Thus an element of would be contrary to the choice of . So is invertible, and thus every element of the complement of is invertible. Since no element of is invertible, it is exactly the complement of the unit group.
  • Now let the complement of the unit group be an ideal . Since every ideal that lies above contains a unity and is therefore already the whole ring, there is a maximum ideal.


Local rings in algebra

  • Every body and every oblique body is a local ring since the only maximal ideal is in it.
  • Rating rings are local rings.
  • The ring of integers is not local. For example, and are not units, but their sum is .
  • The maximal ideals of the residue class ring are those of the residue classes of prime divisors of generated ideals. The ring is local if and only if there is a prime power.
  • The set of all rational numbers , which have an odd number in the denominator when the fraction is abbreviated , forms a subring of the rational numbers, which is a local ring. Its maximum ideal consists of all fractions whose numerator is even. This ring is written as: and calls it the "localization of at ". It arises from a process called localization of a ring .
  • The ring of formal power series with coefficients in a field is a local ring. His maximum ideal consists of the power series that begin with the linear term. The constant term always disappears.
  • The factor ring of the polynomial ring over a field modulo the ideal generated by is local. Its maximum ideal consists of the residual classes of the polynomials without an absolute term. In this ring, each element is either invertible or nilpotent . The dual numbers , the elements of the factor ring, form a special case of this . This algebra is two-dimensional over as a vector space .

The seeds of continuous functions

Let be a point in a manifold , e.g. B. . On the set of (any) in environments of defined continuous functions we define an equivalence relation in that two (possibly different) in environments defined functions should be equivalent if there is a around there that are defined on the both functions and match. The equivalence classes of this relation are called seeds . The addition and multiplication of seeds are well defined. The set of seeds of continuous functions in forms a local ring, the maximum ideal of which is formed by the seeds of the in vanishing continuous functions.

Local rings of an algebraic variety

Let be an algebraic variety and . The local ring is defined as the amount of the germs normal functions in . It is a local ring, the maximum ideal of which forms the seeds of the regular functions that vanish in. It is obtained as a localization of the coordinate ring at the corresponding maximum ideal :


The local dimension of in is defined as the Krull dimension of the local ring :


Localization of rings

Let be any commutative ring with and a subset closed under multiplication with , then is called

the localization of in .

If the complement is a prime ideal , then it is a local ring and is noted with .