2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Примитивность расширения поля
Сообщение07.12.2013, 19:24 
Аватара пользователя
Добрый вечер!

Помогите, пожалуйста, разобраться со следующей задачей.
Условие: пусть $K := \mathbb{F}_p(x,y)$ - поле рациональных функций от $x, y$, а $k\subset K$ - его подполе, порождённое $x^p,y^p$. Докажите, что расширение $[K:k]$ - не примитивно.

Как я понял - расширение примитивно, если получено с помощью присоединения корней неприводимого многочлена, но я теряюсь, так как тут поля рациональных функций.
И ещё узнал про теорему Артина, но она тут, кажется, бесполезна.

 
 
 
 Re: Примитивность расширения поля
Сообщение07.12.2013, 19:49 
Аватара пользователя
А вы по какому учебнику занимаетесь? Обычно это называется простым расширением. А пример классический.

DoubleBubble в сообщении #797431 писал(а):
И ещё узнал про теорему Артина, но она тут, кажется, бесполезна.
Если имеется в виду теорема Артина о примитивном элементе (алгебраическое расширение $K/F$ является простым тогда и только тогда, когда промежуточных полей $K\supset E\supset F$ конечное число), то можно через нее. Можно и проще, от противного.

Надо помнить, что в $\mathbb{F}_p$ справедливо $(x+y)^p = x^p + y^p$ и $a^p = a$

 
 
 
 Re: Примитивность расширения поля
Сообщение07.12.2013, 22:43 
Аватара пользователя
То есть мне нужно найти такой элемент, добавив который к $k$ я получу $K$?

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 18:24 
Аватара пользователя
Или многочлен?

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 22:02 
DoubleBubble в сообщении #797823 писал(а):
Или многочлен?

Элемент. А многочлен (в смысле его коэффициенты) должны быть в $k$.
Впрочем, искать можно и многочлен. Только присоединять надо все же элемент - его корень.

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 22:13 
Аватара пользователя
Точнее мне нужно доказать, что такого элемента нет, ведь если он есть, то расширение примитивно.
Но как это показать?

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 22:32 
DoubleBubble в сообщении #797926 писал(а):
Точнее мне нужно доказать, что такого элемента нет, ведь если он есть, то расширение примитивно.
Но как это показать?
Ну так Xaositect же намекнул.

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 22:56 
Аватара пользователя
Все элементы поля $k$ имеют вид $a+bx^p+cy^p+dx^py^p$, так?
Верно ли то, что $a+bx^p+cy^p+dx^py^p~=a+(bx+cy)^p+(dxy)^p~=a^p+~(bx+~cy+~dxy)^p~=~(a+~bx+~cy+~dxy)^p$?
В любом случае не могу понять, в какую сторону "копать".

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 23:26 
DoubleBubble в сообщении #797947 писал(а):
Все элементы поля $k$ имеют вид $a+bx^p+cy^p+dx^py^p$, так?
Верно ли то, что $a+bx^p+cy^p+dx^py^p~=a+(bx+cy)^p+(dxy)^p~=a^p+~(bx+~cy+~dxy)^p~=~(a+~bx+~cy+~dxy)^p$?
В любом случае не могу понять, в какую сторону "копать".
Что касается вида элементов, не совсем. А преобразования правильные.

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 23:27 
Аватара пользователя
Что не так с видом?

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 23:47 
DoubleBubble в сообщении #797963 писал(а):
Что не так с видом?
Должны быть рациональные функции. А у Вас даже не многочлен (точнее, многочлен частного вида).

 
 
 
 Re: Примитивность расширения поля
Сообщение08.12.2013, 23:53 
Аватара пользователя
а, точно, тогда $\frac{P(x^p, y^p)}{Q(x^p, y^p)}$ ?

 
 
 
 Re: Примитивность расширения поля
Сообщение09.12.2013, 00:07 
DoubleBubble в сообщении #797971 писал(а):
а, точно, тогда $\frac{P(x^p, y^p)}{Q(x^p, y^p)}$ ?
Угу.

 
 
 
 Re: Примитивность расширения поля
Сообщение09.12.2013, 00:11 
Аватара пользователя
Окей, но я всё равно не вижу способа доказать, что нет соответствующего элемента.
Интуитивно, конечно, кажется, что его нет, но никаких аргументов ни "за", ни "против" не могу привести.

 
 
 [ Сообщений: 14 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group