在交換代數 中，可以探討一個交換環
R
{\displaystyle R}
R
{\displaystyle R}
理想
I
⊂
R
{\displaystyle I\subset R}
完備化 是研究交換環 的基本工具。
幾何上，交換環的完備化對應到一個閉子概形 的形式鄰域 。
I -進拓撲[ 编辑 ] 對於一個交換環
R
{\displaystyle R}
I
{\displaystyle I}
極大理想 ），可以藉著取
I
n
(
n
∈
N
)
{\displaystyle I^{n}\;(n\in \mathbb {N} )}
R
{\displaystyle R}
拓撲群 。這種拓撲稱為
I
{\displaystyle I}
對於一個
R
{\displaystyle R}
M
{\displaystyle M}
I
n
M
{\displaystyle I^{n}M}
M
{\displaystyle M}
I
{\displaystyle I}
完備化及其性質 [ 编辑 ] 模
M
{\displaystyle M}
I
⊂
R
{\displaystyle I\subset R}
完備化 定義為射影極限 ：
M
^
:=
lim
←
n
M
/
I
n
M
{\displaystyle {\hat {M}}:=\varprojlim _{n}M/I^{n}M}
正如其名，
M
^
{\displaystyle {\hat {M}}}
I
{\displaystyle I}
完備 的。對於固定的
I
⊂
R
{\displaystyle I\subset R}
M
↦
M
^
{\displaystyle M\mapsto {\hat {M}}}
R
{\displaystyle R}
I
{\displaystyle I}
R
{\displaystyle R}
函子 ；透過自然同態
M
→
M
^
{\displaystyle M\to {\hat {M}}}
伴隨函子 ，因而是右正合 的。
對於諾特環 ，
R
^
{\displaystyle {\hat {R}}}
平坦 的
R
{\displaystyle R}
R
{\displaystyle R}
M
{\displaystyle M}
M
^
→
M
⊗
R
R
^
{\displaystyle {\hat {M}}\to M\otimes _{R}{\hat {R}}}
R
{\displaystyle R}
R
{\displaystyle R}
正合函子 。
此外，完備化也可以用柯西序列 構造，得到的對象是自然同構的。
p進整數 是
Z
{\displaystyle \mathbb {Z} }
p
Z
{\displaystyle p\mathbb {Z} }
形式冪級數環
k
[
[
X
1
,
…
,
X
n
]
]
{\displaystyle k[[X_{1},\ldots ,X_{n}]]}
k
[
X
1
,
…
,
X
n
]
{\displaystyle k[X_{1},\ldots ,X_{n}]}
(
X
1
,
…
,
X
n
)
{\displaystyle (X_{1},\ldots ,X_{n})}
David Eisenbud, Commutative algebra. With a view toward algebraic geometry . Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995. xvi+785 pp. ISBN 0-387-94268-8 ; ISBN 0-387-94269-6 
![{\displaystyle k[[X_{1},\ldots ,X_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed263f43a228899c026436807d051c99a195572b)
![{\displaystyle k[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff472a050c05d0bbc73bd23888d3d654df28fbfb)
