WikiDer > Раздельное расширение

Separable extension

В теория поля, подполе алгебра, а отделяемое расширение является расширение алгебраического поля ${ Displaystyle E supseteq F}$ так что для каждого ${ displaystyle alpha in E}$ , то минимальный многочлен из ${ displaystyle alpha}$ над F это отделимый многочлен (т.е. его формальная производная не равно нулю; увидеть ниже для других эквивалентных определений).^[1] В противном случае расширение называется неразлучен.

Каждое алгебраическое расширение поля характеристика нуль сепарабелен, и всякое алгебраическое расширение конечное поле отделимо.^[2]Отсюда следует, что большинство расширений, которые рассматриваются в математике, отделимы. Тем не менее, концепция отделимости важна, поскольку существование неотделимых расширений является основным препятствием для распространения многих теорем, доказанных в нулевой характеристике, на ненулевую характеристику. Например, основная теорема теории Галуа это теорема о нормальные расширения, которое остается верным в ненулевой характеристике, только если предполагается, что расширения также сепарабельны.^[3]

Крайняя противоположность концепции отделимого расширения, а именно концепция чисто неотделимое расширение, также возникает вполне естественно, поскольку каждое алгебраическое расширение может быть разложено уникальным способом как чисто неотделимое расширение сепарабельного расширения. Алгебраическое расширение ${ Displaystyle E supseteq F}$ полей ненулевых характеристик $п$ является чисто неотделимым расширением тогда и только тогда, когда для каждого ${ displaystyle alpha in E setminus F}$ , минимальный многочлен от ${ displaystyle alpha}$ над $F$ является не сепарабельный многочлен, или, что то же самое, для каждого элемента $Икс$ из $E$ , есть положительное целое число $k$ такой, что ${ displaystyle x ^ {p ^ {k}} in F}$ .^[4]

Неформальное обсуждение

Произвольный многочлен $ж$ с коэффициентами в некотором поле $F$ говорят, что имеет отдельные корни или быть без квадратов если у него есть $град (ж)$ корни в некоторых поле расширения ${ Displaystyle E supseteq F}$ . Например, полином $г (Икс) = Икс 2 - 1$ имеет точно $град (г) = 2$ корни в комплексной плоскости; а именно $1$ и $-1$ , и, следовательно имеет четкие корни. С другой стороны, полином $час (Икс) = (Икс - 2) 2$ , который является квадратом непостоянного многочлена не имеют различные корни, так как его степень равна двум, и $2$ это его единственный корень.

Каждый многочлен может быть разложен на линейные множители по алгебраическое замыкание поля его коэффициентов. Следовательно, многочлен не имеет различных корней тогда и только тогда, когда он делится на квадрат многочлена положительной степени. Это так, если и только если наибольший общий делитель полинома и его производная не является константой. Таким образом, для проверки того, является ли многочлен бесквадратным, нет необходимости явно рассматривать какое-либо расширение поля или вычислять корни.

В этом контексте случай неприводимых многочленов требует некоторой осторожности. Априори может показаться, что делиться на квадрат невозможно для неприводимый многочлен, у которого кроме самого себя нет непостоянного делителя. Однако неприводимость зависит от объемлющего поля, и многочлен может быть неприводимым над $F$ и приводима над некоторым расширением $F$ . Точно так же делимость на квадрат зависит от окружающего поля. Если неприводимый многочлен $ж$ над $F$ делится на квадрат над некоторым расширением поля, то (согласно обсуждению выше) наибольший общий делитель $ж$ и его производная $ж'$ не является постоянным. Обратите внимание, что коэффициенты при $ж'$ принадлежат к той же области, что и $ж$ , а наибольший общий делитель двух многочленов не зависит от объемлющего поля, поэтому наибольший общий делитель $ж$ и $ж'$ имеет коэффициенты в $F$ . поскольку $ж$ неприводимо в $F$ , этот наибольший общий делитель обязательно равен $ж$ сам. Поскольку степень $ж'$ строго меньше степени $ж$ , следует, что производная от $ж$ равен нулю, откуда следует, что характеристика поля - простое число $п$ , и $ж$ может быть написано

