Сепарабельное расширение

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

Определение и основные понятия

Пусть \( L/K \) — алгебраическое расширение полей. Элемент \( \alpha \in L \) называется сепарабельным над \( K \), если его минимальный многочлен \( f(x) \in K[x] \) не имеет кратных корней в алгебраическом замыкании \( \overline{K} \). Эквивалентно, \( f(x) \) не имеет общих корней со своей производной \( f'(x) \). Если все элементы \( L \) сепарабельны над \( K \), то расширение \( L/K \) называется сепарабельным.

В случае полей нулевой характеристики (например, \( \mathbb{Q}, \mathbb{R}, \mathbb{C} \)) любое алгебраическое расширение является сепарабельным, так как производная ненулевого многочлена не может быть нулевой. Проблемы возникают в полях положительной характеристики \( p > 0 \), где возможны случаи, когда производная многочлена обращается в нуль (например, \( f(x) = x^p - a \)).

Критерии сепарабельности

Критерий через производную

Элемент \( \alpha \) сепарабелен над \( K \) тогда и только тогда, когда его минимальный многочлен \( f(x) \) взаимно прост со своей производной \( f'(x) \). В поле характеристики \( p \) это условие эквивалентно тому, что \( f(x) \) не является многочленом от \( x^p \).

Сепарабельность расширения

Расширение \( L/K \) сепарабельно, если:

• Оно порождено сепарабельными элементами.
• Для любого \( \alpha \in L \) минимальный многочлен \( f(x) \) сепарабелен.
• Степень расширения \( [L : K] \) равна числу \( K \)-вложений \( L \) в алгебраическое замыкание \( \overline{K} \) (в случае конечного расширения).

Теорема о примитивном элементе

Если \( L/K \) — конечное сепарабельное расширение, то оно является простым, то есть существует такой элемент \( \theta \in L \), что \( L = K(\theta) \). Это утверждение — один из центральных результатов теории полей.

Свойства

Композиция сепарабельных расширений

Если \( L/K \) и \( M/L \) — сепарабельные расширения, то \( M/K \) также сепарабельно. Обратно, если \( M/K \) сепарабельно, то любое промежуточное расширение \( L/K \) также сепарабельно.

Сепарабельное замыкание

Максимальное сепарабельное подрасширение алгебраического замыкания \( \overline{K} \) называется сепарабельным замыканием поля \( K \) и обозначается \( K^{\text{sep}} \). Оно является сепарабельным расширением, и любое сепарабельное расширение \( K \) вкладывается в \( K^{\text{sep}} \).

Связь с теорией Галуа

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

Примеры

Поля нулевой характеристики

Любое алгебраическое расширение поля \( \mathbb{Q} \) (например, \( \mathbb{Q}(\sqrt{2}) \)) сепарабельно. Минимальный многочлен \( x^2 - 2 \) не имеет кратных корней.

Поля положительной характеристики

Рассмотрим поле \( \mathbb{F}_p(t) \) — поле рациональных функций над конечным полем \( \mathbb{F}_p \). Расширение \( \mathbb{F}_p(t^{1/p}) / \mathbb{F}_p(t) \) является несепарабельным, так как минимальный многочлен \( x^p - t \) имеет производную \( p x^{p-1} = 0 \) и, следовательно, кратные корни (все корни равны \( t^{1/p} \)).

Сепарабельное расширение в характеристике p

Поле \( \mathbb{F}_p(t) \) допускает сепарабельные расширения, например, \( \mathbb{F}_p(t)(\sqrt{t}) \), где \( \sqrt{t} \) — корень многочлена \( x^2 - t \), который сепарабелен, так как его производная \( 2x \neq 0 \) (при \( p \neq 2 \)).

Применение

Алгебраическая геометрия

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

Теория кодирования

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

Криптография

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

Интересные факты

• Поле \( K \) называется совершенным, если любое его алгебраическое расширение сепарабельно. К совершенным полям относятся все поля нулевой характеристики, конечные поля, алгебраически замкнутые поля. Пример несовершенного поля — \( \mathbb{F}_p(t) \).
• Степень несепарабельности расширения измеряется индексом несепарабельности — степенью, в которой минимальный многочлен является многочленом от \( x^p \).
• В теории Галуа для несепарабельных расширений вводится понятие группы Галуа в смысле Крулля и сепарабельной степени расширения.

Критика и ограничения

Понятие сепарабельного расширения теряет смысл для трансцендентных расширений, где сепарабельность определяется через дифференциалы (сепарабельные расширения полей функций). В чисто несепарабельных расширениях (например, \( \mathbb{F}_p(t^{1/p}) / \mathbb{F}_p(t) \)) группа автоморфизмов тривиальна, что делает классическую теорию Галуа неприменимой. Для преодоления этого разработана теория высших дифференциалов и p-алгебр.

Источники

• Ленг С. Алгебра. — М.: Мир, 1968. — Глава VII, §4.
• Ван дер Варден Б. Л. Алгебра. — М.: Наука, 1976. — Глава 10.
• Бурбаки Н. Алгебра. Многочлены и поля. — М.: Наука, 1965. — Глава V.
• Jacobson N. Basic Algebra I. — W. H. Freeman, 1985. — Chapter 4.