Фильтрация Лютц как модуль Галуа в расширении без высшего ветвления

Рассматривается структура группы точек формальной группы и ее фильтрация Лютц как модуль Галуа в расширении без высшего ветвления локального поля. Используя теорию Хонды о классификации формальных групп над полными локальными кольцами с одной стороны, и обобщение на формальные группы функции Артина–Хассе с другой, эффективно строится изоморфизм между группой точек и некоторым заранее заданным аддитивным свободным модулем Галуа. в частности, в мультипликативном случае дается новое эффективное доказательство теоремы Краснера о нормальном базисе группы главных единиц локального поля в расширениях без высшего ветвления. Библ. – 9 назв.