The motivation here was undoubtedly that the formula_4-torsion in the ideal class group of formula_15 had already been identified by Kummer as the main obstacle to the direct proof of Fermat's last theorem. What Iwasawa did that was new, was to go 'off to infinity' in a new direction. In fact, formula_22 is a module over the group ring formula_28. This is a well-behaved ring (regular and two-dimensional), meaning that it is quite possible to classify modules over it, in a way that is not too coarse.