
related topics 
{math, number, function} 
{area, part, region} 
{city, large, area} 

In abstract algebra, more particularly in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies local rings and their modules.
The concept of local rings was introduced by Wolfgang Krull in 1938 under the name Stellenringe.^{[1]} The English term local ring is due to Zariski.^{[2]}
Contents
Definition and first consequences
A ring R is a local ring if it has any one of the following equivalent properties:
 R has a unique maximal left ideal.
 R has a unique maximal right ideal.
 1 ≠ 0 and the sum of any two nonunits in R is a nonunit.
 1 ≠ 0 and if x is any element of R, then x or 1 − x is a unit.
 If a finite sum is a unit, then so are some of its terms (in particular the empty sum is not a unit, hence 1 ≠ 0).
If these properties hold, then the unique maximal left ideal coincides with the unique maximal right ideal and with the ring's Jacobson radical. The third of the properties listed above says that the set of nonunits in a local ring forms a (proper) ideal,^{[3]} necessarily contained in the Jacobson radical. The fourth property can be paraphrased as follows: a ring R is local if and only if there do not exist two coprime proper (principal) (left) ideals I_{1}, I_{2} where two ideals are called coprime if R = I_{1} + I_{2}.
Full article ▸


related documents 
Carmichael number 
Goodstein's theorem 
Convex set 
Group representation 
Wellorder 
Diophantine set 
Euler's totient function 
Kolmogorov space 
Controllability 
Lebesgue measure 
Kruskal's algorithm 
Laurent series 
Cartesian product 
Symmetric group 
Golomb coding 
Axiom of regularity 
Conjunctive normal form 
Mersenne twister 
Analytic geometry 
Search algorithm 
Division algebra 
Constant of integration 
Automated theorem proving 
Generalized Riemann hypothesis 
Exact sequence 
Monotonic function 
Mersenne prime 
Algebraic topology 
Separable space 
Probability space 
