Jewr'ia Galois se 45 lept'a - Aristotle University of...

Θεωρία Galois σε 45 λεπτά

Χαρά Χαραλάμπους

Τμήμα Μαθηματικών

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

10 Απριλίου 2016

Με βάση την ομιλία (30.3.16) στην 8η Διεθνής Μαθηματική Εβδομάδα

«Θεωρία Galois σε 30 λεπτά»Ελληνική Μαθηματική Εταιρεία, Παράρτημα Κεντρ. Μακδεδονίας

Χαρά Χαραλάμπους, Τμήμα Μαθηματικών, Α.Π.Θ. Θεωρία Galois σε 45 λεπτά

Βιβλιογραφία

1 Galois Theory, I. Stewart

2 Θεωρία Galois, Θ. Θεοχάρη-Αποστολίδη, Χ. Χαραλάμπους,

https://repository.kallipos.gr/bitstream/11419/731/4/book Galois theory.pdf


Με τι ασχολείται η Θεωρία του Galois

Η Θεωρία του Galois ασχολείται με τις λύσεις πολυωνυμικώνεξισώσεων

xn + an−1xn−1 + · · ·+ a0 = 0.

Το κύριο ερώτημα που θέλει να απαντήσει είναι πότε οι λύσεις

τους, δηλ. οι ρίζες του πολυωνύμου

f (x) = xn + an−1xn−1 + · · ·+ a0

εκφράζονται με ριζικά σε σχέση με τους συντελεστές της

εξίσωσης.


Τι εκφράζεται με ριζικά: ότι γράφεται με τις πράξεις της

πρόσθεσης/αφαίρεσης, πολλαπλασιασμού/διαίρεσης και με την

εξαγωγή ριζών, όπως ο μιγαδικός αριθμός

5

√2 +

3√

5 +√−3

2+√−17.

Παράδειγμα

Ο τύπος για τις λύσεις της δευτεροβάθμιας (πολυωνυμικής)

εξίσωσης εκφράζει τις ρίζες με ριζικά:

ax2 + bx + c = 0⇒ x1,2 =−b ±

√b2 − 4ac

2a.


Οι λύσεις της τριτοβάθμιας (πολυωνυμικής) εξίσωσης

εκφράζονται με ριζικά. Για παράδειγμα έστω

f (x) = x3 + qx + r .

Ο τύπος για τις ρίζες του f (x) είναι:

y + z , ωy + ω2y , ω2y + ωz

όπου

y =3

√− r

2+

√r2

4+

q3

27,

z =3

√− r

2−√

r2

4+

q3

27

και

ω =−1 +

√−3

2.


Αντίστοιχος τύπος υπάρχει για τις ρίζες πολυωνύμων βαθμού 4.

Ερώτημα

Υπάρχει τύπος για πολυωνυμικές εξισώσεις βαθμού 5;

Ακόμα και αν δεν υπάρχει τύπος, μήπως οι ρίζες εκφράζονται

με ριζικά;

Τι χαρακτηρίζει τις πολυωνυμικές εξισώσεις που οι ρίζες τους

εκφράζονται με ριζικά;


Είναι σημαντικό αυτό το πρόβλημα και για ποιους;

Η επίλυση πολυωνυμικών εξισώσεων, δηλαδή εξισώσεων της

μορφής f (x) = 0, όπου f (x) είναι ένα πολυώνυμο, απασχόλησετους μαθηματικούς από την αρχαιότητα.

Σε αυτήν την ομιλία, θα προσπαθήσουμε να καταλάβουμε την

συνεισφορά του Evariste Galois.


Δευτεροβάθμιες εξισώσεις και Βαβυλώνιοι


Στο βιβλίο «Τα Στοιχεία» (300 π. Χ.) βρίσκουμε προβλήματα

που αφορούν την εύρεση των x , y , για τα οποία ισχύει

x − y = a και xy = b.

Σύγχρονη μέθοδος:

x = a + y ⇒ (y + a)y = b ⇒ y2 + ay − b = 0

και τύπος δευτεροβάθμιας.


Ο Omar Khayyan (1048-1131) έδωσε λύσεις για κάποιεςτριτοβάθμιες εξισώσεις με συντελεστές θετικούς ακέραιους

χρησιμοποιώντας κωνικές τομές.

Σημειώνουμε ότι οι αρνητικοί αριθμοί άρχισαν να

χρησιμοποιούνται ευρέως τον 16ο αιώνα.


Το 1535 ο Niccolo Fontana (1500-1557)υπολόγισε τις ρίζες μερικών ειδικών περιπτώσεων τριτοβάθμιων

αλγεβρικών εξισώσεων.