{ displaystyle f (x) = sum _ {i = 0} ^ {k} a_ {i} x ^ {pi}.}

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

Отделимые и неотделимые многочлены

An неприводимый многочлен $ж$ в $F [Икс]$ является отделяемый тогда и только тогда, когда он имеет различные корни в любом расширение из $F$ (то есть, если его можно разложить на различные линейные множители по алгебраическое замыкание из $F)$ .^[5] Позволять $ж$ в $F [Икс]$ неприводимый многочлен и $f '$ его формальная производная. Тогда следующие условия эквивалентны неприводимому многочлену $ж$ быть отделимым:

Если $E$ является продолжением $F$ в котором $ж$ является произведением линейных множителей, то квадрат этих множителей не делит $ж$ в $E [Икс]$ (это $ж$ является без квадратов над $E$ ).^[6]
Есть расширение $E$ из $F$ такой, что $ж$ имеет $град (ж)$ попарно различные корни в $E$ .^[6]
Постоянная $1$ это полиномиальный наибольший общий делитель из $ж$ и $f '$ .^[7]
Формальная производная $f '$ из $ж$ не является нулевым многочленом.^[8]
Либо характеристика $F$ равна нулю, либо характеристика равна $п$ , и $ж$ не в форме ${ displaystyle textstyle sum _ {i = 0} ^ {k} a_ {i} X ^ {pi}.}$

Поскольку формальная производная полинома положительной степени может быть равна нулю, только если поле имеет простую характеристику, для того, чтобы неприводимый полином не был отделимым, его коэффициенты должны лежать в поле простой характеристики. В более общем смысле неприводимый (ненулевой) многочлен $ж$ в $F [Икс]$ неотделима тогда и только тогда, когда характеристика $F$ является (ненулевым) простым числом $п$ , и $ж (Икс)= г (Икс п$ ) для некоторых несводимый многочлен $г$ в $F [Икс]$ .^[9] Из повторного применения этого свойства следует, что на самом деле ${ Displaystyle е (Х) = г (Х ^ {р ^ {п}})}$ для неотрицательного целого числа $п$ и немного отделимый неприводимый многочлен $г$ в $F [Икс]$ (где $F$ предполагается, что имеет простую характеристику п).^[10]

Если Эндоморфизм Фробениуса ${ Displaystyle х к х ^ {p}}$ из $F$ не сюръективно, есть элемент ${ displaystyle a in F}$ что не $п$ я степень элемента $F$ . В этом случае многочлен ${ displaystyle X ^ {p} -a}$ несводимо и неотделимо. Наоборот, если существует неразрывный неприводимый (ненулевой) многочлен ${ displaystyle textstyle f (X) = sum a_ {i} X ^ {ip}}$ в $F [Икс]$ , то Эндоморфизм Фробениуса из $F$ не может быть автоморфизм, так как в противном случае мы имели бы ${ displaystyle a_ {i} = b_ {i} ^ {p}}$ для некоторых ${ displaystyle b_ {i}}$ , а многочлен $ж$ будет учитываться как ${ displaystyle textstyle sum a_ {i} X ^ {ip} = left ( sum b_ {i} X ^ {i} right) ^ {p}.}$ ^[11]

Если $K$ конечное поле простой характеристики п, и если $Икс$ является неопределенный, то поле рациональных функций над $K$ , $K (Икс)$ , обязательно несовершенный, а многочлен $ж (Y)= Y п - Икс$ неотделима (его формальная производная в Y равно 0).^[1] В более общем смысле, если F - любое поле (ненулевой) простой характеристики, для которого Эндоморфизм Фробениуса не автоморфизм, F обладает неотделимым алгебраическим расширением.^[12]

Поле F является идеально тогда и только тогда, когда все неприводимые многочлены отделимы. Это следует из того $F$ идеально тогда и только тогда, когда $F$ имеет нулевую характеристику, или $F$ имеет (ненулевую) простую характеристику $п$ и Эндоморфизм Фробениуса из $F$ это автоморфизм. Это включает в себя каждое конечное поле.

