Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Математика / Другие методич. материалы / Сообщение по математике на тему "Теорема Гильберта 90"

Сообщение по математике на тему "Теорема Гильберта 90"


  • Математика

Поделитесь материалом с коллегами:

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

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

Мультипликативная форма

Пусть G — группа Галуа конечного циклического расширения E/K, а \sigma - её образующая. Тогда норма любого элемента \beta\in E равна 1 тогда и только тогда, когда существует ненулевой элемент \alpha\in E, что \beta=\frac\alpha{\sigma(\alpha)}.

Доказательство

Достаточность очевидна: если \beta=\frac\alpha{\sigma(\alpha)}, то, учитывая мультипликативность нормы, имеем N(\beta)=\frac{N(\alpha)}{\sigma(\alpha)}. Так как норма для сепарабельных расширений равна произведению всех \sigma_i(\alpha), а применение \sigma к такому произведению приводит лишь к перестановке сомножителей, то в силу равенства числителя и знаменателя N(\beta)=1.

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

\mathrm{id}+\beta\sigma+\beta\sigma(\beta)\sigma^2+\ldots+(\beta\sigma(\beta)\ldots\sigma^{n-2}(\beta)\sigma^{n-1}).

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

0\neq\alpha=\gamma+\beta\sigma(\gamma)+\beta\sigma(\beta)\sigma^2(\gamma)+\ldots+(\beta\sigma(\beta)\ldots\sigma^{n-2}(\beta)\sigma^{n-1}(\gamma).

Если применить отображение \sigma к \alpha, а потом помножить полученное выражение на \beta, то первое слагаемое перейдёт во второе и т. д., а последнее перейдёт в первое, так как \beta\sigma(\beta)\ldots \sigma^{n-2}(\beta)\sigma^{n-1}(\beta)=N(\beta)=1.

Тогда получаем, что \beta\sigma(\alpha)=\alpha, деля на \sigma(\alpha)\neq 0 имеем \beta=\frac\alpha{\sigma(\alpha)}. Необходимость доказана.

Аддитивная форма

Пусть G — группа Галуа конечного циклического расширения E/K, а \sigma - её образующая. Тогда след любого элемента \beta\in E равен 0 тогда и только тогда, когда существует такой ненулевой элемент \alpha\in E, что \beta=\alpha-\sigma(\alpha).

Доказательство достаточности полностью аналогично мультипликативному случаю, а для необходимости рассматриваем элемент \gamma\in E, для которого \mathrm{tr}\gamma \neq 0 и строим требуемое \alpha в виде:

\alpha=\frac{1}{\mathrm{tr}\gamma}[\beta\sigma(\gamma)+(\beta+\sigma(\beta))\sigma^2(\gamma)+\ldots +(\beta +\ldots +\sigma^{n-2}(\beta))\sigma^{n-1}(\gamma)|.


Автор
Дата добавления 28.01.2016
Раздел Математика
Подраздел Другие методич. материалы
Просмотров146
Номер материала ДВ-389305
Получить свидетельство о публикации


Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх