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 .