Το 1539 ο Girolamo Cardano (1501-1576)δημοσίευσε στο βιβλίο του «Ars Magma» (Μέγα ΄Εργο) τις λύσειςτων εξισώσεων του Tartaglia, και άλλων 13 περιπτώσεων.


Η Ars Magna περιέχει μία μέθοδο επίλυσης πολυωνυμικώνεξισώσεων τέταρτου βαθμού η οποία επινοήθηκε από τον μαθητή

του Cardano, τον Ferrari (1522-1565).


Ο Joseph-Louis Lagrange (1736-1813), το 1770 δίνει περισσότεροφως στις ήδη γνωστές λύσεις εξισώσεων 3 και 4 βαθμού και

εισηγείται μεθόδους που μπορούν να εφαρμοστούν σε λύσεις

βαθμού > 4.

Ο Carl Friedrich Gauss (1777-1855), το 1799 απέδειξε τοΘεμελιώδες Θεώρημα της Αλγεβρας και μελέτησε ιδιαίτερα τις

λύσεις της xn − 1.


Η πεμπτοβάθμια δεν επιλύεται με ριζικά

Ruffini (1765- 1822), το 1799 (516 σελίδες) και 1813 (μεαποδεικτικό κενό).

Ο Abel (1802-1829), το 1824.

Θεώρημα (Abel-Ruffini)

Δεν υπάρχει τύπος για ΟΛΕΣ τις πεμπτοβάθμιες εξισώσεις.


Ποια πολυώνυμα επιλύονται με ριζικά;

Ο Galois (1811-1832) υπέβαλλε την εργασία του στην ΑκαδημίαΕπιστημών του Παρισιού τρεις φορές. Τρεις φορές απορρίφθηκε.


Επιστολή προς το φίλο του Auguste Chevallier (29 Μαίου 1832).

Tu prieras publiquement Jacobi ou Gauss de donner leur avis nonsur la verite, mais sur l’ importance des theoremes. Apres cela il setrouvera, j’ espere, des gens qui trouvent leur profis a dechiffrertout ce gachis. Je t’ embrasse avec effusion.


Το 1843 ένα αντίγραφο έφθασε στον Liouville (1809-1882), καιδημοσιεύτηκε το 1846.

Μαθηματικοί που συνέβαλλαν στην κατανόηση της Θεωρίας και

στη γενίκευσή της:

Leopold Kronecker (1823- 1891)

Richard Dedekind (1831-1916)

Ο Arthur Cayley (1821-1895)

Ο Emil Artin (1898-1962).

Ο Wolfgang Krull (1899-1971) .

Οι S.U. Chase, D.K. Harrison και A. Rosenberg το 1968.


Τι ήταν γνωστό πριν από τον Galois;

Παρατήρηση

( Lagrange) Το κοινό χαρακτηριστικό των μεθόδων για επίλυσηπολυωνύμων f (x) με βαθμό 3 και 4, είναι ότι υπάρχουν συνδυασμοίτων ριζών του f (x) που παίρνουν λίγες τιμές όταν μεταθέτουμε τιςρίζες. Το πρόβλημα ανάγεται στην εύρεση ριζών πολυωνύμων

μικρότερου βαθμού για τα οποία υπάρχουν τύποι με ριζικά.


Συμμετρικά πολυώνυμα και Στοιχειώδη συμμετρικά

πολυώνυμα

Τα στοιχειώδη συμμετρικά πολυώνυμα είναι:

e1(X1, . . . ,Xn) = X1 + · · ·+ Xn

e2(X1, . . . ,Xn) = X1X2 + · · ·+ Xn−1Xn...

en(X1, . . . ,Xn) = X1 · · ·Xn

Τι ήταν γνωστό ( Newton (1642-1727) )

Κάθε συμμετρικό πολυώνυμο είναι πολυωνυμικός συνδυασμός

των στοιχειωδών συμμετρικών πολυωνύμων.


Για παράδειγμα, σε δύο μεταβλητές, έχουμε δύο στοιχειώδη

συμμετρικά πολυώνυμα:

e1(X1,X2) = X1 + X2 και e2(X1,X2) = X1X2.

Το πολυώνυμο

X 21 + X 2

2

είναι συμμετρικό και

X 21 + X 2

2 = (X1 + X2)2 − 2X1X2 = e1(X1,X2)2 − 2e2(X1,X2).


Αν f (x) = xn + b1xn−1 + · · ·+ bn = 0 και a1, . . . , an είναι οι ρίζες

του f (x), τότε

f (x) = xn + b1 + · · ·+ bn = (x − a1) · · · (x − an)

