Local ring

From Citizendium
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and subject to a disclaimer.

A ring is said to be a local ring if it has a unique maximal ideal . It is said to be semi-local if it has finitely many maximal ideals.

The localisation of a commutative integral domain at a non-zero prime ideal is a local ring.


In a local ring the unit group is the complement of the maximal ideal.

Complete local ring

A local ring A is complete if the intersection and A is complete with respect to the uniformity defined by the cosets of the powers of m.