Il matematico Evariste Galois è famoso per aver elaborato, ancora giovanissimo, un metodo per determinare le radici delle equazioni più complesse attraverso semplici operazioni algebriche.
Questo ha poi portato alla formulazione della "teoria di Galois", che utilizza i gruppi di permutazioni per mostrare in che modo le varie radici di un polinomio sono connesse tra loro.
In questo appunto si illustrerà brevemente la teoria di Galois, attraverso un semplice esempio; pensiamo all'equazione con coefficienti razionali (per il momento ci limitiamo a coefficienti di questo tipo):
che è di quarto grado (equazione biquadratica).
Essa ha quattro soluzioni con numeri radicali, che sono:
β=-\sqrt{3}-2\sqrt{5}\\
χ=\sqrt{3}+2\sqrt{5}\\
δ=\sqrt{3}-2\sqrt{5}[/math]
Se consideriamo le possibili permutazioni tra esse, troviamo che esistono
Le quattro soluzioni trovate rendono nullo il polinomio:
Si nota subito che tra le varie permutazioni di queste quattro soluzioni ci sono sottili differenze di simmetria. Per esempio, se consideriamo le espressioni....
β+χ=0[/math]
notiamo subito che sono indubbie. Niente cambia se si applica la permutazione:
...perché si ottengono le eguaglianze:
χ+β=0[/math]
...che mostra quanto nulla è cambiato. Se si scambiano le radici, dunque, tutto rimane inalterato.
Si ha dunque che anche qualunque altra equazione algebrica con coefficienti razionali soddisfatta da queste soluzioni, rimane. In altri termini: qualunque espressione algebrica vera con coefficienti razionali rimane inalterata in seguito a una simile permutazione delle radici, la quale rende indistinguibili le radici interessate.
Se il polinomio
Esistono altre espressioni algebriche, invece, che si modificano se scambiamo
δ-α=2\sqrt{3}-4\sqrt{5}\\
β-χ=-2\sqrt{3}-4\sqrt{5}\\
χ-β=2\sqrt{3}+4\sqrt{5}[/math]
Le permutazioni che non alterano le espressioni algebriche a coefficienti razionali formano un gruppo, che oggi chiamiamo gruppo di Galois.
Pertanto, alcune delle simmetrie in
ad esempio, scambia
Se continuiamo a cercare tutte le permutazioni "buone" possibili, troveremo che sono soltanto
In termini generali, prescindendo dal grado, si trova che ogni equazione ha il suo gruppo (o gruppi), e tale gruppo dipende dai radicali e dalla struttura delle soluzioni.
La conclusione della teoria di Galois è che:
Un'equazione è solubile se, e soltanto se, il suo gruppo di Galois è solubile, intendendo per equazione solubile quella che si può risolvere con operazioni elementari che coinvolgono i radicali.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo
