Sistemi di congruenze non lineari - Teorema Cinese del Resto

tomomimorgan
Ciao a tutti!

Ho bisogno di aiuto per risolvere una tipologia di esercizi che mi lascia alquanto perplessa: sistemi di congruenze non lineari.

Il testo dell'esercizio è solitamente di questo tipo:

"Determinare tutti gli elementi di ordine 3 del gruppo degli invertibili di $ ZZ_91 $ ."

Ora, sulle dispense che ho, l'esercizio viene svolto fattorizzando $ 91=7*13 $ , e considerando singolarmente le due equazioni $ x^(3) -= 1 mod(7) $ (le cui soluzioni sono 1,2,4) e $ x^(3) -= 1 mod(13) $ (le cui soluzioni sono 1,3,9). (Qui se anche le soluzioni sono state trovate "a tentoni" va ancora bene, dato che si tratta di numeri relativamente piccoli).

A questo punto le dispense dichiarano, "Le soluzioni di $ x^(3) -= 1 mod(91) $ si ottengono applicando il teorema cinese del resto, e troviamo $ 3*3 $ soluzioni, e quindi 9-1=8 elementi di ordine 3, che sono 9,16,22,29,53,74,79,81."

Ora, io il Teorema Cinese del Resto non l'ho mai sentito applicato a sistemi di congruenze NON lineari, e onestamente non so proprio che conti vadano svolti per trovare le soluzioni... ma non oso davvero pensare di dover provare tutti i numeri compresi tra 1 e 91 finché non ne trovo nove tali che elevati al cubo diano 1... o sì?

Qualcuno sa di come vada svolto questo esercizio senza andare a tentoni?? Io sto brancolando nel buio!!

Risposte
Lord K
In realtà qui il trucco sta nello studiare le soluzioni del polinomio [tex]x^3-1 \equiv 0 (91)[/tex].

Questo si fattorizza come sai come:

[tex]x^3-1=(x-1)(x^2+x+1)[/tex]

e da qui si prosegue genialmente con il calcolo di:

[tex]x^2+x+1 \equiv 0 (91)[/tex]

e qui pari pari come viene fatto per le equazioni di secondo grado:

[tex]x^2+2\cdot 2^{-1}x+1 \equiv 0 (91)[/tex]

e qui hai che:

[tex]2^{-1}\equiv -45 (91)[/tex]

quindi:

[tex]x^2+2\cdot 45x+45^2-45^2 +1 \equiv 0 (91)[/tex]
[tex](x+45)^2 \equiv -1-45^2 (91)[/tex]
[tex](x+45)^2 \equiv -24(91)[/tex]
[tex](x+45)^2 \equiv 67(91)[/tex]

e qui usiamo il mitico simbolo di Jacobi ed il teorema di reciprocità:

[tex](\frac{67}{91})\cdot(\frac{91}{67})=(-1)^{\frac{(67-1)(91-1)}{4}}=-1[/tex]

allora abbiamo che:

[tex](\frac{67}{91})=-(\frac{91}{67})=-(\frac{7}{67})(\frac{13}{67})=-(-1)(\frac{13}{67})=(\frac{13}{67})=(\frac{2}{13})=-1[/tex]

ovvero che non si direbbe un quadrato! Allora necessariamente deve essere che:

[tex]x^3-1=(x-1)(x^2+x+1)=91k[/tex]

ed allora o vale:

[tex](x-1)\equiv 7 (91)[/tex]

ed anche:

[tex](x^2+x+1)\equiv 13 (91)[/tex]

oppure il contrario. Dovrebbe essere tutto!

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.