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 CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

# Localisation (ring theory)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Main Article
Talk
Related Articles  [?]
Bibliography  [?]
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.

## Construction

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.