然地延伸到逆向极限formula_74中。直观上可以理解为，formula_74是formula_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中的可逆元，f