close
Μετάβαση στο περιεχόμενο

Επέκταση Γκαλουά

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στα μαθηματικά, μια επέκταση Γκαλουά[1][2] είναι μια επέκταση αλγεβρικού σώματος E/F που είναι κανονική και διαχωρίσιμη[3] ή ισοδύναμα, το E/F είναι αλγεβρικό και το σώμα που καθορίζεται από την ομάδα αυτομορφισμού Aut(E/F) είναι ακριβώς το βασικό σώμα F. Η σημασία του να είναι μια επέκταση Γκαλουά είναι ότι η επέκταση έχει μια ομάδα Γκαλουά και υπακούει στο θεμελιώδες θεώρημα της θεωρίας Γκαλουά[α]

Ένα αποτέλεσμα του Εμίλ Αρτίν επιτρέπει την κατασκευή επεκτάσεων Γκαλουά ως εξής: Αν E είναι ένα δεδομένο σώμα και G είναι μια πεπερασμένη ομάδα αυτομορφισμών του E με σταθερό σώμα F, τότε το E/F είναι μια επέκταση Γκαλουά[4]

Η ιδιότητα μιας επέκτασης να είναι Γκαλουά συμπεριφέρεται καλά σε σχέση με τη σύνθεση και την τομή του σώματος[5].

Χαρακτηρισμός των επεκτάσεων Γκαλουά

[Επεξεργασία | επεξεργασία κώδικα]

Ένα σημαντικό θεώρημα του Εμίλ Αρτίν δηλώνει ότι για μια πεπερασμένη επέκταση κάθε μία από τις ακόλουθες προτάσεις είναι ισοδύναμη με την πρόταση ότι η είναι Γκαλουά:[6][7]

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

Άλλες ισοδύναμες δηλώσεις είναι:

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

Μια άπειρη επέκταση σώματος είναι Γκαλουά αν και μόνο αν είναι η ένωση πεπερασμένων υποεπεκτάσεων Γκαλουά που δεικτοδοτούνται από ένα (άπειρο) σύνολο δεικτών , δηλ. και η ομάδα Γκαλουά είναι ένα αντίστροφο όριο όπου το αντίστροφο σύστημα διατάσσεται από την ένταξη του σώματος . [8]

Υπάρχουν δύο βασικοί τρόποι για την κατασκευή παραδειγμάτων επεκτάσεων Γκαλουά.

  • Ας πάρουμε οποιοδήποτε σώμα , οποιαδήποτε πεπερασμένη υποομάδα του , και έστω το σταθερό σώμα.
  • Ας πάρουμε οποιοδήποτε σώμα , οποιοδήποτε διαχωρίσιμο πολυώνυμο στο , και έστω το διαχωριστικό του σώμα.

Η πρόσθεση στο σώμα ρητών αριθμών της τετραγωνικής ρίζας του 2 δίνει μια επέκταση Γκαλουά, ενώ η πρόσθεση της κυβικής ρίζας του 2 δίνει μια μη Γκαλουά επέκταση. Και οι δύο αυτές επεκτάσεις είναι διαχωρίσιμες, επειδή έχουν χαρακτηριστικό μηδέν. Η πρώτη από αυτές είναι το σώμα διασπάσεως του - η δεύτερη έχει κανονική κλειστότητα[9] που περιλαμβάνει τις μιγαδικές κυβικές ρίζες της μονάδας και έτσι δεν είναι σώμα διασπάσεως. Στην πραγματικότητα, δεν έχει κανέναν αυτομορφισμό εκτός από την ταυτότητα, επειδή περιέχεται στους πραγματικούς αριθμούς και το έχει μόνο μία πραγματική ρίζα. Για πιο λεπτομερή παραδείγματα, δείτε τη σελίδα για το θεμελιώδες θεώρημα της θεωρίας Γκαλουά.

Μία αλγεβρική κλειστότητα ενός αυθαίρετου σώματος είναι Γκαλουά πάνω στο αν και μόνο αν το είναι τέλειο σώμα.

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]
  • Lang, Serge (21 Ιουνίου 2005). Algebra. Springer Science & Business Media. ISBN 978-0-387-95385-4. 
  • Lawrence, John W.· Zorzitto, Frank A. (15 Απριλίου 2021). An Introduction to Abstract Algebra: A Comprehensive Introduction. Cambridge University Press. ISBN 978-1-108-83665-4. 
  • Grillet, Pierre Antoine (21 Ιουλίου 2007). Abstract Algebra. Springer Science & Business Media. ISBN 978-0-387-71568-1. 
  • Chamizo, Fernando· Guàrdia, Jordi (28 Σεπτεμβρίου 2015). Trends in Number Theory. American Mathematical Soc. ISBN 978-0-8218-9858-1. 
  • Facchini, Alberto· Houston, Evan (10 Φεβρουαρίου 2020). Rings, Modules, Algebras, and Abelian Groups. CRC Press. ISBN 978-0-8247-5081-7. 
  • Magid, Andy R. (10 Σεπτεμβρίου 2020). Rings, Extensions, and Cohomology. CRC Press. ISBN 978-1-000-11681-6. 
  • Johnson, Norman L. (6 Ιουνίου 2023). Geometry of Derivation with Applications. CRC Press. ISBN 978-1-000-88381-7. 
  • Clark, Allan (6 Ιουλίου 2012). Elements of Abstract Algebra. Courier Corporation. ISBN 978-0-486-14035-3. 
  • Aluffi, Paolo (9 Νοεμβρίου 2021). Algebra: Chapter 0. American Mathematical Soc. ISBN 978-1-4704-6571-1. 
  • Underwood, Robert G. (28 Αυγούστου 2011). An Introduction to Hopf Algebras. Springer Science & Business Media. ISBN 978-0-387-72766-0. 
  1. Hazewinkel, Michiel (1988). Encyclopaedia of Mathematics. Springer Science & Business Media. ISBN 978-1-55608-003-6.
  2. Weisstein, Eric W. «Galois Extension Field». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 11 Μαΐου 2025.
  3. Lang 2002, σελ. 262.
  4. Lang 2002, Theorem 1.8, σελ. 264.
  5. Milne 2022, ch. 3 and 7, σελ. 40f.
  6. «Field Extension by Galois Theory - University of Kent, UK» (PDF).
  7. «Galois Extension - an overview | ScienceDirect Topics». www.sciencedirect.com. Ανακτήθηκε στις 11 Μαΐου 2025.
  8. Milne 2022, example 7.26, σελ. 102.
  9. «Galois closure». planetmath.org. Ανακτήθηκε στις 12 Μαΐου 2025.
  1. See the article Galois group for definitions of some of these terms and some examples.

• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556