Jump to content

Нормальная основа

(Перенаправлено из теоремы о нормальном базисе )

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

Теорема о нормальном базисе

[ редактировать ]

Позволять быть расширением Галуа с группой Галуа . Классическая теорема о нормальном базисе утверждает, что существует элемент такой, что образует базис K рассматриваемый как векторное пространство над F. , То есть любой элемент можно записать однозначно как для некоторых элементов

Нормальный базис контрастирует с примитивным элементным базисом вида , где - это элемент, минимальный многочлен которого имеет степень .

Точка зрения группового представительства

[ редактировать ]

Расширение поля K / F с группой Галуа G естественно рассматривать как представление группы G над полем F , в котором каждый автоморфизм представлен самим собой. Представления G над полем F можно рассматривать как левые модули групповой алгебры F [ G ]. Любой гомоморфизм левых F [ G ]-модулей имеет форму для некоторых . С является линейным базисом F [ G ] над F , легко следует, что является биективным тогда и только тогда, когда порождает нормальный базис K над F . Таким образом, теорема о нормальном базисе сводится к утверждению, что если K / F является конечным расширением Галуа, то как слева -модуль. В терминах представлений группы G над F это означает, что K изоморфно регулярному представлению .

Случай конечных полей

[ редактировать ]

Для конечных полей это можно сформулировать следующим образом: [1] Позволять обозначим поле из q элементов, где q = p м является первичной степенью, и пусть обозначим его поле расширения степени n ≥ 1 . Здесь группа Галуа с циклическая группа, порожденная q -степенным автоморфизмом Фробениуса с Тогда существует элемент β K такой, что является базисом K над F .

Доказательство для конечных полей

[ редактировать ]

В случае, если группа Галуа циклическая, как указано выше, порожденная с теорема о нормальном базисе следует из двух основных фактов. Во-первых, это линейная независимость характеров: мультипликативный характер — это отображение χ группы H в поле K, удовлетворяющее условиям ; затем любые отдельные символы линейно независимы в K -векторном пространстве отображений. Мы применим это к автоморфизмам группы Галуа мыслится как отображения мультипликативной группы . Сейчас как F -векторное пространство, поэтому мы можем рассматривать как элемент матричной алгебры M n ( F ); поскольку его полномочия линейно независимы (над K и тем более над F ), его минимальный полином должен иметь степень не ниже n , т.е. он должен быть .

Вторым основным фактом является классификация конечно порожденных модулей по PID, таких как . Каждый такой модуль M можно представить в виде , где могут быть выбраны так, чтобы они были моническими полиномами или нулевыми и кратно . - это унитарный многочлен наименьшей степени, аннулирующий модуль, или ноль, если такого ненулевого многочлена не существует. В первом случае , во втором случае . В нашем случае циклического G размера n, порожденного у нас есть изоморфизм F -алгебры где X соответствует , поэтому каждый -модуль можно рассматривать как -модуль, в котором умножение на X является умножением на . В случае К это означает , поэтому монический многочлен наименьшей степени, аннулирующий K, является минимальным многочленом . Поскольку K — конечномерное F -пространство, приведенное выше представление возможно с помощью . С мы можем иметь только , и как F [ X ]-модули. (Обратите внимание, что это изоморфизм F -линейных пространств, но не колец или F -алгебр.) Это дает изоморфизм -модули о котором мы говорили выше, а под ним основа в правой части соответствует нормальному базису К . слева

Заметим, что это доказательство применимо и в случае циклического расширения Куммера .

Рассмотрим поле над , с автоморфизмом Фробениуса . Приведенное выше доказательство проясняет выбор нормальных базисов в терминах структуры K как представления G (или F [ G ]-модуля). Неприводимая факторизация означает, что мы имеем прямую сумму F [ G ]-модулей (по китайской теореме об остатках ): Первый компонент просто , а второй как F [ G ]-модуль изоморфен под действием (Таким образом как F [ G ]-модули, а не как F -алгебры.)

Элементы которые можно использовать для нормального базиса, являются именно теми, которые находятся вне любого из подмодулей, так что и . С точки зрения G -орбит K , которые соответствуют неприводимым факторам: элементы являются корнями , ненулевые элементы подмодуля являются корнями , а нормальный базис, который в данном случае единственный, задается корнями оставшегося множителя .

