Weekly outline
-
ΜΕΜ 227 - ΘΕΩΡΙΑ ΣΩΜΑΤΩΝ (ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ 2022-23)
Τρίτη 12/9 :Έχει ανακοινωθεί παρακάτω η βαθμολογία Τελικού Σεπτεμβρίου 2023
ΩΡΕΣ ΔΙΔΑΣΚΑΛΙΑΣ: Τρίτη - Πέμπτη 11.00-13.00 (Αίθουσα Α212)
ΩΡΕΣ ΑΣΚΗΣΕΩΝ: Δευτέρα 11.00-13.00 (αίθουσα Α212) - έναρξη 20/2/2023
ΒΙΒΛΙΟΓΡΑΦΙΑ: [ΘΧ] Θεοδώρα Θεοχάρη-Αποστολίδη & Χαρά Χαραλάμπους: Θεωρία Galois https://repository.kallipos.gr/handle/11419/731
ΠΡΟΑΠΑΙΤΟΥΜΕΝΗ ΓΝΩΣΗ: Απαιτείται πολύ καλή γνώση τής ύλης τών μαθημάτων Αλγεβρα Ι και ΙΙ, όπως επίσης και τής Γραμμικής Άλγεβρας Ι.
ΒΑΘΜΟΛΟΓΙΚΟ ΣΥΣΤΗΜΑ: Ο βαθμός θα προκύψει από τήν τελική εξέταση.
-
Forum
-
-
Εισαγωγή στο μάθημα - προβλήματα που θα μελετήσουμε. Σώματα, χαρακτηριστική σώματος. Ανάγωγα πολυώνυμα τού K[x], K=σώμα. Επανάληψη σε κριτήρια αναγωγιμότητας πολυωνύμων.
-
Ανάγωγα πολυώνυμα τού C[x], R[x]. Kριτήρια αναγωγιμότητας για πολυώνυμα τού Q[x]. Βαθμός επέκτασης σωμάτων - πεπερασμένες και άπειρες επεκτάσεις σωμάτων. Αλγεβρικά και υπερβατικά στοιχεία επέκτασης σωμάτων. Το ελάχιστο πολυώνυμο ενός αλγεβρικού στοιχείου. Τρόποι εύρεσης τού ελάχιστου πολυωνύμου. Αν $a$ αλγεβρικό /F τότε F[a]=F(a).
-
Βαθμός απλής επέκτασης. Αλληλουχία πεπερασμένων επεκτάσεων. Πεπερασμένες επεκτάσεις. Αλγεβρικές επεκτάσεις. Το σώμα των αλγεβρικών στοιχείων μιας επέκτασης σωμάτων. Οι αλγεβρικοί αριθμοί.
-
Οι επεκτάσεις τής μορφής F< F(a1, ..., an). Αλληλουχία αλγεβρικών επεκτάσεων. Αλγεβρικά κλειστά σώματα και ισοδύναμοι χαρακτηρισμοί. Σώμα ανάλυσης πολυωνύμου, ορισμός, ύπαρξη και ιδιότητες.
-
Αλγεβρική θήκη σώματος. F-ομομορφισμοί σωμάτων που είναι επεκτάσεις τού σώματος F. Ομάδα Galois μιας πεπερασμένης επέκτασης. Αν F ≤F(a), με a αλγεβρικό /F και F ≤E, τότε υπάρχει 1-1 αντιστοιχία μεταξύ των F-ομομορφισμών F(a)-->E και των ριζών του ελαχίστου πολυωνύμου Irr(a,F) που ανήκουν στο E.
-
Ανυψώσεις εμβυθίσεων σωμάτων. Κριτήριο ανύψωσης όταν η επέκταση είναι απλή. Δυο σώματα ανάλυσης πολυωνύμου τού F[x] είναι F-ισόμορφα.
-
Πλήθος ριζών πολυωνύμων, απλές ρίζες, διαχωρίσιμα πολυώνυμα. Ο μκδ δύο πολυωνύμων παραμένει αμετάβλητος όταν επεκτείνουμε το σώμα των συντελεστών. Κριτήρια διαχωρισιμότητας πολυωνύμων. Τέλεια σώματα. Τα σώματα χαρακτηριστικής 0 και το Zp είναι τέλεια σώματα. Ένα σώμα χαρακτηριστικής p είναι τέλειο αν και μόνον αν κάθε στοιχείο του έχει p-ρίζα.
-
Αν F≤ L πεπερασμένη επέκταση και F≤ E επέκταση τότε #{ σ: L--> Ε, F-εμβυθίσεις} ≤ [E:F]. Αν E σώμα ανάλυσης διαχωρίσιμου πολυωνύμου τότε #Gal(E/F)=[E:F]. Αν F≤ Ε πεπερασμένη επέκταση και H≤Gal(E/F), τότε το EH={a ϵ Ε με σ(a)=a, για κάθε a ϵ Gal(E/F)} είναι σώμα. Η σχέση [E:EH]≤#H.
-
Διαχωρίσιμες και κανονικές επεκτάσεις. Επεκτάσεις Galois. Χαρακτηρισμός των επεκτάσεων Galois ως σώματα ανάλυσης διαχωρίσιμων πολυωνύμων. Το θεμελιώδες θεώρημα τής θεωρίας Galois.
-
-
-
Κατασκευές με κανόνα και διαβήτη. Κατασκευάσιμοι αριθμοί - ιδιότητες. Η γωνία των 60ο κατασκευάζεται αλλά δεν τριχοτομείται.
-
Το αδύνατο του τετραγωνισμού του κύκλου και του διπλασιασμού τής σφαίρας. Πρωταρχικές ρίζες τής μονάδας. Κυκλοτομικά πολυώνυμα και οι ιδιότητές τους. Το ελάχιστο πολυώνυμο μια πρωταρχικής ρίζας τής μονάδος.
-
Κατασκευάσιμοι αριθμοί και επεκτάσεις Galois. Τα κατασκευάσιμα κανονικά πολύγωνα. Η αλγεβρική κλειστότητα τού σώματος των μιγαδικών.
Δείτε την κατασκευή του κανονικού 17-γώνου:
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-