Теорема Гильберта 90

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Теоре́ма Ги́льберта 90 — одно из основных утверждений для конечных циклических расширений Галуа.

Мультипликативная форма[править | править вики-текст]

Пусть  — группа Галуа конечного циклического расширения а - её образующая. Тогда норма любого элемента равна 1 тогда и только тогда, когда существует ненулевой элемент , что

Доказательство[править | править вики-текст]

Достаточность очевидна: если то, учитывая мультипликативность нормы, имеем Так как норма для сепарабельных расширений равна произведению всех а применение к такому произведению приводит лишь к перестановке сомножителей, то в силу равенства числителя и знаменателя

Для доказательства необходимости выпишем следующее отображение:

Согласно теореме о линейной независимости характеров это отображение не является нулевым. Поэтому существует элемент для которого

Если применить отображение к а потом помножить полученное выражение на то первое слагаемое перейдёт во второе и т. д., а последнее перейдёт в первое, так как

Тогда получаем, что деля на имеем Необходимость доказана.

Аддитивная форма[править | править вики-текст]

Пусть  — группа Галуа конечного циклического расширения а - её образующая. Тогда след любого элемента равен 0 тогда и только тогда, когда существует такой ненулевой элемент что

Доказательство достаточости полностью аналогично мультипликативному случаю, а для необходимости рассматриваем элемент для которого и строим требуемое в виде:

Литература[править | править вики-текст]

  • Ленг С. Алгебра. — М.: Мир, 1967. — С. 243-244.

См. также[править | править вики-текст]