Visualizza wikitesto di Aritmetica modulare/Polinomi in aritmetica modulare

{{aritmetica modulare}}
Questo modulo tratta delle proprietà dei polinomi in aritmetica modulare. In particolare, verrà dimostrato il teorema di Waring sul numero di soluzioni di una congruenza polinomiale in più incognite.

== Modulo primo contro modulo composto ==
Quando considerati in aritmetica modulare, i polinomi possono presentare proprietà inusuali e controintuitive. Lo stesso piccolo teorema di Fermat ne è un esempio: può essere infatti interpretato dicendo che, dato un primo ''p'', i polinomi <math>x^p</math> e ''x'' (che sono, formalmente, distinti) assumono sempre lo stesso valore quando considerati modulo ''p''. Questo non può avvenire quando sono considerati polinomi a coefficienti reali o razionali, ma permette invece di ridurre il grado di un polinomio, se questo è maggiore di ''p'', senza cambiare i valori che questo assume e, di conseguenza, i valori per cui il polinomio si annulla. 

Altri fenomeni riguardo al rapporto tra il numero di zeri di un polinomio e il suo grado: se infatti in ambienti "usuali" come i polinomi reali o razionali il numero di soluzioni non può superare il grado del polinomio, questo non sempre avviene in aritmetica modulare: un esempio semplice è <math>P(x)=x^2-1</math> che, se considerato modulo 8, ha quattro soluzioni distinte, e cioè 1, 3, 5 e 7. Questo deriva dal fatto che <math>\mathbb{Z}_8</math> non è un dominio d'integrità: infatti normalmente, fattorizzando ''P''(''x'') come <math>(x-1)(x+1)</math>, gli unici zeri del polinomio sarebbero in 1 e -1, cioè (in questo caso) in 1 e 7. Tuttavia, non è necessario che uno dei due fattori sia zero perché sia zero il prodotto: in questo caso, <math>P(3)=2\cdot 4\equiv 0\mod 8</math>.

Da quanto detto appare chiaro che, trasferendosi in <math>\mathbb{Z}_p</math>, dove ''p'' è un numero primo, si ottiene la stessa situazione dei razionali o dei reali. La dimostrazione è la stessa che in questi ultimi casi: dato ''P''(''x'') di grado ''n'', se ''P''(''a'')=0, allora (''x'' - ''a'') divide ''P''(''x''); se ora ci fossero ''n'' +1 (o più) radici, il polinomio formato dal prodotto dei vari (''x'' - ''a'') sarebbe di grado ''n'' +1 e dovrebbe dividere ''P''(''x''), il che è impossibile. Quindi possono esistere al massimo ''n'' zeri.

Questo permette di dimostrare che, dati due polinomi ''P''(''x'') e ''Q''(''x'') di grado minore di ''p'', se sono distinti, non possono avere lo stesso valore ovunque (modulo ''p''): infatti il polinomio differenza ''R''(''x'')=''P''(''x'')- ''Q''(''x'') avrebbe un grado compreso tra 0 e ''p'' -1, ma ''p'' soluzioni, il che è impossibile.

Questa proprietà, unita alla "scomposizione" di una congruenza in altri moduli tra loro comprimi rende particolarmente importante la soluzione di congruenze polinomiali quando il modulo è primo. Congruenze generiche in più incognite verranno trattare successivamente in questo capitolo, mentre uno studio approfondito delle congruenze quadratiche in un'unica incognita è l'argomento dell'[[Aritmetica modulare/Congruenze quadratiche|ultimo capitolo]].

== Il teorema di Chevalley ==

Supponiamo di avere un polinomio in ''n'' incognite <math>P(x_1,x_2,\ldots,x_n)</math> di grado ''g'' (cioè tale che ''g'' è il massimo grado tra quelli dei monomi, dopo che il grado di ogni incognita è già stato ridotto ad essere minore di ''p''), tale che ''n'' > ''g'', e supponiamo che <math>P(0,0,\ldots,0)\equiv 0\mod p</math>, ovvero che non ci sia un termine noto. Il teorema di Chevalley afferma che esiste almeno un'altra soluzione della congruenza.

Per dimostrarlo, ragioniamo per assurdo, e supponiamo che esista un'unica soluzione. Costruiamo i due nuovi polinomi (dove ''X'' denota la ''n''-upla <math>(x_1,x_2,\ldots,x_n)</math>)
:<math>f(X)=1-[P(X)]^{p-1}</math>
:<math>g(X)=(1-x_1^{p-1})(1-x_2^{p-1})\ldots(1-x_n^{p-1})</math>

