Нормальная основа
В математике , особенно в алгебраической теории полей , нормальный базис — это особый вид базиса для расширений Галуа конечной степени, характеризуемый как образующий единственную орбиту для группы Галуа . Теорема о нормальном базисе утверждает, что любое конечное расширение полей Галуа имеет нормальный базис. В алгебраической теории чисел исследование более тонкого вопроса о существовании нормального целочисленного базиса является частью модулей Галуа теории .
Теорема о нормальном базисе
[ редактировать ]Позволять быть расширением Галуа с группой Галуа . Классическая теорема о нормальном базисе утверждает, что существует элемент такой, что образует базис 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]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Надер Х. Бшути; Гадиэль Серусси (1989), Обобщения теоремы о нормальном базисе конечных полей (PDF) , стр. 1 ; СИАМ Дж. Дискретная математика . 3 (1990), вып. 3, 330–337.
- ^ Дирк Хахенбергер, Полностью свободные элементы , в Cohen & Niederreiter (1996), стр. 97–107. Збл 0864.11066
- Коэн, С.; Нидеррайтер, Х. , ред. (1996). Конечные поля и приложения. Материалы 3-й международной конференции, Глазго, Великобритания, 11–14 июля 1995 г. Серия лекций Лондонского математического общества. Том. 233. Издательство Кембриджского университета . ISBN 978-0-521-56736-7 . Збл 0851.00052 .
- Ленстра, Х.В.младший ; Шуф, Р.Дж. (1987). «Примитивные нормальные базисы для конечных полей» . Математика вычислений . 48 (177): 217–231. дои : 10.2307/2007886 . hdl : 1887/3824 . JSTOR 2007886 . Збл 0615.12023 .
- Менезес, Альфред Дж. , изд. (1993). Приложения конечных полей . Международная серия Kluwer по инженерным наукам и информатике. Том. 199. Бостон: Академическое издательство Kluwer. ISBN 978-0792392828 . Збл 0779.11059 .