整数環
非アルキメデス的局所体 F の整数環を絶対値が 1 以下の F のすべての元の集合として定義する;これは強三角不等式により環である。F が代数体の完備化であれば、その整数環は代数体の整数環の完備化である。代数体の整数環はすべての非アルキメデス的完備化において整数であるような元の全体として特徴づけられる。
例えば、p 進整数 Zp は p 進数 Qp の整数環である。