Original: 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.