1000/1000

Hot
Most Recent

Submitted Successfully!

To reward your contribution, here is a gift for you: A free trial for our video production service.

Thank you for your contribution! You can also upload a video entry or images related to this topic.

Do you have a full video?

Are you sure to Delete?

Cite

If you have any further questions, please contact Encyclopedia Editorial Office.

HandWiki. Completion (Algebra). Encyclopedia. Available online: https://encyclopedia.pub/entry/37630 (accessed on 13 August 2024).

HandWiki. Completion (Algebra). Encyclopedia. Available at: https://encyclopedia.pub/entry/37630. Accessed August 13, 2024.

HandWiki. "Completion (Algebra)" *Encyclopedia*, https://encyclopedia.pub/entry/37630 (accessed August 13, 2024).

HandWiki. (2022, December 01). Completion (Algebra). In *Encyclopedia*. https://encyclopedia.pub/entry/37630

HandWiki. "Completion (Algebra)." *Encyclopedia*. Web. 01 December, 2022.

Copy Citation

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 a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions R on a space X concentrates on a formal neighborhood of a point of X: heuristically, this is a neighborhood so small that all Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in case R has a metric given by a non-Archimedean absolute value.

commutative rings
localization
metric space

Suppose that *E* is an abelian group with a descending filtration

- [math]\displaystyle{ E = F^0{E} \supset F^1{E} \supset F^2{E} \supset \cdots \, }[/math]

of subgroups. One then defines the completion (with respect to the filtration) as the inverse limit:

- [math]\displaystyle{ \hat{E}=\varprojlim (E/F^n{E}). \, }[/math]

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, when the intersection of the [math]\displaystyle{ F^i{E} }[/math] equals zero, this produces a complete topological ring.

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

- [math]\displaystyle{ F^0{R}=R\supset I\supset I^2\supset\cdots, \quad F^n{R} = I^n. }[/math]

(Open neighborhoods of any *r* ∈ *R* are given by cosets *r* + *I*^{n}.) The completion is the inverse limit of the factor rings,

- [math]\displaystyle{ \hat{R}_I=\varprojlim (R/I^n) }[/math]

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

- [math]\displaystyle{ x + I^n M \quad\text{for }x\in M. }[/math]

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

- [math]\displaystyle{ \hat{M}_I=\varprojlim (M/I^n{M}). }[/math]

This procedure converts any module over *R* into a complete topological module over [math]\displaystyle{ \hat{R}_I }[/math].

1. The ring of *p*-adic integers **Z**_{p} is obtained by completing the ring * Z* of integers at the ideal (

2. Let *R* = *K*[*x*_{1},...,*x*_{n}] be the polynomial ring in *n* variables over a field *K* and [math]\displaystyle{ \mathfrak{m}=(x_1,\ldots,x_n) }[/math] be the maximal ideal generated by the variables. Then the completion [math]\displaystyle{ \hat{R}_{\mathfrak{m}} }[/math] is the ring *K' x*

3. Given a noetherian ring [math]\displaystyle{ R }[/math] and an ideal [math]\displaystyle{ I = (f_1,\ldots, f_n) }[/math], the [math]\displaystyle{ I }[/math]-adic completion of [math]\displaystyle{ R }[/math] is the image of a formal power series ring, specifically, the surjection^{[1]}

- [math]\displaystyle{ Rx 1, \ldots, x n \to \hat{R}_I }[/math] where [math]\displaystyle{ x_i \mapsto f_i }[/math].

The ideal of the kernel is [math]\displaystyle{ (x_1 - f_1, \ldots, x_n - f_n) }[/math].

Completions can also be used to analyze the local structure of singularities of a scheme. For example, the affine schemes associated to [math]\displaystyle{ \mathbb{C}[x,y]/(xy) }[/math] and the nodal cubic plane curve [math]\displaystyle{ \mathbb{C}[x,y]/(y^2 - x^2(1+x)) }[/math] have similar looking singularities at the origin when viewing their graphs (both look like a [math]\displaystyle{ + }[/math]). Notice that in the second case, any Zariski neighborhood of the origin is still an irreducible curve. If we use completions, then we are looking at a "small enough" neighborhood where the node has two components. Taking the localizations of these rings along the ideal [math]\displaystyle{ (x,y) }[/math] and completing gives [math]\displaystyle{ \mathbb{C}x,y/(xy) }[/math] and [math]\displaystyle{ \mathbb{C}x,y/((y+u)(y-u)) }[/math] respectively, where [math]\displaystyle{ u }[/math] is the formal square root of [math]\displaystyle{ x^2(1+x) }[/math] in [math]\displaystyle{ \mathbb{C}x,y }[/math]. More explicitly, this is the power series

[math]\displaystyle{ u = x\sqrt{1+x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2(4^n)}x^{n+1} }[/math]

Since both rings are given by the intersection of two ideals generated by a homogeneous degree 1 polynomial, we can see algebraically that the singularities "look" the same. This is because such a scheme is the union of two non-equal linear subspaces of the affine plane.

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

- [math]\displaystyle{ \hat{f}: \hat{R}\to\hat{S}. }[/math]

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

- [math]\displaystyle{ \hat{f}: \hat{M}\to\hat{N},\quad }[/math] where [math]\displaystyle{ \hat{M},\hat{N} }[/math] are modules over [math]\displaystyle{ \hat{R}. }[/math]

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*:

- [math]\displaystyle{ \hat{M}=M\otimes_R \hat{R}. }[/math]

Together with the previous property, this implies that the functor of completion on finitely generated *R*-modules is exact: it preserves short exact sequences. In particular, taking quotients of rings commutes with completion, meaning that for any quotient *R*-algebra [math]\displaystyle{ R / I }[/math], there is an isomorphism

- [math]\displaystyle{ \widehat{R / I} \cong \hat R / \hat I. }[/math]

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

- [math]\displaystyle{ R\simeq Kx 1,\ldots,x n/I }[/math]

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

- "Stacks Project — Tag 0316". http://stacks.math.columbia.edu/tag/0316.

More

Information

Subjects:
Others

Contributor
MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register
:

View Times:
624

Entry Collection:
HandWiki

Update Date:
01 Dec 2022