NOTICE: Citizendium is still being set up on its newer server, treat as a beta for now; please see here for more.
Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
Click here to participate in the November 2016 election.
CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

Localisation (ring theory)

From Citizendium, the Citizens' Compendium
Revision as of 14:18, 21 October 2009 by Daniel Mietchen (Talk | contribs) (Localisation at a prime ideal)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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 not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In ring theory, the localisation of a ring is an extension ring in which elements of the base ring become invertible.


Let R be a commutative ring and S a non-empty subset of R closed under multiplication. The localisation is an R-algebra in which the elements of S become invertible, constructed as follows. Consider the set with an equivalence relation . We denote the equivalence class of (x,s) by x/s. Then the quotient set becomes a ring under the operations

The zero element of is the class and there is a unit element . The base ring R is embedded as .

Localisation at a prime ideal

If is a prime ideal of R then the complement is a multiplicatively closed set and the localisation of R at is the localisation at S, also denoted by . It is a local ring with a unique maximal ideal — the ideal generated by in .

Field of fractions

If R is an integral domain, then the non-zero elements form a multiplicatively closed subset. The localisation of R at S is a field, the field of fractions of R. A ring can be embedded in a field if and only if it is an integral domain.