。对于formula_15，有范数映射formula_16，于是得到一个逆系。令 formula_17 为其逆极限， Γ 作用其上，我们欲描述这个作用。毫无疑问，这里的动机在于 formula_18 的理想类群的 formula_3-挠部份已被恩斯特·库默尔认出是他证明费马大定理的主要障碍。岩泽健吉的创见在于他在一个新的意义上「跑到无穷大」。事实上，formula_17是群环的完备化 formula_21上的模；这个环性质很好（它是一个二维正则局部环），这意味着我们可以对其上的模作够精细的分类。Se