και επομένως bi = (−1)iei (a1, . . . , an), για i = 1, . . . , n.

Συμπέρασμα

Μία έκφραση που είναι συμμετρική ως προς τις ρίζες του

f (x) = xn + b1xn−1 + · · ·+ bn = 0, είναι αναγκαστικά

πολυωνυμικός συνδυασμός των συντελεστών b1, . . . , bn.


(Το Πρόγραμμα του Lagrange για τις ρίζες τουf (x) = xn + b1x

n−1 + · · ·+ bn.)

Κατασκευάζουμε πολυωνυμικούς συνδυασμούς των ριζών

του f (x), u1, . . . , uk , που δεν μεταβάλλονται «πολύ» όταν οιρίζες του f (x) μετατίθενται.

Χρησιμοποιούμε τα u1, . . . , uk για να βρούμε μίασυμμετρική έκφραση ως προς τις ρίζες του f (x), έστω g(x).

Αν το g(x) έχει βαθμό < deg f (x) μπορούμε να λύσουμε γιατα u1, . . . , uk και έτσι τα u1, . . . , uk εκφράζονται με ριζικά.

Χρησιμοποιώντας νέα ριζικά των u1, . . . , uk εκφράζουμε τιςρίζες του f (x) με ριζικά.


΄Εστω

x2 + bx + c = 0

με ρίζες a1, a2 και έστω ότι

δ = a1 − a2.

Αν αντιμεταθέσουμε τις ρίζες τότε η δ γίνεται −δ. Αρα, η δ2είναι συμμετρική. Επομένως:

δ2 = (a1 − a2)2 = a21 − 2a1a2 + a2 = (a1 + a2)2 − 4a1a2 = b2 − 4c

δηλ. δ =√b2 − 4c είναι η ρίζα του x2 − (b2 − 4c). Το σύστημα

είναι:

a1 + a2 = −ba1 − a2 =

√b2 − 4c

και τα a1, a2 εκφράζονται με ριζικά.


x3 + bx2 + cx + d = 0

Υπάρχουν 6 μεταθέσεις των τριών ριζών a1, a2, a3. Αν ω = e2πi/3

τότε η έκφραση

u = (a1 + ωa2 + ω2a3)3

παίρνει ακριβώς δύο τιμές, τις

u = (a1 + wa2 + w2a3)3 και v = (a1 + w2a2 + wa3)3.

Επομένως οι εκφράσεις u + v και uv είναι συμμετρικές και είναιπολυωνυμικές εκφράσεις των συντελεστών b, c , d . Τα u και vπροκύπτουν ως λύσεις μίας δευτεροβάθμιας εξίσωσης και είναι

ριζικά. Βρίσκουμε τις ρίζες a1, a2, a3, λύνοντας το σύστημα

a1 + a2 + a3 = −ba1 + ωa2 + ω2a3 = 3

√u

a1 + ω2a2 + ωa3 = 3√v.


Ο Lagrange παρατήρησε ότι το αντίστοιχο συμβαίνει με τιςτέσσερις ρίζες της τεταρτοβάθμιας χρησιμοποιώντας την

έκφραση

(a1 + ia2 + i2a3 + i3a4)4.

΄Οταν όμως έγραψε την αντίστοιχη εξίσωση για την

πεμπτοβάθμια,

w = (a1 + ζa2 + ζ2a3 + ζ3a4 + ζ4a5)5

είδε ότι οι 120 μεταθέσεις δίνουν 24 διαφορετικές εκφράσεις...

...και δυστυχώς το 24 είναι μεγαλύτερο του 5....


Ποιος ήταν ο Galois;


Ne pleure pas, Alfred ! J’ai besoin de tout mon couragepour mourir a vingt ans !


Τι έκανε ο Galois;

Ο Galois αναζήτησε τις συμμετρίες ανάμεσα στις ρίζες του f (x)και βρήκε την αντιστοιχία ανάμεσα στις συμμετρίες και σε ότι

μπορεί να εκφραστεί με ριζικά (ως προς τους συντελεστές του

f (x)).

Για την αντιστοιχία αυτή ανακάλυψε βαθιά θωρήματα της

Θεωρίας Ομάδων και της Θεωρίας Σωμάτων, κλάδους των

Μαθηματικών που δεν είχαν ακόμη εφευρεθεί!


΄Εστω η πολυωνυμική εξίσωση

x4 − 4x2 − 5 = (x2 + 1)(x2 − 5) = 0

Οι ρίζες της είναι οι

±i , ±√

5.

Από τον κόσμο των ρητών δεν μπορούμε να ξεχωρίσουμε

ανάμεσα στο i και στο −i , ή ανάμεσα στις√

5 και −√

