Input (grade 10): In order to get an interesting Galois module here, Iwasawa took the ideal class group of, and let be its p-torsion part.
Output (grade 10): In order to get an interesting Galois module here, Iwasawa took the ideal class group of, and let be its - torsion part.