World Library  
Flag as Inappropriate
Email this Article

Completion (algebra)

Article Id: WHEBN0009477975
Reproduction Date:

Title: Completion (algebra)  
Author: World Heritage Encyclopedia
Language: English
Publisher: World Heritage Encyclopedia

Completion (algebra)

In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have simpler structure than the general ones and Hensel's lemma applies to them. Geometrically, a completion of a commutative ring R concentrates on a formal neighborhood of a point or a Zariski closed subvariety of its spectrum Spec R.


  • General construction 1
  • Krull topology 2
  • Examples 3
  • Properties 4
  • See also 5
  • References 6

General construction

Suppose that E is an abelian group with a descending filtration

E = F^0{E} \supset F^1{E} \supset F^2{E} \supset \cdots \,

of subgroups, one defines the completion (with respect to the filtration) as the inverse limit:

\hat{E}=\varprojlim (E/F^n{E}). \,

This is again an abelian group. Usually E is an additive abelian group. If E has additional algebraic structure compatible with the filtration, for instance E is a filtered ring, a filtered module, or a filtered vector space, then its completion is again an object with the same structure that is complete in the topology determined by the filtration. This construction may be applied both to commutative and noncommutative rings. As may be expected, this produces a complete topological ring.

Krull topology

In commutative algebra, the filtration on a commutative ring R by the powers of a proper ideal I determines the Krull topology (after Wolfgang Krull) or I-adic topology on R. The case of a maximal ideal I=\mathfrak{m} is especially important. The basis of open neighbourhoods of 0 in R is given by the powers In, which are nested and form a descending filtration on R:

F^0{R}=R\supset I\supset I^2\supset\cdots, \quad F^n{R}=I^n.

The completion is the inverse limit of the factor rings,

\hat{R}_I=\varprojlim (R/I^n)

(pronounced "R I hat"). The kernel of the canonical map π from the ring to its completion is the intersection of the powers of I. Thus π is injective if and only if this intersection reduces to the zero element of the ring; by the Krull intersection theorem, this is the case for any commutative Noetherian ring which is either an integral domain or a local ring.

There is a related topology on R-modules, also called Krull or I-adic topology. A basis of open neighborhoods of a module M is given by the sets of the form

x + I^n M \quad\text{for }x\in M.

The completion of an R-module M the inverse limit of the quotients

\hat{M}_I=\varprojlim (M/I^n{M}).

This procedure converts any module over R into a complete topological module over \hat{R}_I.


1. The ring of p-adic integers Zp is obtained by completing the ring Z of integers at the ideal (p).

2. Let R = K[x1,...,xn] be the polynomial ring in n variables over a field K and \mathfrak{m}=(x_1,\ldots,x_n) be the maximal ideal generated by the variables. Then the completion \hat{R}_{\mathfrak{m}} is the ring K of formal power series in n variables over K.


1. The completion is a functorial operation: a continuous map fR → S of topological rings gives rise to a map of their completions,

\hat{f}: \hat{R}\to\hat{S}.

Moreover, if M and N are two modules over the same topological ring R and fM → N is a continuous module map then f uniquely extends to the map of the completions:

\hat{f}: \hat{M}\to\hat{N},\quad where \hat{M},\hat{N} are modules over \hat{R}.

2. The completion of a Noetherian ring R is a flat module over R.

3. The completion of a finitely generated module M over a Noetherian ring R can be obtained by extension of scalars:

\hat{M}=M\otimes_R \hat{R}.

Together with the previous property, this implies that the functor of completion on finitely generated R-modules is exact: it preserves short exact sequences.

4. Cohen structure theorem (equicharacteristic case). Let R be a complete local Noetherian commutative ring with maximal ideal \mathfrak{m} and residue field K. If R contains a field, then

R\simeq K/I

for some n and some ideal I (Eisenbud, Theorem 7.7).

See also


This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.