🔄 Θεωρία Galois: Οι Κρυμμένες Συμμετρίες μιας Εξίσωσης

Οι ρίζες ενός πολυωνύμου μοιάζουν αρχικά με μεμονωμένους αριθμούς που πρέπει απλώς να υπολογίσουμε. Η Θεωρία Galois μάς καλεί να κοιτάξουμε κάτι βαθύτερο: με ποιους τρόπους μπορούν οι ρίζες να ανταλλάξουν θέσεις χωρίς να αλλάξουν οι αλγεβρικές σχέσεις που τις συνδέουν;

Αυτές οι επιτρεπτές μεταθέσεις δεν είναι τυχαίες. Συνθέτονται μεταξύ τους και σχηματίζουν μια ομάδα συμμετριών.

Από τις ρίζες στις συμμετρίες

Έστω ένα σώμα \(K\) και μια επέκτασή του \(L\), η οποία περιέχει τις ρίζες του πολυωνύμου που μελετάμε.

Οι αυτομορφισμοί του \(L\) που αφήνουν σταθερό κάθε στοιχείο του \(K\) σχηματίζουν την ομάδα

\[ \boxed{\operatorname{Gal}(L/K)=\operatorname{Aut}(L/K)} \]

Ένας τέτοιος αυτομορφισμός μπορεί να μεταθέτει τις ρίζες, αλλά πρέπει να διατηρεί όλες τις αλγεβρικές σχέσεις που προέρχονται από το \(K\).

Με άλλα λόγια, η ομάδα Galois καταγράφει τις κρυμμένες συμμετρίες των ριζών.

Ένα απλό παράδειγμα

Για το πολυώνυμο

\[ x^2-2 \]

οι ρίζες είναι

\[ \sqrt2,\qquad-\sqrt2. \]

Στο σώμα

\[ L=\mathbb{Q}(\sqrt2) \]

υπάρχουν δύο αυτομορφισμοί που αφήνουν σταθερούς τους ρητούς:

\[ \sqrt2\longmapsto\sqrt2 \]

και

\[ \sqrt2\longmapsto-\sqrt2. \]

Η ανταλλαγή των δύο ριζών δεν επηρεάζει την εξίσωση, αφού και οι δύο ικανοποιούν

\[ x^2=2. \]

Αυτή η απλή αντιμετάθεση είναι ήδη μια μικρή ομάδα Galois.

Η Θεμελιώδης Αντιστοιχία του Galois

Εδώ εμφανίζεται μία από τις ομορφότερες δομές της Άλγεβρας.

Αν \(L/K\) είναι πεπερασμένη επέκταση Galois και

\[ K\subseteq E\subseteq L, \]

τότε στο ενδιάμεσο σώμα \(E\) αντιστοιχεί η υποομάδα

\[ \operatorname{Gal}(L/E) \subseteq \operatorname{Gal}(L/K). \]

Και η αντιστοιχία λειτουργεί αντίστροφα ως προς την ένταξη.

Μεγαλύτερο ενδιάμεσο σώμα

\[ \Updownarrow \] Μικρότερη υποομάδα αυτομορφισμών

Πιο συγκεκριμένα, αν

\[ E_1\subseteq E_2, \]

τότε

\[ \operatorname{Gal}(L/E_2) \subseteq \operatorname{Gal}(L/E_1). \]

Έτσι, το πλέγμα των ενδιάμεσων σωμάτων εμφανίζεται ως η αντίστροφη εικόνα του πλέγματος των υποομάδων.

Βαθμός επέκτασης και μέγεθος της ομάδας

Για μια πεπερασμένη επέκταση Galois ισχύει η θεμελιώδης σχέση

\[ \boxed{ |\operatorname{Gal}(L/K)|=[L:K] } \]

Δηλαδή, ο αριθμός των αυτομορφισμών της επέκτασης είναι ακριβώς ίσος με τον βαθμό της επέκτασης.

Και για ένα ενδιάμεσο σώμα \(E\) έχουμε αντίστοιχα

\[ |\operatorname{Gal}(L/E)|=[L:E]. \]

Γιατί αυτή η ιδέα άλλαξε την Άλγεβρα;

Ο Évariste Galois μετέφερε το ερώτημα από το

«Ποιος είναι ο τύπος που δίνει τις ρίζες;»

στο

«Ποια είναι η ομάδα συμμετριών των ριζών;»

Έτσι, ένα δύσκολο πρόβλημα εξισώσεων μετατρέπεται σε πρόβλημα Θεωρίας Ομάδων.

Ένα πολυώνυμο είναι επιλύσιμο με ριζικά όταν η αντίστοιχη ομάδα Galois είναι επιλύσιμη ομάδα. Αυτή η ιδέα εξηγεί γιατί δεν υπάρχει γενικός τύπος με ριζικά για όλες τις πολυωνυμικές εξισώσεις πέμπτου βαθμού, ανάλογος με τους γνωστούς τύπους για βαθμούς έως \(4\).

Από τον κανόνα και τον διαβήτη έως τα πεπερασμένα σώματα

Η ίδια γλώσσα συνδέεται με τα κλασικά προβλήματα κατασκευών με κανόνα και διαβήτη. Η δυνατότητα κατασκευής ενός μήκους μεταφράζεται σε συγκεκριμένες αλγεβρικές επεκτάσεις σωμάτων.

Η Θεωρία Galois εμφανίζεται επίσης στη μελέτη των πεπερασμένων σωμάτων, όπου οι ομάδες αυτομορφισμών έχουν εξαιρετικά καθαρή δομή. Τα πεπερασμένα σώματα αποτελούν βασικό εργαλείο της σύγχρονης θεωρίας κωδίκων και πολλών κρυπτογραφικών κατασκευών.

Μια πολυωνυμική εξίσωση δεν κρύβει μόνο τις ρίζες της.

Κρύβει και τις συμμετρίες ανάμεσά τους.

\[ \boxed{ \text{Ρίζες} \longrightarrow \text{Μεταθέσεις} \longrightarrow \text{Ομάδα Galois} } \]

Η εξίσωση γνώριζε ήδη τις συμμετρίες της.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →