Ε Μέχρι 31 Μαρτίου 2015.

Transcript

1 Ε Μέχρι 31 Μαρτίου Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες άρα ισχύει η απαλοιφή) (= κάποια δύναμη μηδενίζεται, είναι αυτομάτως μηδενοδιαιρέτης) 1 (= δακτ. απαλοιφής, αντιμεταθετικός, με 1) (σε δακτύλιο με 1) (με 1, R = R {0} (=πολλαπλασιαστικά αντιστρέψιμο, το σύνολό τους είναι αυτομάτως δακτύλιος απαλοιφής) είναι η πολλαπλασιαστική ομάδα R ) (=αντιμεταθετικός δακτύλιος διαίρεσης, είναι αυτομάτως ακέραια περιοχή) Βεβαιωθείτε ότι γνωρίζετε επακριβώς τους ορισμούς, και ξέρετε αρκετά παραδείγματα για την κάθε περίπτωση. Ειδικότερα, ο προσδιορισμός της τάξης της πολλαπλασιαστικής ομάδας R για R = Z/n οδηγεί στα θεωρήματα Fermat και Euler (Fraleigh, 4.3) 2 Μορφισμοί: Ομομορφισμοί δακτυλίων Ιδεώδη Fraleigh, 5.1. Ορισμός,,. Ορισμός (αριστερού, δεξιού, αμφίπλευρου),. Θεώρημα. Ο πυρήνας ενός ομομορφισμού δακτυλίων ϕ : A B είναι αμφίπλευρο ιδεώδες του A. Κατασκευή δακτυλίου-πηλίκο A/I, όπου I είναι οποιοδήποτε αμφίπλευρο ιδεώδες του A. Άρα, αντίστροφα προς το παραπάνω θεώρημα, κάθε αμφίπλευρο ιδεώδες είναι πυρήνας ενός ομομορφισμού δακτυλίων, και ειδικότερα του ομομορφισμού A A/I. Θεώρημα. Η εικόνα ενός ομομορφισμού δακτυλίων ϕ : A B είναι υποδακτύλιος ισόμορφος με τον A/ ker(ϕ). 3 Σημείωση για την ορολογία: θεωρία κατηγοριών Στην άλγεβρα, και γενικότερα στα μαθηματικά, ορίζουμε διαφόρων ειδών αντικείμενα, με συγκεκριμένη δομή το καθένα, και απεικονίσεις ή μορφισμούς μεταξύ τους, που σέβονται αυτή τη δομή. Μια οικογένεια αντικειμένων και μορφισμών (που ικανοποιούν ορισμένες προφανείς ιδιότητες, 1

2 δείτε π.χ. λέγεται κατηγορία. Για να συνεννοούμαστε, υπάρχει μία γενική γλώσσα («θεωρία κατηγοριών») που περιγράφει διάφορες γενικές ιδιότητες και κατασκευές σε μία κατηγορία ή μεταξύ κατηγοριών. Παραδείγματα κατηγοριών είναι: Αντικείμενα Μορφισμοί Σύνολα Απεικονίσεις Τοπολογικοί χώροι Συνεχείς απεικονίσεις Ομαλές (C ) πολλαπλότητες Ομαλές απεικονίσεις Ομάδες Ομομορφισμοί ομάδων Διανυσματικοί χώροι Γραμμικοί τελεστές Δακτύλιοι Ομομορφισμοί δακτυλίων Οι μορφισμοί μεταξύ δύο αντικειμένων A και B είναι πάντα ένα σύνολο,¹ και οι μορφισμοί από το A στον εαυτό του περιλαμβάνουν πάντα έναν (και μοναδικό) ταυτοτικό μορφισμό Id A. Σε κάθε κατηγορία, έχουμε τις εξής έννοιες: Ένας μορφισμός από ένα αντικείμενο A στον εαυτό του καλείται ενδομορφισμός του A. Ένας μορφισμός ϕ από το A στο B καλείται ισομορφισμός αν υπάρχει μορφισμός ψ από το B στο A τέτοιος ώστε ψ ϕ = Id A και ϕ ψ = Id B. Ένας ενδομορφισμός που είναι και ισομορφισμός καλείται αυτομορφισμός. Άσκηση. Περιγράψτε τους ενδομορφισμούς, ισομορφισμούς και αυτομορφισμούς σε καθεμιά από τις παραπάνω κατηγορίες. Σημείωση. Σε κάθε ειδική περίπτωση μπορεί να υπάρχουν και άλλα ονόματα για τα παραπάνω, π.χ. ένας ισομορφισμός στους τοπολογικούς χώρους καλείται και ομοιομορφισμός. Επομένως, επιστρέφοντας στην προηγούμενη παράγραφο, καταλαβαίνουμε τι θα πει «η εικόνα είναι υποδακτύλιος ισόμορφος με τον A/ ker(ϕ)»: ότι υπάρχει ένας ισομορφισμός δακτυλίων από τον A/ ker(ϕ) στην εικόνα του ϕ, ο οποίος επιδέχεται αντίστροφο (με την παραπάνω έννοια, που στη συγκεκριμένη περίπτωση είναι ισοδύναμη με την απαίτηση ο ομομορφισμός να είναι 1-1 και επί άσκηση!). Μάλιστα, στη συγκεκριμένη περίπτωση, μπορούμε να πούμε κάτι παραπάνω: ότι υπάρχει ένας διακεκριμένος τέτοιος ισομορφισμός δακτυλίων, αυτός που επάγεται από τον ϕ: Για κάθε στοιχείο του A/ ker(ϕ) πάρε έναν αντιπρόσωπο στον A και χρησιμοποίησε την ϕ για να τον στείλεις στην εικόνα του ϕ. 4 Ιδεώδη σε ευκλείδειες περιοχές Η έννοια της ευκλείδειας περιοχής ορίζεται στον Fraleigh στην 6.2, αλλά δε θα μας απασχολήσει αφηρημένα. Μας ενδιαφέρει μόνο ότι στον δακτύλιο Z των ακεραίων και τον δακτύλιο F [X] των πολυωνύμων μίας μεταβλητής πάνω από ένα σώμα εφαρμόζονται οι ίδιες μέθοδοι, που συμπεριλαμβάνουν ¹Αυτό δεν είναι τελείως αλήθεια: Υπάρχει και πιο γενική θεωρία κατηγοριών, όπου οι μορφισμοί μεταξύ αντικειμένων δεν είναι απαραίτητο να αποτελούν ένα σύνολο, βλ. http: //ncatlab.org/nlab/show/enriched+category. 2

3 τον αλγόριθμο της διαίρεσης και ένα μέτρο για το πόσο «μεγάλο» είναι ένα στοιχείο (ώστε το υπόλοιπο της διαίρεσης να είναι πάντα «μικρότερο» από τον διαιρέτη). Αυτό το μέτρο είναι η απόλυτη τιμή στους ακεραίους, και ο βαθμός στα πολυώνυμα. Χρησιμοποιώντας αντίστοιχες μεθόδους, αποδείξαμε τα παρακάτω, που εμφανίζονται στην 5.2 του Fraleigh: Θεώρημα. Κάθε ιδεώδες του Z είναι της μορφής n Z, όπου n κάποιος ακέραιος αυτός ο ακέραιος ορίζεται μοναδικά από το ιδεώδες, πέρα από πολλαπλασιασμό με μία μονάδα, δηλαδή με το ±1. Κάθε ιδεώδες του F [X] είναι της μορφής P F [X], όπου το P (X) είναι κάποιο πολυώνυμο αυτό το πολυώνυμο ορίζεται μοναδικά από το ιδεώδες, πέρα από πολλαπλασιασμό με μία μονάδα, δηλαδή με ένα στοιχείο του F. Δείξαμε επίσης ότι για κάθε σύνολο στοιχείων {r 1, r 2,... } σε έναν αντιμεταθετικό δακτύλιο υπάρχει ένα ελάχιστο ιδεώδες που τα περιέχει, το οποίο συμβολίζεται (r 1, r 2,... ). (Αντίστοιχος ισχυρισμός μπορεί να διατυπωθεί στους μη αντιμεταθετικούς, αλλά επειδή πρέπει κανείς να διευκρινίσει αν εννοεί αριστερό, δεξί ή αμφίπλευρο ιδεώδες, ο συμβολισμός αυτός δεν είναι εξίσου διαδεδομένος.) Επομένως, τα ιδεώδη του παραπάνω θεωρήματος μπορούν να γραφτούν (n) και (P ), αντιστοίχως. Ο συμβολισμός αυτός είναι συμβατός με το σύμβολο του μέγιστου κοινού διαιρέτη, με την εξής έννοια: αποδείξαμε ότι για ακεραίους n 1, n 2,..., το ιδεώδες (n 1, n 2,... ) είναι το ιδεώδες που παράγεται από τον μέγιστο κοινό διαιρέτη των n i. 5 Πρώτα και μέγιστα ιδεώδη Fraleigh, 5.2. Ορισμός μέγιστου και πρώτου ιδεώδους (σε αντιμεταθετικό δακτύλιο). Θεώρημα. Κάθε μέγιστο ιδεώδες σε αντιμεταθετικό δακτύλιο με 1 είναι πρώτο. Θεώρημα. Ένας αντιμεταθετικός δακτύλιος με 1 είναι σώμα αν και μόνο αν το μόνο γνήσιο ιδεώδες του είναι το μηδενικό. Θεώρημα. Έστω αντιμεταθετικός δακτύλιος και I ιδεώδες. Ο ομομορφισμόςπηλίκο A A/I δημιουργεί μία 1-1 και επί αντιστοιχία μεταξύ ιδεωδών του A που περιέχουν το I και ιδεωδών του δακτυλίου-πηλίκο A/I. Σε αυτήν την αντιστοιχία, πρώτα ιδεώδη αντιστοιχούν σε πρώτα ιδεώδη, και μέγιστα σε μέγιστα. Σημείωση. Μέρος του θεωρήματος γενικεύεται σε οποιουσδήποτε ομομορφισμούς A B αντιμεταθετικών δακτυλίων ως εξής: Η αντίστροφη εικόνα ιδεώδους του B είναι ιδεώδες του A, και η αντίστροφη εικόνα πρώτου ιδεώδους είναι πρώτο ιδεώδες. Άσκηση. Αποδείξτε το θεώρημα της παραπάνω σημείωσης. Δείξτε με ένα παράδειγμα ότι αν αντικαταστήσουμε τη λέξη «πρώτο» με τη λέξη «μέγιστο», ο ισχυρισμός δεν ισχύει! 3

4 Θεώρημα. Έστω A αντιμεταθετικός δακτύλιος με 1. Ένα ιδεώδες I του A είναι μέγιστο αν και μόνο αν ο δακτύλιος-πηλίκο A/I είναι σώμα, και πρώτο αν και μόνο αν ο δακτύλιος-πηλίκο A/I είναι ακέραια περιοχή. Πρώτα και μέγιστα ιδεώδη στον Z και τον F [X]. Ανάγωγα στοιχεία. Θεώρημα: κάθε μη μηδενικό πρώτο είναι μέγιστο, και ένα μη μηδενικό ιδεώδες (f) είναι πρώτο/μέγιστο αν και μόνο αν το f είναι ανάγωγο. 6 Δακτύλιοι πολυωνύμων Ανασκόπηση των δακτυλίων πολυωνύμων, Fraleigh, , αλλά με συζήτηση και των εννοιών που μάθαμε από τα επόμενα κεφάλαια (π.χ. ιδεώδη) και με το βλέμμα στις περιοχές κυρίων ιδεωδών (ΠΚΙ) και περιοχές μονοσήμαντης ανάλυσης (ΠΜΑ), Fraleigh,

5 Α Να παραδοθούν μετά τις διακοπές του Πάσχα 1. Για τα παρακάτω, δώστε ένα μη τετριμμένο (μη μηδενικό) παράδειγμα ή εξηγήστε γιατί δεν υπάρχει. (i) Ένας ακέραιος n που είναι πρώτος προς το 12 και το n 2 3 διαιρείται με το 12. (ii) Ένας ακέραιος n που είναι πρώτος προς το 143(= 11 13) και το n διαιρείται με το 143. (iii) Ένας δακτύλιος-πηλίκο μιας ακέραιας περιοχής που έχει μηδενοδιαιρέτες. (iv) Ένας δακτύλιος-πηλίκο ενός δακτυλίου με μηδενοδιαιρέτες που είναι ακέραια περιοχή. (v) Ένας ομομορφισμός δακτυλίων ϕ : A B, όπου ο A και ο B έχουν μοναδιαίο στοιχείο αλλά ϕ(1 A ) ϕ(1 B ). 2. Έστω R δακτύλιος με 1, και A = R[X] ο δακτύλιος των πολυωνύμων σε μία μεταβλητή πάνω από το R. Να περιγράψετε την πολλαπλασιαστική ομάδα A. 3. Περιγράψτε όλους τους ομομορφισμούς από τον δακτύλιο Z Z σε δακτύλιο R. Περιγράψτε όλα τα ιδεώδη του Z Z. 4. Αποδείξτε ότι για ομομορφισμό ϕ : A B αντιμεταθετικών δακτυλίων, η αντίστροφη εικόνα ιδεώδους του B είναι ιδεώδες του A, και η αντίστροφη εικόνα πρώτου ιδεώδους είναι πρώτο ιδεώδες. Δείξτε με ένα παράδειγμα ότι αυτό δεν ισχύει για μέγιστα ιδεώδη. 5. Θεωρούμε το σώμα F = Z/p, όπου ο p είναι πρώτος. Δείξτε ότι η απεικόνιση x x p είναι ένας αυτομορφισμός του F. (Ο αυτομορφισμός αυτός ονομάζεται αυτομορφισμός του Frobenius και είναι εξαιρετικά σημαντικός στη θεωρία αριθμών!) 6. Έστω I R ιδεώδες ενός αντιμεταθετικού δακτυλίου. Δείξτε ότι το ριζικό I := {a R n Z >0, a n R} είναι επίσης ιδεώδες. Δείξτε ότι αν το I είναι πρώτο τότε I = I, περιγράψτε το ριζικό του I = (0) και βρείτε ένα παράδειγμα ιδεώδους με I I. 7. Εξηγήστε ποιος από τους παρακάτω δακτυλίους είναι σώμα: Q[X]/(X 2 6X + 6), R[X]/(X 2 6X + 6). 5