Отделимые элементы и отделимые расширения

Позволять ${ Displaystyle E supseteq F}$ быть расширением поля. Элемент ${ displaystyle alpha in E}$ является отделяемый над $F$ если он алгебраичен $F$ , и это минимальный многочлен сепарабельно (минимальный многочлен элемента обязательно неприводим).

Если ${ displaystyle alpha, beta in E}$ отделимы по $F$ , тогда ${ Displaystyle альфа + бета}$ , ${ displaystyle alpha beta}$ и ${ displaystyle 1 / alpha}$ отделимы по F.

Таким образом, набор всех элементов в $E$ отделимый над $F$ образует подполе $E$ , называется отделяемое закрытие из $F$ в $E$ .^[13]

Раздельное закрытие $F$ в алгебраическое замыкание из $F$ просто называется отделяемое закрытие из $F$ . Как и алгебраическое замыкание, оно единственно с точностью до изоморфизма, и, вообще говоря, этот изоморфизм не единственен.

Расширение поля ${ Displaystyle E supseteq F}$ является отделяемый, если $E$ является отделимым замыканием $F$ в $E$ . Это так тогда и только тогда, когда $E$ генерируется над $F$ отделяемыми элементами.

Если ${ Displaystyle E supseteq L supseteq F}$ являются расширениями полей, то $E$ отделим над $F$ если и только если $E$ отделим над $L$ и $L$ отделим над $F$ .^[14]

Если ${ Displaystyle E supseteq F}$ это конечное расширение (это $E$ это $F$ -векторное пространство конечной размерности), то следующие эквивалентны.

$E$ отделим над $F$ .
${ Displaystyle Е = F (а_ {1}, ldots, а_ {г})}$ где ${ displaystyle a_ {1}, ldots, a_ {r}}$ являются отделимыми элементами $E$ .
${ Displaystyle E = F (а)}$ где $а$ является отделимым элементом $E$ .
Если $K$ является алгебраическим замыканием $F$ , то есть ровно ${ displaystyle [E: F]}$ гомоморфизмы поля из $E$ в $K$ который исправить $F$ .
Для любого нормального расширения $K$ из $F$ который содержит $E$ , то есть ровно ${ displaystyle [E: F]}$ гомоморфизмы поля $E$ в $K$ который исправить $F$ .

Эквивалентность 3 и 1 известна как теорема о примитивном элементе или Теорема Артина о примитивных элементах.Свойства 4. и 5. являются основой Теория Галуа, и, в частности, основная теорема теории Галуа.

Отделимые расширения в алгебраических расширениях

Позволять ${ Displaystyle E supseteq F}$ - алгебраическое расширение полей характеристики $п$ . Раздельное закрытие $F$ в $E$ является ${ displaystyle S = { alpha in E | alpha { text {разделяется на}} F }.}$ Для каждого элемента ${ displaystyle x in E setminus S}$ существует положительное целое число $k$ такой, что ${ displaystyle x ^ {p ^ {k}} in S,}$ и поэтому $E$ это чисто неотделимое расширение из $S$ . Это следует из того $S$ единственное промежуточное поле, которое отделяемый над $F$ и над которым $E$ является полностью неразлучен.^[15]

Если ${ Displaystyle E supseteq F}$ это конечное расширение, его степень $[E : F]$ это произведение степеней $[S : F]$ и $[E : S]$ . Бывший, часто обозначаемый $[E : F] сен$ часто называют отделяемая часть из $[E : F]$ , или как отделимая степень из $E / F$ ; последний упоминается как неотделимая часть степени или неотделимая степень.^[16] Неразделимая степень равна 1 по нулевой характеристике и степенью $п$ в характеристике $п > 0$ .^[17]

