In order to get an interesting Galois module here , Iwasawa took the ideal class group of , and let be its - torsion part .
In order to get an interesting Galois module here , Iwasawa took the ideal class group of , and let be its p-torsion part .