Se ''X'' è la ''n''-upla nulla, allora ''f''(''X'')=1, e così ''g''(''X''), perché tutti i fattori sono uguali a 1. Se invece almeno uno tra gli <math>x_i</math> è diverso da 0, allora ''g''(''X'')=0 perché il fattore <math>(1-x_i^{p-1})</math> è uguale a 0; d'altra parte, si ha anche <math>P(X)\equiv 1</math>, perché ''P''(''X'') è diverso da 0 (l'unica soluzione è quella nulla) e si può applicare il piccolo teorema di Fermat. Quindi i due polinomi assumono sempre lo stesso valore modulo ''p''.

Consideriamo ora i loro gradi. ''g''(''X'') ha grado ''n''(''p'' -1), perché esiste un monomio in cui tutte le incognite hanno grado ''p'' -1, e non possono quindi essere ridotte. Il grado di ''f''(''X''), d'altra parte, non può essere più di ''g''(''p'' -1) (potrebbe essere strettamente minore, in quanto ci si può trovare a dover ridurre il grado di un'incognita per farlo diventare minore di ''p''); quindi ''f''(''X'') ha grado strettamente minore di ''g''(''X''): poiché il grado in ogni incognita è minore di ''p'', ''f''(''X'') e ''g''(''X'') non possono però assumere sempre lo stesso valore, perché i loro gradi sono diversi.

Abbiamo quindi una contraddizione, che è dovuta all'aver supposto che esiste un'unica soluzione. Di conseguenza, esiste almeno un'altra ''n'' -upla che risolve la congruenza.

== Generalizzazioni ==
Il teorema di Chevalley può essere generalizzato. 

Infatti, supponiamo che l'unica soluzione conosciuta non sia quella nulla (0,0,...,0), ma una generica <math>(a_1,a_2,\ldots,a_n)</math>, e che ''P''(''X'') abbia comunque grado minore del numero di incognite. In questo caso, per dimostrare che esiste un'altra soluzione, è sufficiente variare la definizione di ''g''(''X''):
<math>g(X)=[1-(x_1-a_1)^{p-1}][1-(x_2-a_2)^{p-1}]\ldots[1-(x_n-a_n)^{p-1}]</math>

La situazione è esattamente quella precedente: ''g''(''X'')=1 se e solo se <math>X=(a_1,a_2,\ldots,a_n)</math>, mentre altrimenti è uguale a 0, così come ''f''(''X''). Inoltre il loro grado è rispettivamente ''n''(''p'' -1) e un numero minore o uguale di ''g''(''p'' -1): quindi non possono essere uguali, e i due polinomi non possono coincidere, il che è assurdo perché hanno sempre lo stesso valore. Quindi esiste almeno un'altra soluzione.

Un teorema molto più forte è invece il teorema di Waring. Esso afferma che, nelle stesse condizioni di questa prima generalizzazione (grado minore del numero di incognite, esistenza di almeno una soluzione) il numero di soluzioni è divisibile per ''p''. Supponiamo infatti che ci siano ''m'' soluzioni <math>X_1,X_2,\ldots,X_m</math>, e costruiamo i polinomi
:<math>g(X_i)=[1-(x_1-a_1^{i})^{p-1}][1-(x_2-a_2^{i})^{p-1}]\ldots[1-(x_n-a_n^{i})^{p-1}]</math>

dove <math>a_j^{i}</math> indica la ''j''-esima componente di <math>X_i</math>, e li sommiamo insieme, costruendo
:<math>g(X)=g(X_1)+g(X_2)+\ldots+g(X_m)</math>

Quando ''X'' è una delle soluzioni, ''g''(''X'') è uguale a 1, perché il corrispondente <math>g(X_i)</math> è uguale a 1, mentre gli altri sono uguali a 0; se invece ''X'' non è una delle soluzioni, tutti gli addendi sono uguali a 0, e quindi anche ''g''(''X'').

Come prima, costruiamo anche
:<math>f(X)=1-[P(X)]^{p-1}</math>
che ha grado minore o uguale di ''g''(''p'' -1), e assume sempre lo stesso valore di ''g''(''X''). Ora in ''g''(''X'') vi sono ''m'' fattori del tipo <math>x_1^{p-1}x_2^{p-1}\ldots x_n^{p-1}</math> che sono di grado ''n''(''p'' -1). Ma i due gradi devono essere uguali, quindi il monomio di grado ''n''(''p'' -1) di ''g''(''X'') deve annullarsi, cioè si deve avere
:<math>mx_1^{p-1}x_2^{p-1}\ldots x_n^{p-1}\equiv 0\mod p</math>
per ogni scelta degli <math>x_i</math>. perché sia possibile, si deve avere <math>m\equiv 0\mod p</math>, cioè ''m'' deve essere divisibile per ''p''. Ma siccome ''m'' era stato definito come il numero di soluzioni di ''P''(''X''), si ha che queste ultima sono in numero divisibile per ''p'', come volevasi dimostrare.

[[categoria:Aritmetica modulare]]
{{Avanzamento|100%|29 giugno 2008}}