Нормальная группа

В теории чисел нормальная группа — это группа вида $N_{L/K}(L^{\times })$ где $L/K$ является конечным абелевым расширением неархимедовых локальных полей и $N_{L/K}$ это норма поля . Одна из основных теорем локальной теории полей классов гласит, что группы норм в $K^{\times }$ являются открытыми подгруппами $K^{\times }$ конечного индекса.

См. также

• Теорема существования Такаги

Ссылки

• Дж. С. Милн, Теория полей классов. Версия 4.01.