Простое расширение

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

Теорема о примитивном элементе дает характеристику конечных простых расширений.

Определение

Расширение поля L / K называется простым расширением , если существует элемент θ в L с

Л = К ( θ ) . {\displaystyle L=K(\theta).}

Это означает, что каждый элемент L может быть выражен как рациональная дробь в θ с коэффициентами в K ; то есть он получается из θ и элементов K с помощью полевых операций +, −, •, /. Эквивалентно, L является наименьшим полем, содержащим как K , так и θ .

Существует два различных вида простых расширений (см. Структуру простых расширений ниже).

Элемент θ может быть трансцендентным над K , что означает, что он не является корнем никакого многочлена с коэффициентами в K. В этом случае изоморфен полю рациональных функций К ( θ ) {\displaystyle K(\theta)} К ( Х ) . {\displaystyle К(Х).}

В противном случае θ является алгебраическим над K ; то есть θ является корнем многочлена над K . Монический многочлен минимальной степени n , с θ в качестве корня, называется минимальным многочленом θ . Его степень равна степени расширения поля , то есть размерности L , рассматриваемой как K - векторное пространство . В этом случае каждый элемент из может быть однозначно выражен как многочлен по θ степени меньше n , и изоморфен факторкольцу п ( Х ) {\displaystyle p(X)} К ( θ ) {\displaystyle K(\theta)} К ( θ ) {\displaystyle K(\theta)} К [ Х ] / ( п ( Х ) ) . {\displaystyle K[X]/(p(X)).}

В обоих случаях элемент θ называется порождающим элементом или примитивным элементом для расширения; говорят также, что L порождается над K посредством θ .

Например, каждое конечное поле является простым расширением простого поля той же характеристики . Точнее, если p — простое число, а поле из q элементов является простым расширением степени n поля Фактически, L порождается как поле любым элементом θ , который является корнем неприводимого многочлена степени n в . д = п н , {\displaystyle q=p^{n},} Л = Ф д {\displaystyle L=\mathbb {F} _{q}} К = Ф п . {\displaystyle K=\mathbb {F} _{p}.} К [ Х ] {\displaystyle К[X]}

Однако в случае конечных полей термин примитивный элемент обычно резервируется для более сильного понятия, элемента γ , который генерирует как мультипликативную группу , так что каждый ненулевой элемент L является степенью γ , т.е. производится из γ с использованием только групповой операции • . Чтобы различать эти значения, используют термин «генератор» или примитивный элемент поля для более слабого значения, резервируя «примитивный элемент» или примитивный элемент группы для более сильного значения. [1] (См. Конечное поле § Мультипликативная структура и Примитивный элемент (конечное поле) ). Л × = Л { 0 } {\displaystyle L^{\times }=L-\{0\}}

Структура простых расширений

Пусть L — простое расширение K, порожденное θ . Для кольца многочленов K [ X ] одним из его основных свойств является единственный гомоморфизм колец

φ : К [ Х ] Л ф ( Х ) ф ( θ ) . {\displaystyle {\begin{align}\varphi :K[X]&\rightarrow L\\f(X)&\mapsto f(\theta )\,.\end{align}}}

Могут иметь место два случая.

Если инъективно , то его можно инъективно расширить до поля дробей K ( X ) поля K [ X ]. Поскольку L порождается θ , это означает, что является изоморфизмом из K ( X ) на L . Это означает, что каждый элемент L равен несократимой дроби многочленов от θ , и что две такие несократимые дроби равны тогда и только тогда, когда можно перейти от одной к другой, умножив числитель и знаменатель на один и тот же ненулевой элемент поля K . φ {\displaystyle \varphi} φ {\displaystyle \varphi}

Если не является инъективным, пусть p ( X ) будет генератором его ядра , которое , таким образом, является минимальным многочленом θ . Образ является подкольцом L , и, таким образом , областью целостности . Это подразумевает, что p является неприводимым многочленом, и, таким образом, что фактор-кольцо является полем. Так как L порождается θ , является сюръективным и индуцирует изоморфизм из на L . Это подразумевает, что каждый элемент L равен уникальному многочлену от θ степени ниже степени . То есть, у нас есть K- базис L , заданный . φ {\displaystyle \varphi} φ {\displaystyle \varphi} К [ Х ] / п ( Х ) {\displaystyle K[X]/\langle p(X)\rangle} φ {\displaystyle \varphi} φ {\displaystyle \varphi} К [ Х ] / п ( Х ) {\displaystyle K[X]/\langle p(X)\rangle} н = градус п ( Х ) {\displaystyle n=\operatorname {deg} p(X)} 1 , θ , θ 2 , , θ н 1 {\displaystyle 1,\theta ,\theta ^{2},\ldots ,\theta ^{n-1}}

Примеры

  • C / R сгенерирован . θ = я = 1 {\displaystyle \theta =i={\sqrt {-1}}}
  • Q ( ) / Q сгенерировано . 2 {\displaystyle {\sqrt {2}}} θ = 2 {\displaystyle \theta ={\sqrt {2}}}
  • Любое числовое поле (т.е. конечное расширение Q ) является простым расширением Q ( θ ) для некоторого θ . Например, генерируется . В ( 3 , 7 ) {\displaystyle \mathbf {Q} ({\sqrt {3}},{\sqrt {7}})} θ = 3 + 7 {\displaystyle \theta ={\sqrt {3}}+{\sqrt {7}}}
  • F ( X ) / F, поле рациональных функций, генерируется формальной переменной X .

Смотрите также

Ссылки

  1. ^ (Роман 1995)

Литература

Взято с "https://en.wikipedia.org/w/index.php?title=Simple_extension&oldid=1251083014"