title: Polinomio irriducibile
text: # Polinomio irriducibile
  
  In matematica, un polinomio $p(x)$ si dice irriducibile quando non esistono dei polinomi $q(x)$ e $s(x)$ tali che $q(x)\cdot s(x)=p(x)$ con $q(x)$ e $s(x)$ non invertibili. In caso contrario, il polinomio si dice riducibile.
  
  Se i coefficienti del polinomio sono presi in un campo, i fattori di un polinomio riducibile sono entrambi di grado inferiore e non costanti. Ad esempio
  
      $p(x)=x^{3}-1=(x-1)(x^{2}+x+1),$
  
  è riducibile.
  
  Se però i coefficienti sono considerati appartenenti ad un anello, questo non è sempre vero: ad esempio il polinomio $2x+6$ è ovviamente irriducibile se considerato come polinomio in $\mathbb {Q} [X]$, mentre è riducibile se considerato su $\mathbb {Z} [X]$, perché la fattorizzazione $2x+6=2(x+3)$ non è banale, in quanto l'inverso di $2$, ovvero $1/2$, non è un numero intero, e quindi $2$ non è un elemento invertibile dell'anello dei polinomi a coefficienti interi.
  
  ## Esempi
  
  L'irriducibilità dipende fortemente dalla scelta dell'anello a cui devono appartenere i coefficienti. Ad esempio, il polinomio
  
      $p(x)=x^{2}-2,$
  
  è irriducibile se tale anello è quello degli interi, mentre è riducibile se l'anello è il campo dei numeri reali, perché qui si spezza in
  
      $p(x)=x^{2}-2=(x+{\sqrt {2}})(x-{\sqrt {2}}).$
  
  Analogamente, il polinomio
  
      $q(x)=x^{2}+1,$
  
  è irriducibile sui numeri reali, mentre è riducibile sui numeri complessi, perché si scompone come
  
      $q(x)=(x+i)(x-i).$
  
  ## Polinomi irriducibili nei vari campi
  
  ### Numeri complessi
  
  Per il teorema fondamentale dell'algebra, un polinomio è irriducibile sul campo dei complessi se e solo se ha grado $1$.
  
  ### Numeri reali
  
  I polinomi irriducibili sul campo dei reali sono precisamente:
  
  * i polinomi di primo grado;
  * i polinomi di secondo grado con delta minore di zero.
  
  Quindi ogni polinomio a coefficienti reali è il prodotto di alcuni polinomi di questi due tipi. Questo deriva dal fatto che se un numero complesso $z$ è uno zero di un polinomio, allora anche il suo complesso coniugato ${\overline {z}}$ è soluzione, e il prodotto dei fattori
  
      $(x-z)(x-{\overline {z}})=x^{2}-(z+{\overline {z}})x+z{\overline {z}},$
  
  è formato da numeri reali.
  
  ### Numeri razionali
  
  Sul campo dei numeri razionali, esistono polinomi irriducibili di qualsiasi grado, ma non esiste nessun criterio generale per determinare se un polinomio sia irriducibile o meno. Esistono tuttavia vari metodi che possono dare o meno risultati; generalmente il primo passo è trasformare il polinomio originario in un polinomio a coefficienti interi, moltiplicandolo per il minimo comune multiplo dei denominatori. L'operazione è lecita grazie al lemma di Gauss, che garantisce che il polinomio originale è irriducibile se e solo se lo è il trasformato (a meno di fattori costanti, che sono irriducibili su $\mathbb {Z} [x]$ ma invertibili in $\mathbb {Q} [x]$). Dopo si possono provare varie strade:
  
  * Cercare radici razionali; per il teorema delle radici razionali il loro numeratore deve dividere $a_{0}$, mentre il denominatore deve dividere il coefficiente direttore. L'insieme dei valori possibili è così limitato; se uno di questi è una radice, allora il polinomio è sicuramente riducibile.
  
  Se un polinomio non ammette radici razionali, non vuol dire sempre che è irriducibile su $\mathbb {Q} [x]$: ciò vale se e solo se il grado del polinomio è minore o uguale a tre.
  
  * Tentare di applicare il criterio di Eisenstein.
  * Considerare il polinomio in $\mathbb {Z} _{p}[x]$, con $p$ primo tale che $p\nmid a_{n}.$
  
  In particolare vale che se il polinomio è irriducibile in $\mathbb {Z} _{p}[x]$ allora lo è anche in $\mathbb {Q} [x]$. Ma non vale il viceversa.
  
  ## Irriducibilità assoluta
  
  un polinomio multivariato definito sui numeri razionali si definisce assolutamente irriducibile se è irriducibile sul campo complesso. Per esempio $x^{2}+y^{2}-1$ è assolutamente irriducibile; invece $x^{2}+y^{2},$ pur essendo irriducibile sugli interi e sui reali, è riducibile sui numeri complessi come $x^{2}+y^{2}=(x+iy)(x-iy),$ e quindi non è assolutamente irriducibile.
  
  Più in generale, un polinomio definito su un campo $K$ è assolutamente irriducibile se è irriducibile su ogni estensione algebrica di $K,$ e un insieme algebrico affine definito da equazioni con coefficienti in un campo $K$ è assolutamente irriducibile se non è l'unione di due insiemi algebrici definiti da equazioni in un'estensione algebricamente chiusa di $K.$ In altre parole, un insieme algebrico assolutamente irriducibile è sinonimo di una varietà algebrica, che sottolinea che i coefficienti delle equazioni che lo definiscono possono non appartenere a un campo algebricamente chiuso.
  
  Il concetto di irriducibilità assoluta viene applicato, con lo stesso significato, anche alle rappresentazioni lineari di gruppi algebrici.
  
  In tutti i casi, essere assolutamente irriducibili equivale ad essere irriducibili sulla chiusura algebrica del campo base.
  
  ### Esempi di irriducibilità assoluta
  
  * Un polinomio univariato di grado maggiore o uguale a 2 non è mai assolutamente irriducibile, a causa del teorema fondamentale dell'algebra.
  * La rappresentazione bidimensionale irriducibile del gruppo simmetrico $S_{3}$ di ordine 6, originariamente definito sul campo dei numeri razionali, è assolutamente irriducibile.
  * La rappresentazione del gruppo circolare delle rotazioni nel piano è irriducibile (sul campo dei numeri reali), ma non è assolutamente irriducibile. Dopo aver esteso il campo a numeri complessi, si divide in due componenti irriducibili. Questo è prevedibile, poiché il gruppo circolare è commutativo ed è noto che tutte le rappresentazioni irriducibili di gruppi commutativi su un campo algebricamente chiuso sono unidimensionali.
  * La "vera" varietà algebrica definita dall'equazione
  
         $x^{2}+y^{2}=1$
      è assolutamente irriducibile. È il cerchio ordinario sui reali e rimane una sezione conica irriducibile sul campo dei numeri complessi. L'irriducibilità assoluta vale più generalmente su qualsiasi campo non di caratteristica due. In caratteristica due, l'equazione è equivalente a $(x+y-1)^{2}=0.$ Quindi definisce la retta doppia $x+y=1,$ che è uno schema non ridotto.
  * La varietà algebrica data dall'equazione
  
         $x^{2}+y^{2}=0$
      non è assolutamente irriducibile. In effetti, il membro sinistro può essere scomposto come
         $x^{2}+y^{2}=(x+yi)(x-yi),$
      dove $i$ è una radice quadrata di −1. Pertanto, questa varietà algebrica è costituita da due linee che si intersecano all'origine e non è assolutamente irriducibile. Ciò vale già sul campo base se $-1$ è un quadrato, oppure vale sull'estensione quadratica ottenuta mediante l'aggiunta di $i.$
  