Para obtener un módulo de Galois interesante, Iwasawa tomó el grupo de clases de ideales de formula_8, y llamó formula_18 a su parte de formula_4-torsión.