方法，首先定义formula_1进整数环formula_74，然后构造其分式域，也可以得到formula_1进数域。首先考虑由整数模formula_76的同余类构成的环：formula_77。formula_77与formula_79之间存在自然的环同态：考察逆向链：定义formula_74为其逆向极限：formula_83。也就是说，每个formula_1进整数formula_85被定义为以下的序列：其中formula_87。可以证明，这样定义的formula_1进整数环formula_74与