С другой стороны, произвольное алгебраическое расширение ${ Displaystyle E supseteq F}$ не может иметь промежуточного расширения $K$ это полностью неразлучен над $F$ и над которым $E$ является отделяемый. Однако такое промежуточное расширение может существовать, если, например, ${ Displaystyle E supseteq F}$ является нормальным расширением конечной степени (в этом случае $K$ - фиксированное поле группы Галуа $E$ над $F$ ). Предположим, что такое промежуточное расширение действительно существует, и $[E : F]$ конечно, то $[S : F] = [E : K]$ , где $S$ является отделимым замыканием $F$ в $E$ .^[18] Известные доказательства этого равенства используют тот факт, что если ${ Displaystyle K supseteq F}$ является чисто неотделимым расширением, и если $ж$ является сепарабельным неприводимым многочленом от $F [Икс]$ , тогда $ж$ остается неприводимым в K[Икс]^[19]). Из этого равенства следует, что если $[E : F]$ конечно, и $U$ это промежуточное поле между $F$ и $E$ , тогда $[E : F] сен = [E : U] сен \cdot[U : F] сен$ .^[20]

Съемная застежка $F сен$ поля $F$ является отделимым замыканием $F$ в алгебраическое замыкание из $F$ . Это максимальная Расширение Галуа из $F$ . По определению, $F$ является идеально тогда и только тогда, когда его сепарабельное и алгебраическое замыкания совпадают (в частности, понятие сепарабельного замыкания интересно только для несовершенных полей).

Разделимость трансцендентных расширений

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

Для определения отделимости трансцендентного расширения естественно использовать тот факт, что каждое расширение поля является алгебраическим расширением чисто трансцендентное расширение. Это приводит к следующему определению.

А разделяющая основа трансцендентности расширения ${ Displaystyle E supseteq F}$ это основа трансцендентности $Т$ из $E$ такой, что $E$ является сепарабельным алгебраическим расширением $F (Т)$ . А конечно порожденное расширение поля является отделяемый тогда и только тогда, когда он имеет разделяющую основу трансцендентности; расширение, которое не является конечно порожденным, называется сепарабельным, если каждое конечно порожденное подрасширение имеет разделяющий базис трансцендентности.^[21]

Позволять ${ Displaystyle E supseteq F}$ быть расширением поля характеристический показатель $п$ (это $п = 1$ в нулевой характеристике и в противном случае $п$ - характеристика). Следующие свойства эквивалентны:

$E$ является сепарабельным расширением $F$ ,
${ displaystyle E ^ {p}}$ и $F$ находятся линейно непересекающийся над ${ displaystyle F ^ {p},}$
${ displaystyle F ^ {1 / p} otimes _ {F} E}$ является уменьшенный,
${ displaystyle L otimes _ {F} E}$ уменьшается для каждого расширения поля $L$ из $E$ ,

где ${ displaystyle otimes _ {F}}$ обозначает тензорное произведение полей, ${ displaystyle F ^ {p}}$ это поле $п$ я силы элементов $F$ (для любого поля $F$ ), и ${ displaystyle F ^ {1 / p}}$ поле, полученное прилегающий к $F$ то $п$ корень -й корень всех его элементов (см. Сепарабельная алгебра подробнее).

Дифференциальные критерии

Разделимость можно изучить с помощью производные. Позволять $E$ быть конечно порожденное расширение поля поля $F$ . Обозначение ${ displaystyle operatorname {Der} _ {F} (E, E)}$ то $E$ -векторное пространство $F$ -линейные выводы $E$ , надо

{ displaystyle dim _ {E} operatorname {Der} _ {F} (E, E) geq operatorname {tr.deg} _ {F} E,}

и равенство выполняется тогда и только тогда, когда E отделим над F (здесь "tr.deg" означает степень трансцендентности).

В частности, если ${ displaystyle E / F}$ является алгебраическим расширением, то ${ displaystyle operatorname {Der} _ {F} (E, E) = 0}$ если и только если ${ displaystyle E / F}$ отделимо.^[22]