Напротив, для поля расширения в котором n = 4 делится на p = 2 , мы имеем изоморфизм F [ G ]-модуля Здесь оператор недиагонализуем имеет вложенные подмодули , , модуль L заданные обобщенными собственными пространствами модуля L. , а нормальные базисные элементы β — это элементы, находящиеся вне наибольшего собственного обобщенного собственного пространства, элементы с .

Приложение к криптографии

[ редактировать ]

Нормальный базис часто используется в криптографических приложениях, основанных на задаче дискретного логарифма , таких как криптография на эллиптических кривых , поскольку арифметика с использованием нормального базиса обычно более эффективна в вычислительном отношении, чем использование других базисов.

Например, в области выше мы можем представлять элементы как битовые строки: где коэффициенты - биты Теперь мы можем возводить элементы в квадрат, делая круговой сдвиг влево: , поскольку возведение в квадрат β 4 дает β 8 = β . Это делает нормальный базис особенно привлекательным для криптосистем, использующих частое возведение в квадрат.

Доказательство для случая бесконечных полей.

[ редактировать ]

Предполагать является конечным расширением Галуа бесконечного поля F . Пусть [ K : F ] = n , , где . По теореме о примитивном элементе существует такой и . Давайте напишем . (монический) минимальный многочлен f над K — это неприводимый многочлен степени n, заданный формулой Поскольку f отделима (она имеет простые корни), мы можем определить Другими словами, Обратите внимание, что и для . Далее определите матрица A многочленов над K и многочлен D по формуле Обратите внимание, что , где k определяется соотношением ; в частности если только . Отсюда следует, что — матрица перестановок, соответствующая перестановке G , которая отправляет каждый к . (Мы обозначаем через матрица, полученная путем оценки в .) Поэтому, . Мы видим, что D — ненулевой многочлен и, следовательно, имеет лишь конечное число корней. Поскольку мы предположили, что F бесконечно, мы можем найти такой, что . Определять Мы утверждаем, что это нормальная база. Нам осталось только это показать линейно независимы над F , поэтому предположим, что для некоторых . Применение автоморфизма урожайность для всех я . Другими словами, . С , мы заключаем, что , что завершает доказательство.

Заманчиво взять потому что . Но это недопустимо, потому что мы использовали тот факт, что заключить, что для любого F -автоморфизма и полиномиальный над значение многочлена на равных .

Примитивный нормальный базис

[ редактировать ]

Примитивным нормальным базисом расширения конечных полей E / F является нормальный базис для E / F который порождается примитивным элементом E K. , то есть генератором мультипликативной группы , × . (Обратите внимание, что это более ограничительное определение примитивного элемента, чем упомянутое выше после общей теоремы о нормальном базисе: для создания каждого ненулевого элемента K , а не просто базиса, требуются степени элемента.) Lenstra and Schoof (1987). ) доказал, что каждое расширение конечного поля обладает примитивным нормальным базисом, а случай, когда F является простым полем, был урегулирован Гарольдом Дэвенпортом .

Бесплатные элементы

[ редактировать ]

Если K / F — расширение Галуа и в K порождает нормальный базис над F , то x свободен x в K / F . Если x обладает свойством, что для каждой подгруппы H группы Галуа G с фиксированным полем K ЧАС , x свободен для K / K ЧАС , то x говорят, что совершенно свободен в K / F . Каждое расширение Галуа имеет совершенно свободный элемент. [2]

См. также

[ редактировать ]
  1. ^ Надер Х. Бшути; Гадиэль Серусси (1989), Обобщения теоремы о нормальном базисе конечных полей (PDF) , стр. 1 ; СИАМ Дж. Дискретная математика . 3 (1990), вып. 3, 330–337.
  2. ^ Дирк Хахенбергер, Полностью свободные элементы , в Cohen & Niederreiter (1996), стр. 97–107. Збл   0864.11066
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 71d59e0a6ba611552c1ed96f80b40bc3__1716800760
URL1:https://arc.ask3.ru/arc/aa/71/c3/71d59e0a6ba611552c1ed96f80b40bc3.html
Заголовок, (Title) документа по адресу, URL1:
Normal basis - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)