Двач.hk не отвечает.
Вы видите копию треда, сохраненную 16 сентября в 06:25.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 16 сентября в 06:25.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
69 Кб, 515x239Матач, помоги. Как доказать, что неприводимый над некоторым полем P многочлен не имеет совпадающих корней?
>>5817 (OP)
По теореме Безу
По теореме Безу
>>5820
Пусть a - дважды корень. Тогда f делится на (x-a)^2, т.е. f = g(x-a)^2. Тогда у многочлена f = g(x-a) корни те же самые, а степень на единичку ниже. Это противоречит тому, что f - минимальный многочлен.
Пусть a - дважды корень. Тогда f делится на (x-a)^2, т.е. f = g(x-a)^2. Тогда у многочлена f = g(x-a) корни те же самые, а степень на единичку ниже. Это противоречит тому, что f - минимальный многочлен.
>>5824
f неразложим над P, являясь при этом многочленом над ним. Это следует из минимальности.
g(x-a) же вполне может не являться многочленом над P, а значит условие минимальности f не обязательно нарушается.
Т.е. нет никаких оснований считать, что многочлен g(x-a) будет многочленом над P, а значит будет противоречить условию.
Вообще, Постников ИМХО хуйню какую-то в этом абзаце спизданул. Он тут теорему одну доказывает, вот для доказательства достаточно потребовать, чтобы все эти беты и гаммы со скрина не совпадали и при этом являлись корнями исследуемых многочленов. Т.е. даже если у них есть совпадающие корни, мы среди бет и гамм совпадающих числен не пишем. С таким построением доказательство пойдет. Хз, нахуй он эту хуйню про минимальность спизданул, черт ебаный.
f неразложим над P, являясь при этом многочленом над ним. Это следует из минимальности.
g(x-a) же вполне может не являться многочленом над P, а значит условие минимальности f не обязательно нарушается.
Т.е. нет никаких оснований считать, что многочлен g(x-a) будет многочленом над P, а значит будет противоречить условию.
Вообще, Постников ИМХО хуйню какую-то в этом абзаце спизданул. Он тут теорему одну доказывает, вот для доказательства достаточно потребовать, чтобы все эти беты и гаммы со скрина не совпадали и при этом являлись корнями исследуемых многочленов. Т.е. даже если у них есть совпадающие корни, мы среди бет и гамм совпадающих числен не пишем. С таким построением доказательство пойдет. Хз, нахуй он эту хуйню про минимальность спизданул, черт ебаный.
>>5830
>>5824
>>5817 (OP)
Это какая-то лютая хуйня, к которой есть контрпример, сам его расписывал.
Так вот, если мы рассмотрим поле рациональных дробей Z_p(t) и в нем многочлен f(x) = x^p - t из Z_p(t)[x].
Тогда из леммы Гаусса для факториальных колец будет верно, что неприводимость над Z_p[t] экививалента неприводимости над Z_p(t).
t является простым элементом в Z_p[t], тогда применив критерий Эйзентштейна для факториальных колец, получаем, что f(x) неприводим.
Теперь в алгебраическом замыкание f(x) у этого многочлена будет корень a, a^p = t, тогда из того, что характеристика равна p, следует, что f(x) = x^p - t = x^p - a^p = (x - a)^p, вот тебе и кратный корень неприводимого многочлена
>>5824
>>5817 (OP)
Это какая-то лютая хуйня, к которой есть контрпример, сам его расписывал.
Так вот, если мы рассмотрим поле рациональных дробей Z_p(t) и в нем многочлен f(x) = x^p - t из Z_p(t)[x].
Тогда из леммы Гаусса для факториальных колец будет верно, что неприводимость над Z_p[t] экививалента неприводимости над Z_p(t).
t является простым элементом в Z_p[t], тогда применив критерий Эйзентштейна для факториальных колец, получаем, что f(x) неприводим.
Теперь в алгебраическом замыкание f(x) у этого многочлена будет корень a, a^p = t, тогда из того, что характеристика равна p, следует, что f(x) = x^p - t = x^p - a^p = (x - a)^p, вот тебе и кратный корень неприводимого многочлена
>>5830
>>6759
Когда говорят про «корни многочлена над P”, подразумевают всё-таки, что речь идёт о корнях из P. Если в пике>>5817 (OP) имеется в виду именно это, то ошибки там нет, рассуждение>>5824 для таких корней, конечно, верное
>>6759
Когда говорят про «корни многочлена над P”, подразумевают всё-таки, что речь идёт о корнях из P. Если в пике>>5817 (OP) имеется в виду именно это, то ошибки там нет, рассуждение>>5824 для таких корней, конечно, верное
>>6761
Во-первых, в самом тексте нет фразы корни многочлена над P.
Во-вторых, Напомню определение минимального многочлена элемента поля над подполем $P \subset E$. Минимальный многочлен $\alpha$ над $P$, это приведенный многочлен минимальной степени, зануляющий $\alpha$.
Нетрудно понять, что этот многочлен будет неприводим в $P[x]$, так как иначе, он не минимален. А если он неприводим над $P$, то у него вообще корней в P нет, от слова совсем, если у многочлена есть есть корень, то он приводим по теореме Безу. Все корни будут как раз-таки лежать в $E$, а там они могут быть одинаковыми по моему примеру выше.
Во-первых, в самом тексте нет фразы корни многочлена над P.
Во-вторых, Напомню определение минимального многочлена элемента поля над подполем $P \subset E$. Минимальный многочлен $\alpha$ над $P$, это приведенный многочлен минимальной степени, зануляющий $\alpha$.
Нетрудно понять, что этот многочлен будет неприводим в $P[x]$, так как иначе, он не минимален. А если он неприводим над $P$, то у него вообще корней в P нет, от слова совсем, если у многочлена есть есть корень, то он приводим по теореме Безу. Все корни будут как раз-таки лежать в $E$, а там они могут быть одинаковыми по моему примеру выше.
>>6761
Нет, не подразумевают, когда говорят корни многочлена над P, говорят что корень многочлена над $P[x]$, анон, иди с базовой литературой по алгебре ознакомься.
>>Когда говорят про «корни многочлена над P”, подразумевают всё-таки, что речь идёт о корнях из P.
Нет, не подразумевают, когда говорят корни многочлена над P, говорят что корень многочлена над $P[x]$, анон, иди с базовой литературой по алгебре ознакомься.
>>5817 (OP)
Нужно взять производную и затем воспользоваться алгоритмом евклида.
Нужно взять производную и затем воспользоваться алгоритмом евклида.
>>6911
Ты прав. Уже разобрался.
Ты прав. Уже разобрался.
>>6759
У автора речь идет о характеристике ноль, а в ней все непроходимые многочлены, как известно, сепарабельны. Просто автор мудак и забыл это уточнить. Но можно откопать более новое издание, там тема раскрыта лучше.
У автора речь идет о характеристике ноль, а в ней все непроходимые многочлены, как известно, сепарабельны. Просто автор мудак и забыл это уточнить. Но можно откопать более новое издание, там тема раскрыта лучше.
Двач.hk не отвечает.
Вы видите копию треда, сохраненную 16 сентября в 06:25.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Вы видите копию треда, сохраненную 16 сентября в 06:25.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.