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