2014 dxdy logo

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

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




На страницу 1, 2, 3, 4  След.
 
 Задача по теории Галуа
Сообщение06.12.2013, 15:44 
Аватара пользователя
Добрый день.

Помогите разобраться с задачей.
Условие: найти неприводимый над $\mathbb{Q}$ многочлен степени 3 такой, чтобы группа Галуа его поля разложения была изоморфна $\mathbb{Z}/3\mathbb{Z}$.

Полем разложения такого многочлена будет $\mathbb{Q}(x_1, x_2, x_3)$, где $x_1, x_2, x_3$ - корни этого самого многочлена. Группа Галуа этого поля имеет размерность 3. Как я понимаю, её базис будет дуальным к базису поля. Но такие размышления никак не конкретизируют искомый полином. То есть мне пока даже не ясно - единственный ли он.
Подскажите хотя бы в какую сторону мыслить?

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 15:55 
DoubleBubble в сообщении #796925 писал(а):
Полем разложения такого многочлена будет $\mathbb{Q}(x_1, x_2, x_3)$, где $x_1, x_2, x_3$ - корни этого самого многочлена. Группа Галуа этого поля имеет размерность 3.
Вот и попробуйте найти такой многочлен 3-й степени, чтобы $[\mathbb{Q}(x_1,x_2,x_3):\mathbb{Q}]=3$. Иными словами, нужно, чтобы $x_2$ и $x_3$ рационально выражались через $x_1$.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 17:08 
Аватара пользователя
Как попробовать? :)
В голову пришёл вариант $x_1 = \sqrt[4]{2},\; x_2 = \sqrt{2},\; x_3 = \sqrt[4]{2^3}$
$\\x_2 = x_1 \cdot x_1\\x_3 = x_1 \cdot x_1 \cdot x_1$
Но я этот вариант ни доказать ни объяснить. Что называется - пальцем в небо.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 17:48 
DoubleBubble в сообщении #796961 писал(а):
В голову пришёл вариант $x_1 = \sqrt[4]{2},\; x_2 = \sqrt{2},\; x_3 = \sqrt[4]{2^3}$
Это плохой вариант, так как многочлен с такими корнями не будет иметь рациональные коэффициенты.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 18:08 
Аватара пользователя
Да, конечно. Вы правы.

Наверняка есть какой-то метод?

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 18:19 
DoubleBubble в сообщении #796988 писал(а):
Наверняка есть какой-то метод?
Есть. Намекну: нужно рассмотреть дискриминант кубического многочлена. Каким этот дискриминант должен быть, что все корни уравнения можно было рационально выразить через один из них?

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 18:57 
Аватара пользователя
На ум приходит только то, что при нулевом дискриминанте все три корня могут совпасть, но это какой-то вырожденный случай.
Мне кажется, что я никогда не слышал, чтобы дискриминант позволял судить о том, выражаются ли корни друг через друга.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 19:43 
DoubleBubble в сообщении #797021 писал(а):
Мне кажется, что я никогда не слышал, чтобы дискриминант позволял судить о том, выражаются ли корни друг через друга.
Открываю тайну: докажите, что если дискриминант кубического многочлена является точным квадратом, то все корни можно рационально выразить через один из них.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 21:02 
Аватара пользователя
Ок, ну нашёл я, что для кубического уравнения вида $x^3 + px + q = 0$ корни будут иметь вид

$\\x_1 = \alpha +\beta \\ 
x_{2,3} = -\frac{\alpha +\beta}{2} \pm  i\frac{\alpha -\beta}{2}\sqrt{3}
$, где

$\\\alpha = \sqrt[3]{-\frac{q}{2}+\sqrt{D}}\\
\beta = \sqrt[3]{-\frac{q}{2}-\sqrt{D}}
$

а $D=-4\cdot p^3-27\cdot q^2$ - дискриминант.
Но всё равно я битый час не могу увидеть, что если D - квадрат какого-то целого числа, то я смогу выразить $x_{2,3}$ через $x_1$.

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 21:23 
А Вы напишите равенства $(x_1-x_2)(x_1-x_3)(x_2-x_3)=a$, $x_1+x_2+x_3=0$, $x_1x_2+x_1x_3+x_1x_2=p$ и попробуйте с ними чего-нибудь поделать. (Про формулу Кардано лучше не вспоминать.)

 
 
 
 Re: Задача по теории Галуа
Сообщение06.12.2013, 23:27 
Аватара пользователя
Вы как-то слишком прозрачно намекаете. От двух часов "чего-то делания" я так ни к чему и не пришёл.
Даже не знаю что нужно увидеть/получить.

 
 
 
 Re: Задача по теории Галуа
Сообщение07.12.2013, 07:57 
DoubleBubble в сообщении #797152 писал(а):
От двух часов "чего-то делания" я так ни к чему и не пришёл.

Так, похоже, что я Вас немного запутал, извиняюсь. Быстрее выйдет, если мы будем чего-то делать с равенствами
$$
(x_1-x_2)(x_1-x_3)(x_2-x_3)=a, \quad x_1+x_2+x_3=0, \quad x_1x_2x_3=-q.
$$
Мы хотим выразить $x_2$ и $x_3$ через $x_1$. Для этого нам достаточно выразить $x_2 \pm x_3$ через $x_1$. Что касается суммы $x_2+x_3$, то здесь всё ясно:
$$
x_2+x_3=-x_1.
$$
А вот с разностью $x_2-x_3$ нужно немного повозиться. Имеем
$$
x_2-x_3=\frac{a}{(x_1-x_2)(x_1-x_3)}=\frac{a}{x_1^2-(x_2+x_3)x_1+x_2x_3}.
$$
Осталось сделать последний шаг.

 
 
 
 Re: Задача по теории Галуа
Сообщение07.12.2013, 13:26 
Аватара пользователя
$\frac{a}{(x_1-x_2)(x_1-x_3)}=\frac{a}{x_1^2-(x_2+x_3)x_1+x_2x_3}=\frac{a}{x_1^2+x_1^2-qx_1^{-1}}=\frac{a}{2x_1^2-qx_1^{-1}}=\frac{ax_1}{2x_1^3-q}$

 
 
 
 Re: Задача по теории Галуа
Сообщение07.12.2013, 13:29 
Ну вот, доказали.

 
 
 
 Re: Задача по теории Галуа
Сообщение07.12.2013, 13:30 
Аватара пользователя
А что такое $a$ и откуда оно появилось?

 
 
 [ Сообщений: 48 ]  На страницу 1, 2, 3, 4  След.


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