Scomporre $x^4+1$

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Scomporre $x^4+1$

Messaggio da dario2994 » 06 feb 2011, 13:35

Dimostrare che per ogni $p$ primo il polinomio $x^4+1$ si può fattorizzare modulo $p$.
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

Veluca
Messaggi: 185
Iscritto il: 27 dic 2008, 01:08
Località: Chiavari (Genova)

Re: Scomporre $x^4+1$

Messaggio da Veluca » 06 feb 2011, 15:34

Testo nascosto:
Supponiamo inizialmente $p\equiv 1 \pmod 4$.
Allora l'equazione $a^2+1\equiv0\pmod p$ avrà esattamente due soluzioni. Allora per questo $a$ vale $a+\frac1a\equiv 0\pmod p$
Prendo uno di questi due $a$ e considero il polinomio $(x^2-a)(x^2-\frac1a)\equiv x^4-(a+\frac1a)x^2+1\equiv x^4+1\pmod p$
Supponiamo ora $p\equiv 3 \pmod 4$.
$x^4+1\equiv x^4+4\frac14$. Mostriamo ora che $4$ è un residuo quarto $\pmod p$.$a^4\equiv4\pmod p \Leftrightarrow a^2\equiv\pm2\pmod p$. D'altra parte uno tra $2$ e $-2$ dovrà essere residuo, per la moltiplicatività del simbolo di Legendre ($-1$ non è residuo). Posto $b\equiv\frac1a\pmod p$, si ha $b^4\equiv\frac1{a^4}\equiv\frac14\pmod p$. Quindi $x^4+1\equiv x^4+4b^4\equiv(x^2-2bx+2b^2)(x^2+2bx+2b^2)\pmod p$ per l'identità di Sophie-German.
Se invece $p=2$, $x^4+1\equiv x^4-1\equiv (x^2-1)(x^2+1)\pmod 2$

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Scomporre $x^4+1$

Messaggio da dario2994 » 06 feb 2011, 15:49

Perfetto... ma non vedo perchè nascondere la soluzione :? :roll:
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: Scomporre $x^4+1$

Messaggio da jordan » 06 feb 2011, 16:25

Se $ p=2 $ allora $ q(x)=x^4+1=(x^2+1)^2 $. Per il seguito supponiamo $ p>2 $. Dato che $ -1 $ non è sempre radice quarta modulo $ p $ (anzi, se $ -1 $ è radice quarta allora $ 8\mid p-1 $, ma è solo una condizione necessaria) allora cerchiamo una scomposizione in due fattori di secondo grado necessariamente della forma $ q(x)=x^4+1=(ax^2+bx+c)(a^{-1}x^2+dx+c^{-1}) $, con $ p\nmid ac $. Supponendo anche $ p\nmid bd $ avremmo $ x^4+1=x^4+(ad+a^{-1}b)x^3+(ac^{-1}+bd+ca^{-1})x^2+(bc^{-1}+cd)x+1 $ per cui $ p\mid \text{gcd}( ad+a^{-1}b, ac^{-1}+bd+ca^{-1}, bc^{-1}+cd) \implies p\mid \text{gcd}( a^2d+b, ac^{-1}+bd+ca^{-1}, b+c^2d) $. Questo significa che $ a^2=c^2 $ in $ \mathbb{Z}/p\mathbb{Z} $: se fosse $ a=c $ allora dovremmo risolvere $ (ad)^2=2 $; se fosse invece $ a+c=0 $ dovremmo risolvere $ (ad)^2=-2 $. In entrambi i casi esiste una soluzione quando almeno uno tra $ \left(\frac{2}{p}\right) $ e $ \left(\frac{-2}{p}\right) $ vale $ 1 $, e cioè per tutti i primi $ p>2 $ tali che $ 8\nmid p-5 $. Resta da sistemare il caso $ 8\mid p-5 $: ponendo $ p\mid \text{gcd}(b,d) $ otteniamo $ x^4+1=(ax^2+c)(a^{-1}x^2+c^{-1})=x^4+(ac^{-1}+ca^{-1})x^2+1 $. Esso ha soluzione solo nel caso in cui esistono $ a,c $ non nulli tali che $ ac^{-1}+ca^{-1}=0 \leftrightarrow (ac^{-1})^2=-1 $, ed è noto che $ \left(\frac{-1}{p}\right)=1 $ se e solo se $ 4\mid p-1 $. []
The only goal of science is the honor of the human spirit.

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Scomporre $x^4+1$

Messaggio da dario2994 » 06 feb 2011, 16:27

Perfetto anche questa... è la stessa :D
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: Scomporre $x^4+1$

Messaggio da jordan » 06 feb 2011, 16:28

Lo so che è la stessa, è che non avevo visto che Veluca aveva già postato :(
The only goal of science is the honor of the human spirit.

Rispondi