5. Οισυμμετρίες των ριζών είναι οι αντιμεταθέσεις i ↔ −i ,√

5↔ −√

5 καθώς και οι συνδυασμοί τους.

΄Εχουμε συνολικά 4 τέτοιες συμμετρίες. Αυτές εξηγούν το τι

γίνεται και όχι οι 24 μεταθέσεις των αρχικών ριζών.


Θεώρημα του Galois

Θεώρημα (Galois)

Οι ρίζες ενός συγκεκριμένου πολυωνύμου εκφράζονται με ριζικά

αν και μόνο αν η ομάδα συμμετριών των ριζών του πολυωνύμου

είναι «επιλύσιμη».

Τα ριζικά χτίζονται σταδιακά. Σε κάθε στάδιο αντιστοιχεί μία

(ενδιάμεση) υποομάδα συμμετριών.

Η εξαγωγή της l-στης ρίζας εμφανίζεται αν η αντίστοιχη ομάδαπηλίκων είναι κυκλική.


΄Εστω ότι είχαμε μία ομάδα συμμετριών 4 ριζών a, b, c, d μεσυμμετρίες a↔ b, c ↔ d και συνδυασμούς (4 συμμετρίεςσυνολικά).

Σύμφωνα με την αντιστοιχία του Galois, ότι παραμένειαναλλοίωτο από την συμμετρία a↔ b, γράφεται ως πολυώνυμοτων c , d .

Αφού u = a + b και v = ab παραμένουν αναλλοίωτα, γράφονταικαι τα δύο ως πολυώνυμα των c, d .

΄Ομως, τα a και b είναι ρίζες του δευτεροβάθμιου πολυωνύμου:

x2 − ux + v = (x − a)(x − b)

και άρα προκύπτουν από τον τύπο της δευτεροβάθμιας

εξίσωσης, ως προς u και v .

Επομένως, τα a και b εκφράζονται με ριζικά των c , d .


Αντίστοιχα, τα w = c + d , h = cd παραμένουν αναλλοίωτα απότις 4 συμμετρίες και σύμφωνα με την αντιστοιχία του Galoisανήκουν στο Q.

΄Ομως, τα c και d είναι ρίζες του δευτεροβάθμιου πολυωνύμου:

x2 − wx + h = (x − c)(x − d)

και προκύπτουν από τον τύπο της δευτεροβάθμιας εξίσωσης, ως

προς w και h.

Επομένως, c , d εκφράζονται με ριζικά πάνω από το Q. Αφού aκαι b εκφράζονται με ριζικά των c , d , προκύπτει ότι a, bεκφράζονται με ριζικά πάνω από το Q.

Τελικά όλες οι ρίζες εκφράζονται με ριζικά πάνω από το Q.


Αν δεν υπάρχουν «αρκετές» ενδιάμεσες υποομάδες συμμετριών

τότε είναι αδύνατον να βρούμε τις ρίζες με ριζικά.

΄Εστω f (x) = x5 − 4x + 2.

−1.5 −1 −0.5 0 0.5 1 1.5

0

2

4

Σχήμα: Το γράφημα του x5 − 4x + 2.

Το f (x) έχει ακριβώς τρεις πραγματικές ρίζες. Χωρίς ναυπολογίσουμε τις ρίζες, μπορούμε να δείξουμε ότι η ομάδα των

συμμετριών τους είναι όλη η S5. Η S5 δεν είναι επιλύσιμη, καιάρα οι ρίζες αυτού του πολυωνύμου δεν εκφράζονται με ριζικά.


΄Εστω f (x) = x5 − 2.

−0.5 0 0.5 1 1.5

−2

0

2

4

6

Σχήμα: Το γράφημα του x5 − 2.

Το f (x) έχει ακριβώς μία πραγματική ρίζα. Η ομάδα τωνσυμμετριών τους έχει 10 στοιχεία και το πολυώνυμο

f (x) = x5 − 2 επιλύεται με ριζικά.


΄Εστω f (x) = x5 − 1.

−0.5 0 0.5 1 1.5

0

2

4

6

Σχήμα: Το γράφημα του x5 − 1.

Η ομάδα των συμμετριών έχει 4 στοιχεία. Το πολυώνυμο

f (x) = x5 − 1 επιλύεται με ριζικά. Οι ρίζες της μονάδας είναι τοe2πi/5 και οι δυνάμεις του. Με ριζικά, το e2πi/5 γράφεται ως:

−1 +√

5 +√−1− 2

√5

4.


Jewr'ia Galois se 45 lept'a - Aristotle University of...

Documents

Transcript of Jewr'ia Galois se 45 lept'a - Aristotle University of...