Позволять ${ Displaystyle D_ {1}, ldots, D_ {m}}$ быть основой ${ displaystyle operatorname {Der} _ {F} (E, E)}$ и ${ displaystyle a_ {1}, ldots, a_ {m} in E}$ . потом ${ displaystyle E}$ сепарабельно алгебраичен над ${ Displaystyle F (а_ {1}, ldots, а_ {м})}$ тогда и только тогда, когда матрица ${ displaystyle D_ {i} (a_ {j})}$ обратимо. В частности, когда ${ displaystyle m = operatorname {tr.deg} _ {F} E}$ , эта матрица обратима тогда и только тогда, когда ${ Displaystyle {а_ {1}, ldots, а_ {м} }}$ - разделяющая основа трансцендентности.

Заметки

^ ^а ^б Айзекс, стр. 281
^ Айзекс, теорема 18.11, с. 281
^ Айзекс, теорема 18.13, с. 282
^ Айзекс, стр. 298
^ Айзекс, стр. 280
^ ^а ^б Айзекс, лемма 18.7, с. 280
^ Айзекс, теорема 19.4, с. 295
^ Айзекс, следствие 19.5, с. 296
^ Айзекс, Следствие 19.6, с. 296
^ Айзекс, Следствие 19.9, стр. 298
^ Айзекс, теорема 19.7, с. 297
^ Айзекс, стр. 299
^ Айзекс, лемма 19.15, с. 300
^ Айзекс, следствие 18.12, стр. 281
^ Айзекс, теорема 19.14, с. 300
^ Айзекс, стр. 302
^ Lang 2002, Следствие V.6.2
^ Айзекс, теорема 19.19, с. 302
^ Айзекс, лемма 19.20, с. 302
^ Айзекс, Следствие 19.21, стр. 303
^ Фрид и Джарден (2008) стр.38
^ Фрид и Джарден (2008), стр.49

использованная литература

Борель, А. Линейные алгебраические группы2-е изд.
ВЕЧЕРА. Кон (2003). Базовая алгебра
Фрид, Майкл Д .; Джарден, Моше (2008). Полевая арифметика. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Фольге. 11 (3-е изд.). Springer-Verlag. ISBN 978-3-540-77269-9. Zbl 1145.12001.
И. Мартин Айзекс (1993). Алгебра, аспирантура (1-е изд.). Издательство Brooks / Cole Publishing Company. ISBN 0-534-19002-2.
Каплански, Ирвинг (1972). Поля и кольца. Чикагские лекции по математике (второе изд.). Издательство Чикагского университета. С. 55–59. ISBN 0-226-42451-0. Zbl 1001.16500.
М. Нагата (1985). Коммутативная теория поля: новое издание, Шокабо. (Японский) [1]
Сильверман, Джозеф (1993). Арифметика эллиптических кривых. Springer. ISBN 0-387-96203-4.

внешние ссылки

"сепарабельное расширение поля k", Энциклопедия математики, EMS Press, 2001 [1994]

[Isaacs281-1] а ^б Айзекс, стр. 281

[Isaacs18.11p281-2] Айзекс, теорема 18.11, с. 281

[3] Айзекс, теорема 18.13, с. 282

[Isaacs298-4] Айзекс, стр. 298

[5] Айзекс, стр. 280

[IsaacsLem18.7-6] а ^б Айзекс, лемма 18.7, с. 280

[7] Айзекс, теорема 19.4, с. 295

[8] Айзекс, следствие 19.5, с. 296

[9] Айзекс, Следствие 19.6, с. 296

[10] Айзекс, Следствие 19.9, стр. 298

[11] Айзекс, теорема 19.7, с. 297

[Isaacs299-12] Айзекс, стр. 299

[13] Айзекс, лемма 19.15, с. 300

[14] Айзекс, следствие 18.12, стр. 281

[15] Айзекс, теорема 19.14, с. 300

[Isaacs302-16] Айзекс, стр. 302

[17] Lang 2002, Следствие V.6.2

[18] Айзекс, теорема 19.19, с. 302

[19] Айзекс, лемма 19.20, с. 302

[20] Айзекс, Следствие 19.21, стр. 303

[FJ38-21] Фрид и Джарден (2008) стр.38

[FJ49-22] Фрид и Джарден (2008), стр.49

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

Navigation