Фильтрация группы главных единиц функционального локального поля как модуль Галуа

Пусть $k$ – поле формальных степенных рядов от одной переменной над конечным полем констант характеристики $p$ и $K/k$ – вполне разветвленное расширение степени $p$. Для группы $E_1$ главных единиц поля $K$, рассматриваемой как модуль Галуа, эффективно строятся образующие. Выясняется операторное строение (как модулей Галуа) подгрупп $E_m$, образующих естественную фильтрацию группы $E_1$. Библ. – 2 назв.