_77结构的极限。formula_107越大，formula_77和formula_74就越“相似”。formula_1进整数环formula_74中的单位元显然是formula_112 一个formula_1进整数formula_114是（乘法）可逆元当且仅当formula_115是formula_116中的可逆元。非可逆元的元素都可以表达为：其中formula_118是formula_74中的可逆元，formula_120称为formula_1进整数formula_51的（代数）赋值。可以看出，这