2014 dxdy logo

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

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




 
 Многочлен от трех переменных
Сообщение24.07.2013, 12:13 
Аватара пользователя
Является ли многочлен $x^4+y^4+z^4\in\mathbb{F}_{29}[x,y,z]$ неприводимым?

 
 
 
 Re: Многочлен от трех переменных
Сообщение24.07.2013, 19:38 
Если $x^4+y^4+z^4$ приводим, то приводим многочлен $2x^4+1$, а значит приводим и $x^4-14$ над $\mathbb{F}_{29}$, но $14$ - квадратичный невычет по модулю $29$, значит многочлен $x^4-14$ не имеет корней в $\mathbb{F}_{29}$. Кроме того, он не раскладывается и на множители 2-го порядка:
$x^4-14\equiv (x^2+ax+b)(x^2-ax+b)\equiv x^4+(2b^2-a^2)x^2+b^2\pmod{29}$, откуда $2b^2-a^2\equiv 0\pmod{29}\Leftrightarrow 2$ - квадратичный вычет, но последнее неверно тоже.

Правильно?

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


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