Чтобы получить здесь интересный модуль Галуа, Ивасава взял идеальную группу классов Kn, и пусть In будет ее p-торсионной частью.
Чтобы получить здесь интересный модуль Галуа, Ивасава взял идеальную группу классов, и пусть будет ее торсионной частью.