Формальный модуль Хонды в неразветвленном p-расширении локального поля как модуль Галуа

Аннотация

Для фиксированного рационального простого числа p рассмотрим цепочку конечных расширений полей K0/Qp, K/K0, L/K, M/L, где K/K0 - неразветвленное расширение, M/L - расширение Галуа с группой Галуа G. Пусть задан одномерный формальныйFFs ss sгрупповой закон Хонды F над кольцом OK относительно расширения K/K0 и простого элемента π ∈ K0. В работе изучается структура F (mM ) как OK0 [G]-модуля для неразветвленного p-расширения M/L при условии WF ∩ F (mL)= WF ∩ F (mM )= W s==при некоторомs ≥ 1, где WF - это π-кручение, а WFl∞n=1FFW n - общее π-кручениефиксированного алгебраического замыкания Kalg поля K.