ΜΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ. Χαρά Χαραλάµπους

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "ΜΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ. Χαρά Χαραλάµπους"

Transcript

1 ΜΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ Σηµειώσεις (σε εξέλιξη) Χαρά Χαραλάµπους Τµήµα Μαθηµατικών, ΑΠΘ

2 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα

3 ΜΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ Σηµειώσεις (σε εξέλιξη) Χαρά Χαραλαµπους Τµήµα Μαθηµατικών, ΑΠΘ 14 Φεβρουαρίου 2017

4

5 Περιεχόµενα Πρόλογος 3 Κεφάλαιο 1: Ιστορική Αναδροµή Το Ξεκίνηµα Θεωρία Αριθµών Αλγεβρική Γεωµετρία Θεωρία Αναλλοιώτων Ασκήσεις Βιβλιογραφία Κεφάλαιο 2: Βασικές Εννοιες Πρώτα ιδεώδη Τοπικοποίηση ακτυλίων Ασκήσεις Βιβλιογραφία Κεφάλαιο 3: ακτύλιοι της Noether ακτύλιοι της Noether Θεώρηµα Βάσης του Hilbert Πρωταρχική ανάλυση ιδεωδών σε δακτυλίους της Noether Ασκήσεις Βιβλιογραφία Κεφάλαιο 4: R-Modules R-Modules Το Λήµµα του Nakayama Ασκήσεις Βιβλιογραφία Κεφάλαιο 5: Μία Εισαγωγή στην Οµολογική Αλγεβρα Τανυστικό Γινόµενο Οι συναρτητές Hom R (M, _) και Hom R (_, M) Τοπικοποίηση και R-modules Ασκήσεις Βιβλιογραφία Κεφάλαιο 6: Modules της Noether και του Artin R-modules της Noether R-modules του Artin Το Λήµµα των Artin-Rees και το Θεώρηµα τοµής του Krull Ασκήσεις Βιβλιογραφία Κεφάλαιο 7: Ακέραια και Αλγεβρικά Στοιχεία Ακέραια στοιχεία Τα Θεωρήµατα των µηδενικών του Hilbert (Hilbert s Nullstellensatz)

6 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Επικάθηση, Ανάβαση και µη Συγκρισιµότητα Το Θεώρηµα Κατάβασης Ασκήσεις Βιβλιογραφία Κεφάλαιο 8: Θεωρία ιάστασης ιάσταση του Krull ιάσταση και αριθµός γεννητόρων Βαθµωτοί δακτύλιοι και η συνάρτηση του Hilbert ιάσταση και το πολυώνυµο του Hilbert Παράρτηµα Α Ασκήσεις Βιβλιογραφία Κεφάλαιο 9: ακτύλιοι Εκτίµησης ακτύλιοι Εκτίµησης ακτύλιοι ιακριτής Εκτίµησης ακτύλιοι του Dedekind Κλασµατικά Ιδεώδη Ασκήσεις Βιβλιογραφία Κεφάλαιο 10: Πλήρωση Αντίστροφο όριο p-αδικοί ακέραιοι Ο δακτύλιος των δυναµοσειρών Φιλτράρισµα και πλήρωση Ακριβείς ακολουθίες και πλήρωση Τοπολογικές οµάδες Τοπολογία, ϕιλτράρισµα και αντίστροφο όριο I-αδική τοπολογία Το Λήµµα του Hensel ιάσταση και πλήρωση Ασκήσεις Βιβλιογραφία Υποδείξεις και Λύσεις Ασκήσεων Ενότητα

7

8 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 4 4

9 Πρόλογος Οι σηµειώσεις αυτές υπερκαλύπτουν την ύλη του εξαµηνιαίου µεταπτυχιακού µαθήµατος στην Αντιµεταθετική Άλγεβρα του Τµήµατος Μαθηµατικών του Α.Π.Θ. Θεωρούνται δεδο- µένες ϐασικές γνώσεις της Θεωρίας Οµάδων και Θεωρίας ακτυλίων. Οι σηµειώσεις είναι έργο σε εξέλιξη, όπως ϑα γίνει ϕανερό από την ανάγνωσή τους. 5

10 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 6 6

11 Κεφάλαιο 1 Ιστορική Αναδροµή 1.1 Το Ξεκίνηµα Τρεις κλάδοι των Μαθηµατικών συνέβαλλαν στη γέννηση της Αντιµεταθετικής Άλγεβρας Θεωρία Αριθµών Η εύρεση απόδειξης του Τελευταίου Θεωρήµατος του Fermat (1637) υπήρξε µία από τις µεγάλες προκλήσεις των Μαθηµατικών. Μετά από πολλές (λανθασµένες) απόπειρες η απόδειξη δόθηκε τρεισήµισι αιώνες αργότερα το 1995 µε τη δουλειά του Wiles. Αναφερό- µαστε σε αυτό το εδάφιο στην απόπειρα του Lamé (1847) και την επίδρασή της. Θεώρηµα (Τελευταίο Θεώρηµα του Fermat). Η εξίσωση x n + y n = z n δεν µπορεί να λυθεί στους ακεραίους όταν n > 2. Ο Gauss το 1832 στην εργασία Theoria residuorum biquadraticorum εισήγαγε το σύνολο Z[i] := {a + bi : a, b Z, i 2 = 1 }. Ο δακτύλιος αυτός είναι γνωστός σήµερα ως δακτύλιος των ακεραίων του Gauss. Ο Gauss απέδειξε (ανάµεσα σε πολλά άλλα) ότι τα στοιχεία του Z[i] έχουν την ιδιότητα της µονοσήµαντης ανάλυσης. Μία ακεραία περιοχή είναι περιοχή µονοσήµαντης ανάλυσης (unique factorization domain UFD) και συµβολίζεται µε ΠΜΑ αν κάθε x D µπορεί να γραφτεί µε µοναδικό τρόπο ως γινόµενο x = u s i=1 p n i i (1.1.1) όπου το u είναι αντιστρέψιµο, το p i είναι ανάγωγο, για i [s], και p i, p j δεν είναι συναφή όταν i j. ( Ενα µη αντιστρέψιµο στοιχείο q της D λέγεται ανάγωγο αν κάθε ϕορά που q = ab, τότε ένα από τα a ή b είναι αντιστρέψιµα στη D. ύο ανάγωγα στοιχεία q 1, q 2 της D είναι συναφή ακριβώς όταν q 1 = aq 2, όπου a κάποιο αντιστρέψιµο στοιχείο της D). Με µοναδικό τρόπο σηµαίνει ότι αν το x γράφεται µε διαφορετικό τρόπο ως τέτοιο γινόµενο, δηλ. αν x = u t i=1 7 q m i i

12 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 8 είναι µία άλλη έκφραση της µορφής που περιγράψαµε προηγουµένως, τότε t = s και κάθε p i είναι συναφές µε κάποιο q j. Είναι τα p i της έκφρασης πρώτα στοιχεία της D για i [s]; Θυµίζουµε ότι το µη αντιστρέψιµο στοιχείο p D είναι πρώτο (prime), αν p ab σηµαίνει ότι p a ή p b. Είναι εύκολο να δείξει κανείς ότι ένα πρώτο στοιχείο είναι και ανάγωγο. Ισχύει το αντίστροφο ; Οπως µπορεί να ϐεβαιωθεί στις ασκήσεις, η απάντηση δεν είναι πάντα ϑετική. Τι σχέση όµως έχουν τα παραπάνω µε το Τελευταίο Θεώρηµα του Fermat; Ας δούµε αναλυτικά τι γίνεται στην περίπτωση της δευτεροβάθµιας ιοφαντικής εξίσωσης x 2 + y 2 = z 2. Αντί να περιοριστούµε σε λύσεις στον δακτύλιο Z, ϑα µελετήσουµε την x 2 + y 2 = z 2 στον δακτύλιο Z[i]. Παρατηρούµε, λοιπόν, καταρχήν ότι x 2 + y 2 = (x + iy)(x iy). Εποµένως, αν (a, b, c) Z 3 ικανοποιεί αυτήν την εξίσωση, τότε το c 2, έχει µία µη τετριµµένη παραγοντοποίηση στον δακτύλιο Z[i]. Για παράδειγµα, όταν c = 5 έχουµε ότι : 5 2 = (3 + i 4)(3 i 4) = και η παραγοντοποίηση του 5 2 στον Z[i], οδηγεί στη λύση (3, 4, 5) της x 2 + y 2 = z 2. (Παρεµπιπτόντως, είναι το 5 πρώτο στον Z[i] και ποια είναι η ανάλυση του 5 2 σε ανάγωγους παράγοντες στον Z[i];) Βέβαια, για το Τελευταίο Θεώρηµα του Fermat µας ενδιαφέρουν οι λύσεις της εξίσωσης x n + y n = z n, για n > 2. Τι κάνουµε, λοιπόν, σε αυτήν την περίπτωση ; Ας δούµε λίγο πιο αναλυτικά την περίπτωση που n = 3. Εστω ζ = e 2πi/3. Αφού ( ζ) 3 = 1 και οι τρεις ϱίζες του πολυωνύµου x είναι οι 1, ζ, ζ 2, συµπεραίνουµε ότι και συνεπώς x = (x + 1)(x + ζ)(x + ζ 2 ) x 3 + y 3 = (x + y)(x + ζy)(x + ζ 2 y). Γενικότερα λοιπόν, αν n είναι περιττός πρώτος και (a, b, c) είναι λύση της x n + y n = z n, τότε για το κατάλληλο ζ (ποιο άραγε ;) ισχύει ότι a n + b n = (a + b)(a + ζb) (a + ζ n 1 b) = c n. Η ϐασική ιδέα του Lamé το 1847, υποθέτοντας ότι ο Z[ζ] έχει την ιδιότητα της µονοσή- µαντης ανάλυσης, ήταν να δείξει ότι όταν οι παράγοντες σε αυτό το γινόµενο είναι πρώτοι µεταξύ τους (στον δακτύλιο Z[ζ]), τότε κάθε ένας από τους παράγοντες του γινοµένου είναι ίσος µε µία n-στη δύναµη. Επαναλαµβάνοντας αυτή τη διαδικασία ο Lamé έδειξε ότι οδηγούµαστε σε άτοπο. Οµως η απόδειξη αυτή είναι τελικά έωλη γιατί όπως έδειξε ο Kummer λίγο αργότερα, την ίδια χρονιά, ο δακτύλιος Z[ζ] µε ζ n-στη πρωταρχική ϱίζα δεν είναι πάντα ΠΜΑ, π.χ. για n = 23. Αυτή λοιπόν η απόπειρα απόδειξης του Τελευταίου Θεωρήµατος του Fermat ανέδειξε τη σηµασία της ιδιότητας της µονοσήµαντης ανάλυσης. Οι Dedekind και Lasker στα τέλη του 19ου αιώνα µε την έρευνά τους εισήγαγαν την έννοια των ιδεωδών σε κάποιες ειδικές περιπτώσεις. Με αυτόν τον τρόπο ανακτάται η ιδιότητα της µονοσήµαντης ανάλυσης, περνώντας από την ανάλυση των στοιχείων του δακτυλίου στην πρωταρχική ανάλυση των ιδεωδών του δακτυλίου σε ανάγωγα ιδεώδη. Στη ϑέση των πρώτων στοιχείων µελετούµε πρώτα ιδεώδη. Στη ϑέση των αναγώγων µελετούµε 8

13 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 9 ανάγωγα ιδεώδη και αντί για γινόµενα αναγώγων στοιχείων µελετούµε την τοµή αναγώγων ιδεωδών. Θυµίζουµε ότι ένα γνήσιο ιδεώδες P του δακτυλίου R λέγεται πρώτο, αν κάθε ϕορά που fg P για f, g R, τότε f ή g P, δηλαδή ακριβώς όταν R/P είναι ακεραία περιοχή. Ενα γνήσιο ιδεώδες Q του δακτυλίου R λέγεται ανάγωγο, αν δεν µπορεί να γραφεί ως τοµή δύο γνήσιων ιδεωδών. Κάθε µέγιστο ιδεώδες είναι προφανώς ανάγωγο. εν είναι δύσκολο να δει κανείς ότι όλα τα πρώτα ιδεώδη είναι και αυτά ανάγωγα. Υπάρχουν όµως ανάγωγα ιδεώδη που δεν είναι πρώτα, όπως σας Ϲητείται να δείξετε στις ασκήσεις. Στο επόµενο παράδειγµα, ϑα δείξουµε την ανάλυση του κύριου ιδεώδους 6 στον δακτύλιο Z[ 5]. Θυµίζουµε ότι στον Z[ 5], το 6 έχει δύο αναλύσεις σε γινόµενο αναγώγων στοιχείων, ϐλ. Άσκηση Παράδειγµα Στον δακτύλιο Z[ 5] ϑεωρούµε τα ιδεώδη P = 2, 1 + i 5, Q = 3, 1 + i 5, R = 3, 1 i 5. Τα ιδεώδη P, Q, R είναι µέγιστα ιδεώδη, ϐλ. Άσκηση Παρατηρούµε επίσης ότι P 2 = 2. Πράγµατι : P 2 = 2 2, 2(1 + i 5), (1 + i 5) 2 = 4, 2(1 + i 5), 4 + 2i 5 = 4, 2 + 2i 5, 2i 5 = 4, 2, 2i 5 = 2. Οµοίως, µπορεί να δείξει κανείς ότι QR = 3. Αφού λοιπόν 6 = 2 3, χρησιµοποιώντας την Άσκηση , προκύπτει ότι 6 = 2 3 = P 2 (QR) = P 2 (Q R). (1.1.2) Τα ιδεώδη P 2, Q, R είναι ανάγωγα (αποδείξτε το) και λέµε ότι η ανάλυση είναι η πρωταρχική ανάλυση του 6 στον Z[i 5]. Αφήνουµε στον αναγνώστη να ελέγξει αν η ανάλυση 6 = (1 + 5)(1 5) οδηγεί στα ίδια ανάγωγα ιδεώδη. Η E. Noether µία από τους µεγαλύτερους µαθηµατικούς του 20ου αιώνα ενοποίησε τις έννοιες των ιδεωδών των Dedekind και Lasker και έθεσε τις αξιωµατικές ϐάσεις της Αντιµεταθετικής Άλγεβρας. Θα εξετάσουµε την πρωταρχική ανάλυση των ιδεωδών σε επόµενη ενότητα Αλγεβρική Γεωµετρία Η ανάπτυξη της Αντιµεταθετικής Άλγεβρας ήταν αναγκαία για πρόοδο σε ϐασικά προβλή- µατα της Αλγεβρικής Γεωµετρίας για τα κοινά µηδενικά ενός συνόλου πολυωνύµων. Η πιο απλή περίπτωση αφορά ένα πολυώνυµο σε µία µεταβλητή και αντιµετωπίζεται πλήρως µε το Θεµελιώδες Θεώρηµα της Άλγεβρας. Σύµφωνα µε αυτό ένα µη µηδενικό πολυώνυµο f(x) µε µιγαδικούς συντελεστές έχει ακριβώς deg(f) ϱίζες στο σώµα των µιγαδικών αριθµών. 1 Είναι ϕυσικό λοιπόν να αναζητήσουµε τη γενίκευση αυτού του ϑεωρήµατος για πολυώνυµα πολλών µεταβλητών. Εστω ότι S είναι ένα σύνολο πολυωνύµων στον δακτύλιο C[x 1,..., x n ]. Τι µπορούµε να πούµε για τα κοινά µηδενικά αυτών των πολυωνύµων ; Ορίζουµε το σύνολο των µηδενικών του S, Z(S), ως εξής : Z(S) = {(a 1,..., a n ) C n : g(a 1,..., a n ) = 0, g S} C n 1 Θυµίζουµε ότι η πρώτη ολοκληρωµένη απόδειξη του Θεµελιώδους Θεωρήµατος της Άλγεβρας αποδίδεται στον Gauss το

14 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 10 και λέµε ότι το Z(S) είναι µία πολλαπλότητα (variety). Πότε είναι το σύνολο Z(S) διάφορο του κενού ; εν είναι δύσκολο να δει κανείς ότι το σύνολο S και το ιδεώδες που παράγεται από το S, δηλ. το σύνολο S = {r 1 f r n f n : f 1,..., f n S, r 1,..., r n C[x 1,..., x n ], n N} ορίζουν την ίδια πολλαπλότητα. Με άλλα λόγια : Z(S) = Z ( S ). Εύκολα επίσης µπορεί να δει κανείς ότι αν S 1 S 2, τότε Z(S 1 ) Z(S 2 ). Είναι µήπως το ιδεώδες S το µεγαλύτερο (ως προς τη σχέση εγκλεισµού) υποσύνολο του C[x 1,..., x n ] που τα στοιχεία του µηδενίζονται ακριβώς στο Z(S) και ποιες είναι οι ιδιότητες του ιδεώδους S που καθορίζουν τα µηδενικά του S; Αντίστροφα, έστω X ένα υποσύνολο του C n. Πως µπορούµε να καταλάβουµε πότε X ισούται µε κάποιο Z(S) και ότι το X είναι πολλαπλότητα ; Παράδειγµα Εστω X = N C. Κάθε µη µηδενικό πολυώνυµο f(x) C[x] έχει πεπερασµένο αριθµό ϱιζών. Εποµένως δεν υπάρχει S C[x 1,..., x n ] έτσι ώστε X = Z(S). 2. Εστω X = {1, 2} C. Αν το f(x) µηδενίζεται στο X, τότε (x 1)(x 2) διαιρεί το f(x). Εστω I = (x 1)(x 2). εν είναι δύσκολο να δει κανείς ότι Z(I) = X. 3. Εστω S = {c} ένα σταθερό µη µηδενικό πολυώνυµο. Τότε Z(S) =. Εποµένως Z(C[x 1,..., x n ]) =. 4. Εστω S = {0}. Τότε Z(S) = C n. Εστω, λοιπόν, X C n µία πολλαπλότητα. σύνολο : Ορίζουµε I(X) να είναι το παρακάτω I(X) = {f(x 1,..., x n ) C[x 1,..., x n ] : f(a 1,..., a n ) = 0, (a 1,..., a n ) X}. Είναι εύκολο να δει κανείς ότι I(X) είναι ιδεώδες του C[x 1,..., x n ]. Ποια είναι η σχέση του X και του Z(I(X)); Αντίστροφα, (µε X = Z(S)) ποια είναι η σχέση του I(Z (S)) και του S; Παράδειγµα Εστω S = {x 2 4, x 2 5x + 6}. Τότε Z(S) = Z(x 2 4) Z(x 2 5x + 6) = {±2} {2, 3} = {2}. Εστω f(x) C[x] και f(2) = 0. Τότε f(x) = (x 2)g(x), όπου g(x) C[x] και άρα I({2}) = x 2. ιαφέρουν τα ιδεώδη I(Z (S)) και S ; Το ιδεώδες S έχει δύο γεννήτορες. Οµως ο C[x] είναι δακτύλιος κυρίων ιδεωδών και το S αναγκαστικά κύριο. Βρίσκουµε τον µέγιστο κοινό διαιρέτη των x 2 4 και x 2 5x+6 χρησιµοποιώντας τον Ευκλείδειο αλγόριθµο. Πράγµατι και εποµένως x 2 = 1 5 ( (x 2 4) (x 2 5x + 6) ) S = {f(x)(x 2 4) + g(x)(x 2 5x + 6) : f(x), g(x) C[x]} = x 2 = I(Z(S)). 10

15 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Εστω S = {x 2, y 2 }. Τότε Z(S) = {(0, a) : a C} {(b, 0) : b C} = {(0, 0)}. Θα δείξουµε ότι I(Z(S)) = x, y S. Πράγµατι, για την ισότητα, ο ένας εγκλεισµός είναι άµεσος : x, y I(Z(S)). Αντίστροφα, αν f(x, y) = a i,j x i y j I(Z(S)) τότε a 0,0 = f(0, 0) = 0 και άρα f(x, y) = x( i 1 a i,j x i 1 y j ) + y( j 1 a 0,j x i y j 1 ) x, y. 3. Εστω X = C n. Τότε I(X) = C[x 1,..., x n ]. 4. Εστω X = C n. Τότε I(X) = 0. Είναι ϕανερό ότι αν g I(X) και f t = g, για t N, τότε f I(X). Οδηγούµαστε, λοιπόν, στη µελέτη του ϱιζικού ενός ιδεώδους I. Ορίζουµε στη γενική περίπτωση το ϱιζικό (radical) του ιδεώδους I στον δακτύλιο R είναι το σύνολο rad(i) = {f R : f m I, για κάποιο m N}. εν είναι δύσκολο να αποδείξει κανείς ότι rad(i) είναι ιδεώδες του R. Ειδικότερα rad ( 0 ) = {f R : f m = 0, για κάποιο m N} αποτελείται από όλα τα µηδενοδύναµα στοιχεία του R. Παράδειγµα Στον C[x, y], rad(x 2, y 2 ) = x, y. 2. rad(c[x 1,..., x n ]) = C[x 1,..., x n ]. 3. Στον Z, rad ( 20 ) = 10. Ο Hilbert το απέδειξε το επόµενο εντυπωσιακό ϑεώρηµα. Θεώρηµα (Θεώρηµα των Μηδενικών του Hilbert (Hilbert s Nullstellensatz)). αʹ) Αν I C[x 1,..., x n ] είναι ιδεώδες, τότε I(Z(I)) = rad(i) ϐʹ) Εστω S = {f 1,..., f m } C[x 1,..., x n ]. g 1,..., g m C[x 1,..., x n ] τέτοια ώστε Το Z(S) = αν και µόνο αν υπάρχουν 1 = g 1 f g m f m. ηλαδή Z(f 1,..., f m ) f 1,..., f m C[x 1,..., x n ]. 2 Hilbert, D. (1893). Über die vollen Invariantensysteme. Math. Ann. 42, 313;

16 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 12 Είναι ϕανερό ότι αν Z(f 1,..., f m ), τότε f 1,..., f m = C[x 1,..., x n ]. Παρακάτω, δείχνουµε ότι το ϐ) προκύπτει εύκολα από το α) του Θεωρήµατος των Μηδενικών του Hilbert. Στην ενότητα 7.2, ϑα δούµε την ολοκληρωµένη απόδειξη του ϑεωρήµατος που είναι και ϐασικός στόχος του µαθήµατος.. Πρόταση Αν f 1,..., f m C[x 1,..., x n ], τότε Z ( f 1,..., f m ). Απόδειξη. Θέτουµε I = f 1,..., f m. Εστω ότι Z(I) =. Αφού I( ) = C[x 1,..., x n ] και I(Z(I)) = rad(i), συµπεραίνουµε ότι C[x 1,..., x n ] = rad(i). Κάθε στοιχείο του C[x 1,..., x n ] ανήκει στο rad(i), άρα 1 rad(i). Εποµένως υπάρχει t N, τέτοιο ώστε 1 t I, δηλ. 1 I και κατά συνέπεια I = C[x 1,..., x n ]. Καταλήξαµε σε άτοπο γιατί υποθέσαµε ότι Z(I) =. Εποµένως Z(I). Σηµειώνουµε ότι το Θεώρηµα των Μηδενικών του Hilbert δεν είναι αληθές, όταν στη ϑέση του C έχουµε τον R, όπως δείχνει το επόµενο παράδειγµα. Παράδειγµα Εστω S = {x 2 + 1} R[x]. rad( x ) = x R[x]. Τότε Z(S) =, I( ) = R[x] και Θεωρία Αναλλοιώτων Η ανάπτυξη της Αντιµεταθετικής Άλγεβρας σηµατοδοτήθηκε από τη σύνδεσή της µε τη Θεωρία των Αναλλοιώτων (Invariant Theory). Στα παραδείγµατα που ακολουθούν, G είναι µία (πολλαπλασιαστική) οµάδα µε δύο στοιχεία, G = {e G, g} που δρα στον δακτύλιο C[x, y]. Αυτό σηµαίνει ότι υπάρχει µία απεικόνιση G C[x, y] C[x, y] όπου και (e G, f(x, y)) e G f(x, y) = f(x, y) (g, f(x, y)) g f(x, y) όπου g (g f(x, y)) = (g 2 ) f(x, y) = f(x, y). Παράδειγµα Εστω ότι g x = x, g y = y και g f(x, y) = f( x, y). Ποια είναι, λοιπόν, τα πολυώνυµα που παραµένουν αναλλοίωτα και δεν επηρεάζονται από τη δράση της G; Με άλλα λόγια τι µπορούµε να πούµε για τα σύνολο C[x, y] G, όπου C[x, y] G = {f(x, y) C[x, y] : f(x, y) = f( x, y)}. Μπορεί να αποδειχθεί ότι C[x, y] G = C[x 2, y 2, xy] (αποδείξτε το) και άρα ο υποδακτύλιος των αναλλοιώτων είναι πεπερασµένα παραγόµενος. 2. Εστω ότι g x = y, g y = x και g f(x, y)) = f(y, x). Μπορεί να αποδειχθεί ότι αναλλοίωτα από τη δράση της G είναι ακριβώς εκείνα τα πολυώνυµα που ανήκουν στον υποδακτύλιο C[x + y, xy] (αποδείξτε το), ο οποίος είναι επίσης πεπερασµένα παραγόµενος. Ενα από τα µεγάλα προβλήµατα που απασχολούσε τους µαθηµατικούς στο τέλος του 19ου αιώνα και αρχές του 20ου είναι η περιγραφή των αναλλοιώτων (14ο πρόβληµα του Hilbert). Ο Hilbert το 1888 για µία ευρεία τάξη περιπτώσεων έδειξε ότι η υποάλγεβρα των αναλλοιώτων είναι πεπερασµένα παραγόµενη. Στηρίχτηκε σε αυτό που σήµερα είναι γνωστό ως το Θεώρηµα Βάσης του Hilbert, δηλαδή ότι κάθε ιδεώδες στον C[x 1,..., x n ] είναι πεπερασµένα παραγόµενο. Το ϑεώρηµα αυτό γενίκευσε µετέπειτα η Noether για τους δακτυλίους που είναι γνωστοί µε το όνοµά της και έτσι η Noether ανέπτυξε αξιωµατικά την Αντιµεταθετική Άλγεβρα. 12

17 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Ασκήσεις Ασκήσεις για την Ενότητα Ασκήσεις Να αποδείξετε ότι σε µία περιοχή µονοσήµαντης ανάλυσης, κάθε ανάγωγο στοιχείο είναι πρώτο. 2. Να αποδείξετε ότι Z[i] είναι ΠΜΑ. είξτε πρώτα ότι ο Z[i] είναι Ευκλείδια περιοχή χρησιµοποιώντας πολλαπλασιαστικές ιδιότητες της νόρµας, N(a + bi) = a 2 + b Σχολιάστε τη σχέση 2 = (1 + i)(1 i) στον Z[i]. Είναι τα 1 ± i πρώτα (ανάγωγα) στοιχεία του Z[i]; Είναι το 2 πρώτο στον Z[i]; 4. Θεωρήστε τώρα την ακεραία περιοχή Z[ 5] = {a + b 5 : a, b Z} και την νόρµα N(a + b 5) = a 2 + 5b 2. Παρατηρείστε ότι 6 = 2 3 = (1 + 5)(1 5). Είναι τα στοιχεία 3, 2 ± 5 πρώτα, ανάγωγα ; Είναι η ακεραία περιοχή Z[ 5] ΠΜΑ ; 5. Να αποδείξετε ότι το κύριο ιδεώδες 2 = {2r : r Z[ 5]} δεν είναι πρώτο ιδεώδες του Z[ 5]. 6. Να αποδείξετε ότι 2, 1 + i 5 = {2r + (1 + i 5)s : r, s Z[ 5]} είναι µέγιστο και άρα πρώτο και ανάγωγο ιδεώδες του Z[ 5]. Υπόδειξη : Χρησιµοποιείστε το Τρίτο Θεώρηµα Ισοµορφίας ακτυλίων για να δείξετε ότι Z[ 5]/P = Z Να αποδείξετε ότι αν I, J είναι δύο ιδεώδη και I + J = 1, τότε IJ = I J. Να συµπεράνετε ότι αν I J είναι δύο µέγιστα ιδεώδη, τότε IJ = I J. 8. Να αποδείξετε ότι 4 είναι ανάγωγο ιδεώδες του Z. 9. Εστω P πρώτο ιδεώδες του R. Να αποδείξετε ότι P είναι ανάγωγο. 10. Εστω I = x 2, xy, y 2 k[x, y]. Να γράψετε το I ως τοµή αναγώγων ιδεωδών. Ασκήσεις για την Ενότητα Ασκήσεις Να αποδείξετε ότι τα σύνολα I(X) και rad(i) είναι ιδεώδη. 2. Στον Z, να αποδείξετε ότι rad ( 20 ) = Στον C[x, y], να αποδείξετε ότι rad(x 2, y 2 ) = x, y. 4. Εστω P πρώτο ιδεώδες στον δακτύλιο R. Να αποδείξετε ότι rad(p n ) = P, για n N. 13

18 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Εστω f(x) = x 4 + 2x και I = f(x). Να υπολογίσετε rad(i), Z(I) και I(Z(I)) στους Z 5 [x], R[x], C[x]. 6. Εστω X = {(a, a) : a C, a 2} C 2. Να εξετάσετε αν το X είναι ποικιλότητα. 7. Εστω k ένα άπειρο σώµα και f = f(x 1,..., x n ) = Σa i1,...,i n x i 1 1 x in n k[x 1,..., x n ] ένα µη µηδενικό πολυώνυµο. Να αποδείξετε ότι Z({f}) k n. Αν το f είναι οµογενές πολυώνυµο (δηλ. υπάρχει m N 0, τέτοιο ώστε i i n = m, για a i1,...,i n 0), τότε υπάρχουν λ 1,..., λ n 1 k, έτσι ώστε (λ 1,..., λ n 1, 1) / Z({f}). Ασκήσεις για την Ενότητα Ασκήσεις Να αποδείξετε ότι για την οµάδα G του Παραδείγµατος ισχύει C[x, y] G = C[x 2, y 2, xy]. 2. Να αποδείξετε ότι για την οµάδα G του Παραδείγµατος ισχύει C[x, y] G = C[x + y, xy]. 3. Εστω G = {e g, g 1, g 2, g 3 } η οµάδα του Klein, όπου g 2 1 = g 2 2 = g 2 3 = e g. Θεωρούµε τη δράση G C[x, y], µε g 1 f(x, y) = f( x, y), g 2 f(x, y) = f(x, y), g 1 f(x, y) = f( x, y). Να ϐρείτε τον υποδακτύλιο C[x, y] G Βιβλιογραφία 1. M. Atiyah, I. G. McDonald, Introduction To Commutative Algebra (Addison-Wesley Series in Mathematics), Addison-Wesley, D. Cox, J. Little, D. O Shea, Ideals, Varieties, and Algorithms, Springer-Verlag, D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Springer-Verlag, Μ. Μαλιάκας, Εισαγωγή στη Μεταθετική Άλγεβρα, Εκδόσεις Σοφία, 2005, σε µορφή pdf, εδώ. 14

19 Κεφάλαιο 2 Βασικές Εννοιες Σε ό,τι ακολουθεί ο R είναι αντιµεταθετικός δακτύλιος µε µονάδα. 2.1 Πρώτα ιδεώδη Γράφουµε Spec(R) για το σύνολο των πρώτων ιδεωδών του R και maxspec(r) για το σύνολο των µεγίστων ιδεωδών του R. Είναι ϕανερό ότι maxspec(r) Spec(R). Στην Πρόταση αποδεικνύουµε ότι τα σύνολα αυτά είναι µη κενά. Ενας ακόµη χρήσιµος χαρακτηρισµός των πρώτων ιδεωδών προκύπτει από το επόµενο συµπέρασµα. Πρόταση Εστω P ιδεώδες του R. P Spec(R) αν και µόνο αν όποτε AB P για ιδεώδη A, B του R τότε A P ή B P. Απόδειξη. Εστω ότι P Spec(R), A, B δύο ιδεώδη τέτοια ώστε AB P και A, B P. Θα καταλήξουµε σε άτοπο. Από την υπόθεση f A \ P και g B \ P. Αφού fg AB P, συµπεραίνουµε ότι f g P άτοπο. Για την αντίστροφη κατεύθυνση, έστω ότι P ικανοποιεί την ιδιότητα της εκφώνησης και έστω ότι fg P. Τότε f g P, εποµένως f P ή g P. Αν f P τότε f P και οµοίως αν g P τότε g P. Παραδείγµατα Εστω R = Z[x]. Τότε P = x Spec(R) αφού x είναι πρωταρχικό πωλυώνυµο (ο µέγιστος κοινός διαιρέτης των συντελεστών είναι 1) και δεν έχει ϱίζες στο Q (ή στον Z). Θα δείξουµε αναλυτικά ότι Πράγµατι έστω Z[x]/ x = Z[i]. Φ : Z[x] Z[i] x i, f(x) f(i). Η συνάρτηση Φ είναι ο οµοµορφισµός εκτίµησης στο i και είναι επιµορφισµός δακτυλίων, δηλαδή Im Φ = Z[i]. Παρατηρούµε επίσης ότι x ker Φ, άρα x ker Φ. Θα δείξουµε ότι ker Φ = x Πράγµατι έστω g(x) ker Φ. Θα δείξουµε ότι g(x) = q(x)(x 2 + 1). Αφού g(x), x Q[x], σύµφωνα µε τον Ευκλείδειο αλγόριθµο στον Q[x], προκύπτει ότι g(x) = q(x)(x 2 + 1) + r(x), όπου q(x), r(x) Q[x] και r(x) = 0 ή deg(r(x)) < 2. Οµως ο µεγιστοβάθµιος συντελεστής του x είναι 1 και από τον Ευκλείδειο αλγόριθµο προκύπτει ότι q(x), r(x) Z[x]. Εποµένως r(x) = ax + b, όπου a, b Z. 15

20 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 16 Αφού Φ(g(x)) = 0 έπεται ότι Φ(q(x)) 0 + Φ(r(x)) = 0 και εποµένως Φ(r(x)) = 0. Οµως αν a, b 0 τότε ai + b 0. Άρα a, b = 0 και r(x) = 0. Συνεπώς g(x) = q(x)(x 2 + 1), ker Φ x και τελικά ker Φ = x Από το Πρώτο Θεώρηµα Ισοµορφίας ακτυλίων, προκύπτει ο Ϲητούµενος ισοµορφισµός και f(x) + x f(i). Ο δακτύλιος Z[i] C είναι ακεραία περιοχή, όµως δεν είναι σώµα, άρα το x δεν είναι µέγιστο ιδεώδες του Z[x]. 2. Θα δείξουµε ότι J = x 2 +1, 5 / Spec(Z[x]). Πράγµατι (x 2 +1) 5 = (x 2)(x+2) J. Οµως x 2 / J (γιατί ;) και οµοίως x 2 / J. Εποµένως το J δεν είναι πρώτο ιδεώδες του Z[x]. Θα καταλήξουµε στο ίδιο συµπέρασµα µελετώντας τον δακτύλιο Z[x]/J. Σύµφωνα µε το Τρίτο Θεώρηµα Ισοµορφίας ακτυλίων έχουµε ότι Προηγουµένως είδαµε ότι Z[x]/J = Z[x]/ x / x 2 + 1, 5 / x ψ : Z[x]/ x = Z[i], όπου f(x) + x f(i). Παρατηρούµε ότι Άρα ψ( x 2 + 1, 5 / x ) = 5. Z[x]/J = Z[i]/ 5. Αφού 5 = (2 i)(2 + i), έπεται ότι ο δακτύλιος Z[i]/ 5 δεν είναι ακεραία περιοχή. 3. Το ιδεώδες I = x 2 +1, 3 είναι µέγιστο στον δακτύλιο Z[x]. Πράγµατι, παρατηρούµε ότι Z[x]/I = Z[x]/ x / x 2 + 1, 3 / x = Z[i]/ 3. Το 3 είναι ανάγωγο στο Z[i] και µπορεί να αποδείξει κανείς ότι Z[i]/ 3 είναι σώµα. 4. Το ιδεώδες P = x 2 + 1, p maxspec(z[x]) αν και µόνο αν το πολυώνυµο x δεν έχει ϱίζα στο Z p [q] (Άσκηση ή επόµενο παράδειγµα). 5. Εστω S ακεραία περιοχή. Τότε ο δακτύλιος R = S[x 1,..., x n ] είναι επίσης ακεραία περιοχή και x 1 είναι πρώτο ιδεώδες του R, αφού S[x 1,..., x n ]/ x 1 = S[x 2,..., x n ]. Το ιδεώδες x 1,..., x n είναι µέγιστο ιδεώδες στον R αν και µόνο αν το S είναι σώµα, αφού S[x 1,..., x n ]/ x 1,..., x n = S. Αν φ : R S είναι οµοµορφισµός δακτυλίων, τότε είναι ιδιαίτερα επιθυµητό γνώση για το Spec(R) να µεταφέρεται σε γνώση για το Spec(S) και αντίστροφα. Αν I είναι ιδεώδες του R. τότε το σύνολο φ(i) δεν είναι κατ ανάγκη ιδεώδες του S. Για παράδειγµα, έστω φ η εµφύτευση του Z στον Q και I = 2Z. Τότε φ(i) = 2Z δεν είναι ιδεώδες του Q. Είναι εύκολο να δει κανείς ότι το µικρότερο ιδεώδες του S που περιέχει το φ(i) είναι το σύνολο 16

21 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 17 φ(i)is. Το φ(i)is συµβολίζεται ενίοτε ως IS ή I e, και ονοµάζεται προέκταση (extension) του I στον S, Με άλλα λόγια, { n } I e = φ(i)s = φ(i) = s i φ(a i ) : a i I, s i S, n N. Πηγαίνοντας από τον S πίσω στον R, δεν είναι δύσκολο να δεί κανείς ότι i=1 J c := φ 1 (J) = {a R : φ(a) J} είναι ιδεώδες του R. Ενίοτε, χρησιµοποιούµε τον συµβολισµό J R για το ιδεώδες J c και το αποκαλούµε συστολή (contraction) του J στον R. Παραδείγµατα Εστω φ : R S επιµορφισµός δακτυλίων και I ιδεώδες του R. Ο αναγνώστης καλείται να αποδείξει ότι I e = φ(i)s = φ(i) (Άσκηση ). 2. Εστω I = 2Z και φ : Z Q, I e = 2Q = Q. Παρατηρούµε ότι το I e δεν είναι πρώτο ιδεώδες του Q, ενώ, ϐέβαια, το I Spec(Z). 3. Εστω Z Z[i], η κανονική εµφύτευση και έστω ότι, όπως προηγουµένως, I = 2Z. Τότε I e = 2Z[i] δεν είναι πρώτο ιδεώδες. Πράγµατι, (1 + i)(1 i) I e και ο αναγνώστης καλείται να δείξει ότι 1 ± i / I e. 4. Εστω φ : R S οµοµορφισµός δακτυλίων και έστω J ιδεώδες του R. Ο αναγνώστης καλείται να δείξει ότι αν Q Spec S, τότε Q c = Q R Spec(R) (ϐλ. Άσκηση ). 5. Εστω φ : Z Q[x, y], η κανονική εµφύτευση και έστω J = x, y. Παρατηρούµε ότι J maxspec Q[x, y] και ότι J c = 0, άρα J c είναι πρώτο, µη µέγιστο ιδεώδες του Z και (J c ) e J. 6. Εστω φ : R S οµοµορφισµός δακτυλίων. Εστω I ιδεώδες του R. Είναι εύκολο να αποδείξει κανείς ότι I (I e ) c. Αντίστοιχα, αν J είναι ιδεώδες του S, τότε (J c ) e J. Στη γενική περίπτωση, οι παραπάνω εγκλεισµοί ενδέχεται να είναι γνήσιοι. 7. Εστω R = Z[x]. Τότε 0 x x 2 + 1, 3, είναι ακολουθία πρώτων ιδεωδών µήκους 2. Οπως προκύπτει από την ανάλυση του Spec(Z[x]) παρακάτω, δεν υπάρχει ακολουθία πρώτων ιδεωδών στον Z[x] που να έχει µήκος µεγαλύτερο του 2 (Άσκηση ). Λέµε ότι η διάσταση του Krull του Z[x] είναι 2 και γράφουµε dimz[x] = Εστω I γνήσιο ιδεώδες του R και ϑεωρούµε τον δακτύλιο πηλίκο R/I, µε τον κανονικό επιµορφισµό π : R R/I. Αν J είναι ιδεώδες του R και I J, χρησιµοποιούµε τον συµβολισµό J/I για να δηλώσουµε το σύνολο J/I := {a + I : a J}. Το σύνολο J/I είναι ιδεώδες του R/I. Αντίστροφα, αν J είναι ιδεώδες του R/I, τότε J = J/I όπου J = {b : b+i J }. Εστω ότι I P. Είναι εύκολο να δει κανείς (για 17

22 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 18 παράδειγµα από το Τρίτο Θεώρηµα Ισοµορφίας ακτυλίων) ότι P/I Spec(R/I) αν και µόνο αν P Spec(R). Παρατηρούµε ότι αν L είναι ιδεώδες του R, τότε L e = π(l) = (L + I)/I. Σηµειώνουµε, επίσης, ότι αν I J, τότε (J e ) c = J και αντίστροφα ((J/I) c ) e = J/I. 9. Εστω P Spec(Z[x]), τέτοιο ώστε P Z 0. Αν p P Z είναι πρώτος, έστω φ ο επιµορφισµός δακτυλίων φ : Z[x] Z p [x], Σa i x i Σa i x i. Σηµειώνουµε ότι Ker φ = p = pz[x]. και ότι φ(p ) = P e Spec(Z p [x]). Θα αποδείξουµε ότι είτε P = p, είτε P = p, f(x), όπου φ(p ) = φ(f(x)). Απόδειξη. Αν P p, τότε φ(p ) 0. Εστω f(x) P, τέτοιο ώστε φ(f(x)) = φ(p ). Θα δείξουµε ότι P = p, f(x). Ο ένας εγκλεισµός είναι προφανής. Για τον δεύτερο, παρατηρούµε ότι αν h(x) P, τότε φ(h(x)) = φ(f(x))a(x), όπου a(x) Z p [x]. Εστω ότι b(x) Z[x], τέτοιο ώστε φ(b(x)) = a(x). Τότε φ(h(x) f(x)b(x)) = 0 h(x) f(x)b(x) Ker φ h(x) P. Εποµένως P p, f(x) και κατά συνέπεια P = p, f(x). 10. Εστω φ : Z[x] Q[x] η κανονική εµφύτευση. Αν το P είναι πρώτο ιδεώδες του Z[x] και P Z = 0, τότε P e = P Q[x] είναι πρώτο ιδεώδες του Q[x]. Απόδειξη. Πρώτα, παρατηρούµε ότι αν h(x) Q[x], τότε h(x) = rf(x), όπου f(x) Z[x] και r Q. Αντίστοιχα, ο αναγνώστης καλείται να δείξει ότι αν h(x) P Q[x], τότε h(x) = rf(x), όπου f(x) P και r Q. Εστω, λοιπόν, ότι (r 1 f 1 (x))(r 2 f 2 (x)) P Q[x], όπου f i (x) Z[x] και r i Z, για i = 1, 2. Σύµφωνα µε την προηγούµενη παρατήρηση, υπάρχει f(x) P, r Q, τέτοιο ώστε r 1 r 2 f 1 (x)f 2 (x) = rf(x). Κατά συνέπεια (διώχνοντας τους παρανοµαστές των r 1, r 2, r), υπάρχει ακέραιος m 0, τέτοιος ώστε mf 1 (x)f 2 (x)) P. Αφού το P είναι πρώτο ιδεώδες του Z[x] και από την υπόθεση m / P, προκύπτει ότι είτε f 1 (x) είτε f 2 (x) P και άρα r 1 f 1 (x) ή r 2 f 2 (x) P Q[x]. Σηµειώνουµε, ότι αν το P είναι πρώτο ιδεώδες του Z[x] και P Z = 0, τότε υπάρχει ανάγωγο (µη σταθερό) πολυώνυµο f(x) Z[x], τέτοιο ώστε P Q[x] = f(x)q[x] και P = f(x)z[x] = f(x) (ϐλ. Άσκηση ). Είναι καιρός να αποδείξουµε ότι για κάθε αντιµεταθετικό δακτύλιο R, το σύνολο Spec(R) είναι µη κενό. Για την απόδειξη, ϑα χρησιµοποιήσουµε το Λήµµα του Zorn. Λήµµα του Zorn Εστω A ένα µη κενό µερικά διατεταγµένο σύνολο µε την ιδιότητα κάθε αλυσίδα στοχείων του Α έχει άνω ϕράγµα στο Α. Τότε το A έχει ένα µεγιστικό στοιχείο. Το Λήµµα του Zorn είναι ισοδύναµο µε το Αξίωµα της Επιλογής. Λήµµατος του Zorn προκύπτει το επόµενο συµπέρασµα. Θεώρηµα Κάθε δακτύλιος R έχει ένα τουλάχιστον µέγιστο ιδεώδες. Ως εφαρµογή του 18

23 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 19 Απόδειξη. Εστω S το σύνολο των γνήσιων ιδεωδών του R. Το σύνολο S είναι µη κενό αφού περιέχει το µηδενικό ιδεώδες. Ορίζουµε µία σχέση µερικής διάταξης στο S: Εστω L µία αλυσίδα στο S: I J I J. L : I i I i+1. Το σύνολο J L J είναι γνήσιο ιδεώδες του R και άρα ανήκει στο S. Είναι επίσης άνω ϕράγµα του L. Σύµφωνα µε το Λήµµα του Zorn το S έχει ένα µεγιστικό στοιχείο. Το µεγιστικό αυτό στοιχείο είναι µέγιστο ιδεώδες του R. Θα εφαρµόσουµε το παραπάνω στον δακτύλιο πηλίκο. Πόρισµα Εστω I γνήσιο ιδεώδες του R. Υπάρχει τουλάχιστον ένα µέγιστο ιδεώδες του R που περιέχει το I. Απόδειξη. Ο δακτύλιος R/I έχει ένα τουλάχιστον µέγιστο ιδεώδες, έστω το m/i. Το ιδεώδες m είναι µέγιστο στο R. Εστω P Spec(R) και U = R \ P. Τότε το U είναι πολλαπλασιαστικά κλειστό σύνολο και P είναι το µέγιστο (ως προς τη σχέση εγκλεισµού) ιδεώδες I, τέτοιο ώστε U I =. Η επόµενη πρόταση γενικεύει αυτήν την παρατήρηση. Πρόταση Εστω U πολλαπλασιαστικό κλειστό υποσύνολο του R, U. Εστω T το σύνολο των ιδεωδών του R που δεν έχουν τίποτα κοινό µε το U και Q µεγιστικό στοιχείο του T. Τότε Q Spec(R). Απόδειξη. Αφού U συµπεραίνουµε ότι T περιέχει µόνον γνήσια ιδεώδη του R. Εστω fg Q. Εστω ότι f, g / Q. Τότε Q f + Q και Q g + Q. Αφού Q µέγιστο στο T, έπεται ότι τα ιδεώδη f + Q, g + Q δεν ανήκουν στο T. Εποµένως, η τοµή τους µε το Uείναι διάφορη του κενού. Άρα υπάρχουν a, b R, q 1, q 2 Q έτσι ώστε af + q 1 U, bg + q 2 U. Συνεπώς h = (af + q 1 )(bg + q 2 ) U Q, που όµως είναι άτοπο. Άρα ένα από τα f, g Q και Q Spec(R). Εστω I ιδεώδες του R. Θα χρησιµοποιήσουµε την παραπάνω πρόταση για να περιγράψουµε τα µηδενοδύναµα στοιχεία του R, δηλαδή τα στοιχεία του rad ( 0 ). Πόρισµα rad ( 0 ) = P P Spec(R) Απόδειξη. Εστω J η τοµή όλων των πρώτων ιδεωδών του R. Θα δείξουµε ότι rad ( 0 ) = J. Εστω f rad ( 0 ). Υπάρχει m N, έτσι ώστε f m = 0. Εποµένως f m P για κάθε P Spec(R). Άρα f P και f J. Αντίστροφα, έστω f J και έστω ότι f δεν είναι µηδενοδύναµο. Θα καταλήξουµε σε άτοπο. Το σύνολο U = {f m : m N} είναι πολλαπλασιαστικά κλειστό και δεν περιέχει το 0. Το σύνολο των ιδεωδών του R που δεν έχουν τίποτα κοινό µε το U είναι διάφορο του κενού αφού περιέχει το µηδενικό ιδεώδες. Επίσης µε την ίδια σχέση διάταξης όπως στο Πόρισµα 2.1.4, κάθε αλυσίδα έχει άνω ϕράγµα. Σύµφωνα µε το Λήµµα του Zorn, το σύνολο των ιδεωδών του R που δεν έχουν τίποτα κοινό µε το U έχει µεγιστικό στοιχείο, έστω Q. Σύµφωνα µε την Πρόταση 2.1.6, το ιδεώδες Q είναι πρώτο. Εποµένως J Q και άρα f Q, άτοπο. Οδηγηθήκαµε σε άτοπο γιατί υποθέσαµε ότι υπάρχει f J που δεν είναι µηδενοδύναµο. Εποµένως J = rad ( 0 ). 19

24 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 20 Εφαρµόζοντας το Πόρισµα στον δακτύλιο πηλίκο R/I προκύπτει το επόµενο συµπέρασµα : Πόρισµα Εστω I ιδεώδες του R. Τότε rad(i) = P Spec(R) I P Απόδειξη. Εστω f rad(i). Τότε f m I για κάποιο m N και άρα κάθε στοιχείο του συνόλου f + I = {f + g : g I} ανήκει στο rad(i) (αποδείξτε το). Στον δακτύλιο R/I, τα µηδενοδύναµα στοιχεία είναι της µορφής f + I, όπου f m I για κάποιο m N. Αφού τα πρώτα ιδεώδη του R/I είναι της µορφής P/I, όπου P είναι πρώτο ιδεώδες του R που περιέχει το I, από το προηγούµενο ϑεώρηµα έπεται ότι f rad(i) αν και µόνο αν f P, για κάθε πρώτο ιδεώδες P του R που περιέχει το I. Είδαµε ότι η τοµή όλων των πρώτων ιδεωδών του R είναι τα µηδενοδύναµα στοιχεία του R. Τι µπορούµε να πούµε για την τοµή των µέγιστων ιδεωδών του R; Η τοµή αυτών των ιδεωδών λέγεται ϱιζικό του Jacobson και συµβολίζεται µε J(R): J(R) = P maxspec(r) Πρόταση Το x J(R) αν και µόνο αν 1 xy είναι αντιστρέψιµο για κάθε y R. Απόδειξη. Εστω ότι x J(R) και έστω ότι για y R, 1 xy δεν είναι αντιστρέψιµο. Τότε 1 xy περιέχεται σε κάποιο µέγιστο ιδεώδες P του R, Πόρισµα Εποµένως 1 xy P. Αφού x P συµπεραίνουµε ότι 1 P και οδηγούµαστε σε άτοπο. Εστω τώρα ότι 1 xy είναι αντιστρέψιµο για κάθε y R. Αν υπάρχει ένα µέγιστο ιδεώδες P του R έτσι ώστε x / P τότε το ιδεώδες P + x = R. Συνεπώς υπάρχουν r P, x R, έτσι ώστε 1 = r + xy. Οµως, σύµφωνα µε την υπόθεση, r = 1 xy είναι αντιστρέψιµο, άτοπο αφού r P. Μία εξαιρετικά χρήσιµη ιδιότητα περιγράφεται στο παρακάτω Θεώρηµα. Θεώρηµα (Θεώρηµα Αποφυγής Πρώτων Ιδεωδών) Εστω A = {P 1,..., P n }, µε P i Spec(R), για i [n]. Αν το I είναι ιδεώδες του R και I P A P, τότε I P για κάποιο P A. Απόδειξη. Η απόδειξη ϑα γίνει µε επαγωγή στον n. Η πρόταση είναι προφανώς αληθής για n = 1. Υποθέτουµε ότι η πρόταση ισχύει όταν A = n 1. Εστω λοιπόν ότι P. I P AP και I P, για P A. P Θεωρούµε τα παρακάτω n σύνολα : J 1 = P 2 P 3... P n, J 2 = P 1 P 3... P n,. 20

25 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 21 J n = P 1... P n 1. Εστω ότι I J i για κάποιο i [n]. Τότε σύµφωνα µε την υπόθεση της επαγωγής I P j (όπου j i). Υποθέσαµε όµως ότι I P, για P A. Άρα I J i, για i [n]. Εποµένως, για κάθε i [n], µπορούµε να ϐρούµε ένα στοιχείο f i που να ανήκει στο I και να µην ανήκει στο J i. Αφού όµως I J i P i (για i [n]), αυτό σηµαίνει ότι το f i ανήκει στο P i. ηλαδή : f 1 I P 1 και f 1 / P 2,..., P n, f 2 I P 2 και f 2 / P 1, P 3,..., P n,. f n I P n και f n / P 1,..., P n 1. Εστω τώρα g = (f 2 f n ) + (f 1 f 3 f n ) + + (f 1 f n 1 ) = n f 1 f i f n I P. P A i=1 Σηµειώνουµε ότι f 2 f n / P 1, ενώ f 2 f n P 2,..., P n, f 1 f 3 f n / P 2, ενώ f 1 f 3 f n P 1, P 3,..., P n,. f 1 f n 1 / P n, ενώ f 1 f n 1 P 1,..., P n 1. Οµως g I και άρα g P t, για κάποιο t [n]. Εποµένως, f 1 f t f n = g j t f 1 f j f n P t Αφού P t Spec(R) αυτό σηµαίνει ότι κάποιος από τους παράγοντες του γινοµένου f 1 f t f n ανήκει στο P t, το οποίο είναι άτοπο. Καταλήξαµε σε άτοπο, γιατί υπο- ϑέσαµε ότι I P, για P A. Εποµένως, υπάρχει P A, τέτοιο ώστε I P. Παρατήρηση Στο Θεώρηµα Αποφυγής Πρώτων Ιδεωδών, δεν είναι αναγκαίο τα ιδεώδη του A να είναι όλα πρώτα. Κοιτάζοντας προσεκτικά την απόδειξη, µπορεί να δει κανείς το συµπέρασµα του ϑεωρήµατος ισχύει µε την ασθενέστερη υπόθεση ότι δύο από τα n ιδεώδη του A δεν είναι πρώτα. 2.2 Τοπικοποίηση ακτυλίων Ορισµός Ο δακτύλιος R λέγεται τοπικός ( local) δακτύλιος όταν ο R έχει ακριβώς ένα µέγιστο ιδεώδες m. Γράφουµε (R, m, k) για να δηλώσουµε ότι το µοναδικό µέγιστο ιδεώδες του R είναι m και ότι k είναι το αντίστοιχο σώµα πηλίκων, δηλ. R/m = k. Ο δακτύλιος R λέγεται ηµιτοπικός ( semilocal) δακτύλιος όταν ο R έχει πεπερασµένο αριθµό µέγιστων ιδεωδών. 21

26 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 22 Παράδειγµα Το σώµα K είναι τοπικός δακτύλιος µε µέγιστο ιδεώδες 0 και σώµα πηλίκων K. 2. Ο δακτύλιος Z δεν είναι ηµιτοπικός. 3. Εστω K σώµα. Ο δακτύλιος K[x] δεν είναι ηµιτοπικός. 4. Ο δακτύλιος Z 4 = { 0, 1, 2, 3} είναι τοπικός δακτύλιος µε µοναδικό µέγιστο ιδεώδες το 2. Το σώµα πηλίκων Z 4 / 2 είναι ισόµορφο µε το Z Ο Z 6 είναι ηµιτοπικός. Τα µέγιστα ιδεώδη του είναι τα 2, Εστω Z 2 := { a b : a, b Z, b περιττός }. Είναι εύκολο να διαπιστώσουµε ότι Z 2 είναι υποδακτύλιος του Q. Τα στοιχεία της µορφής 2k + 1 2l + 1, k, l Z είναι αντιστρέψιµα στον Z 2. Θα δείξουµε ότι Z 2 είναι τοπικός δακτύλιος µε µέγιστο ιδεώδες το 2l 2 = 2Z 2 = 2k + 1 : k, l Z. Πράγµατι, έστω ότι I είναι ιδεώδες του Z 2 και ας υποθέσουµε ότι 2 I I. Αφού Z 2 \ 2 αποτελείται από αντιστρέψιµα στοιχεία συµπεραίνουµε ότι I = Z 2 και άρα το ιδεώδες 2Z 2 είναι το µέγιστο ιδεώδες στον Z 2. Στις ασκήσεις, ϑα σας Ϲητηθεί να δείξετε ότι Z 2 / 2 = Z Θα γενικεύσουµε την προηγούµενη κατασκευή όταν R είναι ακεραία περιοχή και P Spec(R). Το σύνολο S = R \ P είναι πολλαπλασιαστικά κλειστό, δεν περιέχει το µηδέν ενώ περιέχει τη µονάδα του R. Στο καρτεσιανό γινόµενο R S ορίζουµε την παρακάτω σχέση ισοδυναµίας : (r 1, s 1 ) (r 2, s 2 ) r 1 s 2 r 2 s 1 = 0. Συµβολίζουµε τις κλάσεις ισοδυναµίας του (r, s) µε το κλάσµα r s, δηλ. Εστω r s = {(r, s ) : r s = rs, r R, s S}. S 1 R := { r s : r R, s S} µε πράξεις r 1 s 1 + r 2 s 2 = r 1s 2 + r 2 s 1 s 1 s 2, και r 1 s 1 r 2 s 2 = r 1r 2 s 1 s 2. Είναι εύκολο να δει κανείς ότι οι πράξεις αυτές είναι καλά ορισµένες (αποδείξτε το) και ότι το σύνολο (S 1 R, +, ) είναι αντιµεταθετικός δακτύλιος µε µηδενικό στοιχείο και µονάδα τα κλάσµατα 0 1 = 0 s, 1 1 = s s 22

27 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 23 αντίστοιχα. Η συνάρτηση φ : R S 1 R, r r 1 είναι οµοµορφισµός δακτυλίων. Αν I είναι ιδεώδες του R τότε I e = IS 1 R = { n i=1 είναι ιδεώδες του S 1 R. Παρατηρούµε ότι f i s i : f i I, r i R, s i S} s I S τότε s 1 IS 1 R και άρα 1 1 = s 1 s IS 1 R. Κατά συνέπεια, αν I S τότε IS 1 R = S 1 R. Ο αναγνώστης καλείται να αποδείξει ότι όλα τα στοιχεία του S 1 R που δεν ανήκουν στο ιδεώδες P S 1 R είναι αντιστρέψιµα. Εποµένως, το µοναδικό µέγιστο ιδεώδες του S 1 R είναι το P S 1 R και S 1 R είναι τοπικός δακτύλιος. Ο δακτύλιος S 1 R λέγεται η τοπικοποίηση του R στο ιδεώδες P και συµβολίζετα ως R P. Θα γενικεύσουµε την τοπικοποίηση του τελευταίου παραδείγµατος, για ένα οποιαδήποτε πολλαπλασιαστικά κλειστό σύνολο S που περιέχει τη µονάδα. Ορισµός Εστω R αντιµεταθετικός δακτύλιος, S πολλαπλασιαστικά κλειστό σύνολο του R. Στο καρτεσιανό γινόµενο R S ορίζουµε τη σχέση ισοδυναµίας : (r 1, s 1 ) (r 2, s 2 ) t(r 1 s 2 r 2 s 1 ) = 0, για t S. Συµβολίζουµε τις κλάσεις ισοδυναµίας του (r, s) µε r. Το σύνολο s S 1 R := { r s : r R, s S}, µε πράξεις r 1 s 1 + r 2 s 2 = r 1s 2 + r 2 s 1 s 1 s 2, r 1 s 1 r 2 s 2 = r 1r 2 s 1 s 2 είναι αντιµεταθετικός δακτύλιος και λέγεται τοπικοποίηση του R στο S. Ο αναγνώστης καλείται να αποδείξει ότι η σχέση είναι σχέση ισοδυναµίας και ότι οι πράξεις του S 1 R είναι πράγµατι καλά ορισµένες Παράδειγµα Εστω R ακεραία περιοχή και S = R \ {0}. Τότε ο S 1 R είναι το σώµα κλασµάτων της R, το µικρότερο σώµα που περιέχει την R. 2. Θα τοπικοποιήσουµε τον Z 10 = {0, 1,..., 9} στο πολλαπλασιαστικά κλειστό σύνολο S = {1, 5} Z 10. Τα κλάσµατα του S 1 Z 10 είναι : Οµως 0 1, 1 1, 2 1,..., 9 1, 0 5, 1 5,...,

28 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 24 (0, 1) (a, t) αν και µόνο αν υπάρχει l S έτσι ώστε la = 0 ενώ ο παρανοµαστής t είναι οποιοδήποτε στοιχείο του S. Για l = 1, αυτό σηµαίνει ότι a = 0. Για l = 5, αυτό σηµαίνει ότι a = 2r. Άρα 0 1 = 0 5 = 2 1 = 2 5 = 4 1 = 4 5 = 6 1 = 6 5 = 8 1 = 8 5. Αντίστοιχα, (1, 1) (a, t) αν και µόνο αν a t = 2r, όπου t S. Εποµένως 1 1 = 3 1 = 5 1 = 7 1 = 9 1 = 1 5 = 3 5 = 5 5 = 7 5 = 9 5. Εποµένως S 1 Z 10 έχει ακριβώς δύο στοιχεία. 3. Εστω R = Z[x] και S = Z. Το S είναι πολλαπλασιαστικά κλειστό στον Z και στον R. Το σώµα κλασµάτων του Z, δηλ. το Q, είναι η τοπικοποιήση S 1 Z. Ο αναγνώστης καλείται να δείξει ότι S 1 Z[x] = Q[x] (ϐλ. Πρόταση 2.2.6). Εστω S πολλαπλασιαστικά κλειστό σύνολο του δακτυλίου R µε 1 S. Είναι εύκολο να επιβεβαιωθεί ότι η συνάρτηση φ : R S 1 R, r r 1 είναι οµοµορφισµός δακτυλίων. Ο φ δεν είναι πάντα εµφύτευση. Για παράδειγµα έστω ότι s S είναι διαιρέτης του µηδενός στον R και ότι sa = 0 για a 0. Τότε a a 1 = 0, αφού s(a 1 0 1) = 0. 1 Παρατηρούµε επίσης ότι το φ(s) είναι αντιστρέψιµο στοιχείο του S 1 R, για κάθε s S. Μπορεί, λοιπόν, να δείξει κανείς ότι ο δακτύλιος S 1 R µαζί µε τον φ : R S 1 R, r r, ικανοποιούν τη καθολική ιδιότητα απεικόνισης για την τοπικοποίηση. 1 Πρόταση (Καθολική ιδιότητα απεικόνισης για την τοπικοποίηση). Εστω ψ : R T οµοµορφισµός δακτυλίων όπου κάθε στοιχείο του S απεικονίζεται σε αντιστρέψιµο στοιχείο του T. Τότε υπάρχει µοναδικός οµοµορφισµός δακτυλίων Φ : S 1 R T, τέτοιος ώστε Φφ = ψ. Σχηµατικά R T ψ φ S 1 R! Φ (2.2.1) Απόδειξη. Ορίζουµε τη συνάρτηση Φ : S 1 R T r s ψ 1 (s)ψ(r). Η συνάρτηση Φ είναι καλά ορισµένη. Πράγµατι, έστω ότι (r, s) (r, s ). Τότε υπάρχει t S έτσι ώστε t(rs sr ) = 0. Εποµένως, ψ(t)ψ(rs sr ) = 0. Οµως ψ(t) είναι αντιστρέψιµο στοιχείο, άρα ψ(rs sr ) = 0 και ψ(r)ψ(s ) = ψ(s)ψ(r ). Εποµένως, ψ(r)ψ(s) 1 = ψ(r )ψ(s ) 1 και η Φ είναι καλά ορισµένη. 24

29 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 25 Για την αντιµεταθετικότητα του διαγράµµατος 2.2.1, παρατηρούµε ότι r ψ(r) r 1 Τέλος, είναι ϱουτίνα ο έλεγχος ότι Φ είναι οµοµορφισµός δακτυλίων και αφήνεται για τον αναγνώστη. Η Πρόταση χαρακτηρίζει τον δακτύλιο S 1 R µε προσέγγιση ισοµορφίας. Πρόταση Εστω θ : R A οµοµορφισµός δακτυλίων µε θ(s) αντιστρέψιµο για s S. Αν για κάθε ψ : R T οµοµορφισµό δακτυλίων, µε ψ(s) αντιστρέψιµο στοιχείο του T για s S, υπάρχει µοναδικός οµοµορφισµός Ψ : A T, Ψθ = ψ, τότε A = S 1 R. Απόδειξη. Πράγµατι, έστω Φ και Ψ οι οµοµορφισµοί των παρακάτω αντιµεταθετικών διαγραµµάτων : R φ S 1 R R θ A. (2.2.2) θ A Φ φ S 1 R Ψ Θα δείξουµε ότι Ψ είναι ισοµορφισµός δακτυλίων, αποδεικνύοντας ότι ΨΦ = id S 1 R και ΦΨ = id A. Παρατηρούµε ότι το διάγραµµα R φ S 1 R (2.2.3) φ S 1 R id S 1 R είναι αντιµεταθετικό. Οµως, σύµφωνα µε το δεύτερο διάγραµµα της 2.2.2, φ = Ψθ : R S 1 R. Επίσης, αφού (ΨΦ)φ = Ψ(Φφ) = Ψθ, το διάγραµµα R φ S 1 R (2.2.4) Ψθ S 1 R ΨΦ είναι αντιµεταθετικό. Υπάρχουν λοιπόν δύο οµοµορφισµοί από τον S 1 R S 1 R που κάνουν το διάγραµµα αντιµεταθετικό : ο ταυτοτικός id S 1 R και ο ΨΦ. Εξαιτίας της συνθήκης της µοναδικότητας στη καθολική ιδιότητα της τοπικοποίησης µας συµπεραίνουµε ότι ΨΦ = id S 1 R. Με τον ίδιο τρόπο, προκύπτει ότι ΦΨ = id A και άρα οι Ψ, Φ είναι ισοµορφισµοί, αντίστροφοι µεταξύ τους. Η Καθολική Ιδιότητα της Τοπικοποίησης µπορεί, λοιπόν, να χρησιµοποιηθεί για να δείξει κανείς ότι ένας δακτύλιος είναι η Ϲητούµενη τοπικοποίηση, όπως δείχνουµε στο επόµενο παράδειγµα. 25

30 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα 26 Παράδειγµα Εστω R = Z 10, S = {1, 5} όπως στο Παράδειγµα Θα δείξου- µε ότι S 1 R = Z 2 χωρίς να κάνουµε τους αναλυτικούς υπολογισµούς του παραδείγµατος. Η συνάρτηση θ : R Z 2, 2k 0, 2k + 1 1, για 0 k 4 είναι οµοµορφισµός δακτυλίων και οι εικόνες των στοιχείων του S είναι το αντιστρέψιµο στοιχείο του Z 2. Εστω T και ψ : R T µε αυτήν την ιδιότητα. Παρατηρούµε ότι αφού 0 = ψ(2k 5) = ψ(2k)ψ(5) και ψ(5) αντιστρέψιµο, ϑα πρέπει ψ(2k) = 0, για 0 k 4. Άρα 2ψ(1) = 0 και η χαρακτηριστική του T είναι 2. Εποµένως υπάρχει µοναδικός οµοµορφισµός Ψ : Z 2 T, έτσι ώστε R θ S 1 R T ψ! Φ Τα ιδεώδη του S 1 R είναι άρρηκτα δεµένα µε τα ιδεώδη του R. Πρώτα παρατηρούµε ότι αν s I S, όπου I είναι ιδεώδες του R, τότε 1 = s s Ie και άρα I e = S 1 R. Η επόµενη πρόταση περιγράφει τα ιδεώδη του S 1 R. Πρόταση Εστω S ένα πολλαπλασιαστικά κλειστό υποσύνολο του R µε 1 S και έστω I το σύνολο των ιδεωδών του R που η τοµή τους µε το S είναι το κενό σύνολο, ενώ J είναι το σύνολο των ιδεωδών του S 1 R. Τότε η συνάρτηση J I : J J c είναι αµφιµονότιµη και (J c )S 1 R = J. Ειδικότερα, αν P Spec(R) και P S =, τότε P S 1 R Spec(S 1 R). Απόδειξη. Άσκηση Σηµειώνουµε ότι η αντιστοιχία της Πρότασης δεν είναι επί : υπάρχουν ιδεώδη στο I που δεν είναι συστολές ιδεωδών του J. Ετσι, ακόµα και αν I S =, είναι πιθανόν ϐλ. Άσκηση IS 1 R R I, Παράδειγµα Αφού Q[x] = S 1 Z[x], όπου S = Z, σύµφωνα µε την Πρόταση 2.2.8, τα πρώτα ιδεώδη του Spec Q[x], περιγράφουν πλήρως κάποια από τα πρώτα ιδεώδη του Z. Εστω, λοιπόν, P Spec(Z[x]), τέτοιο ώστε P Z = 0. Τότε P Z = και P Q[x] Spec Q[x]. Αφού Q[x] είναι Π.Κ.Ι., το ιδεώδες P Q[x] είναι κύριο και άρα P Q[x] = f(x), για f(x) P, s (Άσκηση ). Αφού το 1/s είναι αντιστρέψιµο στον Q[x], παρατηρούµε ότι P Q[x] = f(x)q[x] και αφού P Q[x] Spec Q[x], το f(x) είναι ανάγωγο στον Q[x]. Μπορούµε να γράψουµε f(x) = cg(x), όπου c Z και g(x) Z[x] πρωταρχικό (δηλ. ο µέγιστος κοινός διαιρέτης των συντελεστών του να είναι το 1). Αφού το c είναι αντιστρέψιµο στον Q[x], προκύπτει ότι P Q[x] = g(x)q[x] και άρα g(x) είναι και αυτό ανάγωγο στον Q[x]. Αφού το g(x) είναι πρωταρχικό στον Z[x] και ανάγωγο στον Q[x], προκύπτει ότι το g(x) είναι ανάγωγο στον Z[x], σύµφωνα µε το Λήµµα του Gauss. Από την Άσκηση , προκύπτει ότι P = g(x)z[x]. 26

31 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Ασκήσεις Ασκήσεις για την Ενότητα 2.1. Ασκήσεις Να αποδείξετε ότι αν P Q και P, Q maxspec(r), τότε P Q / Spec(R). 2. Να αποδείξετε ότι το ιδεώδες P = x 2 + 1, p είναι µέγιστο ιδεώδες (και άρα πρώτο) στον Z[x] αν και µόνο αν το πολυώνυµο x δεν έχει ϱίζα στο Z p [x]. 3. Εστω φ : R S επιµορφισµός δακτυλίων και I ιδεώδες του R. Να αποδείξετε ότι I e = φ(i)s = φ(i). 4. Να περιγράψετε το σύνολο Spec(Z[x]). 5. Να αποδείξετε ότι δεν υπάρχει ακολουθία πρώτων ιδεωδών στον Z[x] που να έχει µήκος µεγαλύτερο του Εστω k ένα σώµα και R = k[x, y]. Μέσω των εµφυτεύσεων k[x] R και k[y] R, ταυτίζουµε τα στοιχεία του k[x] και k[y] µε τις εικόνες τους στον R. Να περιγράψετε το Spec(R) ακολουθώντας τα παρακάτω ϐήµατα. Εστω P Spec(R) και A = k(x)[y]. Αν P k[x] = 0, τότε να δείξετε ότι P A Spec(A). Αν P A = h(y) (όπου h(y) A), τότε να δείξετε ότι υπάρχει f(x, y) (στοιχείο του R) πρώτο, τέτοιο ώστε P A = f(x, y). Να συµπεράνετε ότι P = f(x, y). Αν p = P k[x] = f(x)k[x] και p 0, τότε ϑεωρείστε το ιδεώδες Q = f(x)r και δείξτε ότι Q Spec(R). Παρατηρείστε ότι T = k[x]/p είναι σώµα και δείξτε ότι υπάρχει επιµορφισµός δακτυλίων φ : R/Q T [y], άρα φ(p/q) Spec(T [y]). Αν φ(p/q) είναι το µηδενικό ιδεώδες, να συµπεράνετε ότι P = Q = f(x). Αν φ(p/q) = g(x, y), να αποδείξετε ότι P = f(x), g(x, y). Να περιγράψετε το Spec(R). 7. Να αποδείξετε ότι ανφ : R S είναι οµοµορφισµός δακτυλίων και Q Spec(S) τότε Q c Spec(R). 8. Να αποδείξετε ότι το ιδεώδες x 1, y είναι µέγιστο στο δακτύλιο R[x, y]. 9. Να δείξετε ότι αν k είναι σώµα, a 1,..., a n k τότε k[x 1,..., x n ]/ x 1 a 1,..., x n a n = k. 10. Να ϐρείτε το rad( 0 ) στον δακτύλιο R = C[x, y, z]/(x 2, xy 3, y 2 z 4 ). 11. Να ϐρείτε το rad( 0 ) και το ϱιζικό του Jacobson του δακτυλίου Z Εστω k σώµα και R = k[x 1,..., x n ]. Να αποδείξετε ότι J(R) = Να ϐρείτε το ϱιζικό του Jacobson του δακτυλίου R[[x, y]]. 27

32 Χ. Χαραλάµπους, Εισαγωγή στην Αντιµεταθετική Άλγεβρα Εστω k σώµα και R = k[x, y], P = x, y. Να αποδείξετε ότι υπάρχουν P i P Spec(R), i N, έτσι ώστε P P i. 15. Να αποδείξετε την Παρατήρηση Ασκήσεις για την Ενότητα 2.2. Ασκήσεις Να αποδείξετε ότι Z 2 / 2 = Z Εστω R αντιµεταθετικός δακτύλιος, S ένα πολλαπλασιαστικό υποσύνολο του R µε 1 S. (αʹ) Να δείξετε ότι αν I είναι ιδεώδες του R, τότε τα στοιχεία του ιδεώδους IS 1 R είναι της µορφής r όπου ur I για κάποιο u S. s (ϐʹ) Να δείξετε ότι αν J είναι ιδεώδες του S 1 R τότε J = IS 1 R, όπου I = J c = J R = {r R : r 1 J}. (γʹ) Εστω P Spec(R). Να αποδείξετε ότι P S 1 R = { r : r P, s S}. s (δʹ) Εστω P Spec(R). Να αποδείξετε ότι υπάρχει µία προς µία αντιστοιχία ανάµεσα στα πρώτα ιδεώδη του R P και στα πρώτα ιδεώδη του R που περιέχονται στο P. 3. Εστω S = {2 n : n Z 0 }. Να περιγράψετε τον δακτύλιο S 1 Z Εστω R = k[x] όπου k σώµα, S = {x n : n Z 0 }. Χρησιµοποιώντας την καθολική ιδιότητα της τοπικοποίησης, να δείξετε ότι S 1 R = k[x, x 1 ]. 5. Εστω f R, S = {f n : n Z 0 }. Να αποδείξετε ότι R f = R[y]/ 1 yf. 6. Εστω R δακτύλιος µε rad( 0 ) = 0 και P Spec R ελάχιστο πάνω απ το 0. Να αποδείξετε ότι R P είναι σώµα. Να κατασκευάσετε ένα τέτοιο παράδειγµα. 7. Εστω ότι R είναι ακεραία περιοχή µε σώµα κλασµάτων K. Αν για κάθε 0 x K ισχύει ότι x R ή x 1 R, τότε να αποδείξετε ότι R είναι τοπικός δακτύλιος. 8. Εστω ότι P Spec(R). Να εξετάσετε αν το σώµα R P /P R P είναι ισόµορφο µε Q(R/P ), το σώµα κλασµάτων της ακεραίας περιοχής R/P. 9. Εστω ότι R είναι ένας µειωµένος (reduced) δακτύλιος, δηλ. rad(r) = 0. Αν P Spec(R) είναι ελαχιστοτικό πρώτο ιδεώδες ( δηλ. δεν υπάρχει Q Spec(R) µε Q P ), τότε να αποδείξετε ότι ο R P είναι σώµα. 2.4 Βιβλιογραφία 1. M. Atiyah, I. G. McDonald, Introduction To Commutative Algebra (Addison-Wesley Series in Mathematics), Addison-Wesley, D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Springer-Verlag, Μ. Μαλιάκας, Εισαγωγή στη Μεταθετική Άλγεβρα, Εκδόσεις Σοφία, 2005, σε µορφή pdf, εδώ. 28

33 Κεφάλαιο 3 ακτύλιοι της Noether 3.1 ακτύλιοι της Noether Εστω R αντιµεταθετικός δακτύλιος. Εστω I 1 I 2... µία αύξουσα ακολουθία ιδεωδών του R. Λέµε ότι η ακολουθία αυτή γίνεται στατική αν για κάποιο N N ισχύει ότι I N+j = I N, για j N. Θεώρηµα Οι παρακάτω συνθήκες είναι ισοδύναµες : 1. Κάθε ιδεώδες I του R είναι πεπερασµένα παραγόµενο. 2. Κάθε αύξουσα ακολουθία ιδεωδών του R γίνεται στατική. 3. Κάθε µη κενό σύνολο ιδεωδών του R έχει µεγιστικό στοιχείο, ως προς τον εγκλεισµό ιδεωδών. Απόδειξη. 1 2 Εστω I 1 I 2... µία αύξουσα ακολουθία ιδεωδών του R. Τότε I = I j είναι ιδεώδες του R. Σύµφωνα µε την υπόθεση, το I είναι πεπερασµένα παραγόµενο. Εστω ότι I = r 1,..., r t και ότι r i I f(i), για i [t]. Αν N = max{f(1),..., f(t)}. Τότε, r i I N. Εποµένως, I N I I N και άρα I N = I. Κατά συνέπεια, αν l N, έχουµε I = I N I l I και άρα I l = I N. 2 3 Εστω ότι S είναι ένα σύνολο ιδεωδών του R χωρίς µεγιστικό στοιχείο. Εστω ότι I 1 S. Αφού το I 1 δεν είναι µεγιστικό στο S, υπάρχει I 2 S, τέτοιο ώστε I 1 I 2. Οµοίως, υπάρχει I 3 S, τέτοιο ώστε I 2 I 3. Συνεχίζοντας αυτήν τη διαδικασία κατασκευάζουµε µία αύξουσα ακολουθία ιδεωδών, η οποία δε γίνεται στατική, καταλήγοντας σε άτοπο. 3 1 Εστω I ένα ιδεώδες του R. Θα δείξουµε ότι το I είναι πεπερασµένα παραγόµενα. Εστω S το σύνολο µε στοιχεία τα ιδεώδη του R που είναι υποσύνολα του I και που ταυτόχρονα είναι πεπερασµένα παραγόµενα. Το 0 ανήκει στο S, άρα S. Σύµφωνα µε την υπόθεση, το σύνολο S έχει ένα µεγιστικό στοιχείο, το ιδεώδες J. Παρατηρούµε ότι J I και ότι J = r 1,..., r l, όπου για i [l], r i I. Εστω ότι J I. Τότε, υπάρχει f I \ J και J = J + f = r 1,..., r s, f είναι πεπερασµένα παραγόµενο, ενώ J I. Άρα J S και αφού J J καταλήγουµε σε άτοπο. Εποµένως J = I και I S, άρα I είναι πεπερασµένα παραγόµενο ιδεώδες. Ορισµός Ενας δακτύλιος R καλείται δακτύλιος της Noether αν κάθε ιδεώδες I του R είναι πεπερασµένα παραγόµενο. 29

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΜΙΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ Σηµειώσεις, Άνοιξη 2016 (σε εξέλιξη) Χαρά Χαραλαµπους Τµήµα Μαθηµατικών, ΑΠΘ Περιεχόµενα Κεφάλαιο 1: 3 1.1 Απαρχές της Αντιµεταθετικής Άλγεβρας...................

Διαβάστε περισσότερα

= s 2m 1 + s 1 m 2 s 1 s 2

= s 2m 1 + s 1 m 2 s 1 s 2 ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 203 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ Οι σηµειώσεις αυτές είναι ϐασισµένες στις διαλέξεις του µαθήµατος. Καταγράϕηκαν αρχικά ηλεκτρονικά από τη κ.

Διαβάστε περισσότερα

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ Οι σηµειώσεις αυτές είναι ϐασισµένες στις διαλέξεις του µαθήµατος. Καταγράϕηκαν αρχικά ηλεκτρονικά από τη

Διαβάστε περισσότερα

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Αλγεβρικές οµές ΙΙ 1. Εστω ότι R Z 3 [x]. Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες 30 λεπτά (αʹ) Να αποδείξετε ότι ο R είναι περιοχή

Διαβάστε περισσότερα

Απλές επεκτάσεις και Αλγεβρικές Θήκες

Απλές επεκτάσεις και Αλγεβρικές Θήκες Κεφάλαιο 7 Απλές επεκτάσεις και Αλγεβρικές Θήκες Στο κεφάλαιο αυτό εξετάζουµε τις απλές επεκτάσεις σωµάτων και τις συγκρίνουµε µε τις επεκτάσεις Galois. Επίσης εξετάζουµε τις αλγεβρικά κλειστές επεκτάσεις

Διαβάστε περισσότερα

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Σχολη Θετικων Επιστηµων Τµηµα Μαθηµατικων Αλγεβρικες οµες ΙΙ ιδάσκουσα : Θέµατα προηγουµένων ετών 1 Θέµατα Πολλαπλής Επιλογής Στις ερωτήσεις πολλαπλής επιλογής, εάν

Διαβάστε περισσότερα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

Διαβάστε περισσότερα

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη Κεφάλαιο 0 Μεταθετικοί ακτύλιοι, Ιδεώδη Το κεφάλαιο αυτό έχει προπαρασκευαστικό χαρακτήρα Θα καθιερώσουµε συµβολισµούς και θα υπενθυµίσουµε ορισµούς και στοιχειώδεις προτάσεις για δακτύλιους και ιδεώδη

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

Ε Μέχρι 18 Μαΐου 2015.

Ε Μέχρι 18 Μαΐου 2015. Ε Μέχρι 18 Μαΐου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες άρα

Διαβάστε περισσότερα

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο Αλγεβρικές Δομές ΙΙ 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο C(R) = {a R/ax = xa, για κάθε x R} είναι υποδακτύλιος του R, και λέγεται κέντρο του δακτυλίου R. Ά σ κ η σ η 1.2

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι Είδαµε στο κύριο θεώρηµα του προηγούµενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισµα απλών προτύπων. Εδώ θα χαρακτηρίσουµε όλους

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 3 Μαρτίου 2016 Αν (G, ) είναι

Διαβάστε περισσότερα

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ

ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 2013 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ Οι σηµειώσεις αυτές είναι ϐασισµένες στις διαλέξεις του µαθήµατος. Καταγράηκαν αρχικά ηλεκτρονικά από τη κ.

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα Στο κεφάλαιο αυτό εισάγουµε την έννοια του τανυστικού γινοµένου προτύπων. Θα είµαστε συνοπτικοί καθώς αναπτύσσουµε µόνο εκείνες τις στοιχειώδεις προτάσεις που θα βρουν εφαρµογές

Διαβάστε περισσότερα

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

Ε Μέχρι 31 Μαρτίου 2015. Ε Μέχρι 31 Μαρτίου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

Διαβάστε περισσότερα

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα. Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Εισαγωγή στην Αλγεβρα Τελική Εξέταση 15 Φεβρουαρίου 2017 1. (Οµάδα Α) Εστω η ακολουθία Fibonacci F 1 = 1, F 2 = 1 και F n = F n 1 + F n 2, για n

Διαβάστε περισσότερα

Πρώτα και Μεγιστοτικά Ιδεώδη

Πρώτα και Μεγιστοτικά Ιδεώδη Κεφάλαιο 10 Πρώτα και Μεγιστοτικά Ιδεώδη Στο παρόν Κεφάλαιο ϑα µελετήσουµε ειδικούς τύπους ιδεωδών σε έναν δακτύλιο και την επίδραση που έχουν οι επιπλέον ιδιότητες τις οποίες ικανοποιούν τα ιδεώδη αυτά

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 10

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 10 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 10 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 16 Ιανουαρίου 2013 Ασκηση

Διαβάστε περισσότερα

a b b < a > < b > < a >.

a b b < a > < b > < a >. Θεωρια Δακτυλιων και Modules Εαρινο Εξαμηνο 2016 17 Διάλεξη 1 Ενότητα 1. Επανάληψη: Προσθετικές ομάδες, δακτύλιοι, αντιμεταθετικοί δακτύλιοι, δακτύλιοι με μοναδιαίο στοιχείο, παραδείγματα. Συμφωνήσαμε

Διαβάστε περισσότερα

Παράρτηµα Α Εισαγωγή Οµάδες. (x y) z= x (y z).

Παράρτηµα Α Εισαγωγή Οµάδες. (x y) z= x (y z). Παράρτηµα Α 11.1 Εισαγωγή Οπως έχει αναφερθεί ήδη προοδευτικά στο δεύτερο µέρος του παρόντος συγγράµµατος χρησιµοποιούνται ϐασικές έννοιες άλγεβρας. Θεωρούµε ότι οι έννοιες αυτές είναι ήδη γνωστές από

Διαβάστε περισσότερα

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012 ιδασκοντες: Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1 Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 10 Οκτωβρίου 2012 Ασκηση 1.

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z) ΚΕΦΑΛΑΙΟ 1: Πρότυπα Στο κεφάλαιο αυτό θα υπενθυμίσουμε τις βασικές έννοιες που αφορούν πρότυπα πάνω από ένα δακτύλιο Θα περιοριστούμε στα πλέον απαραίτητα για αυτά που ακολουθούν στα άλλα κεφάλαια Η κατευθυντήρια

Διαβάστε περισσότερα

f(n) = a n f(n + m) = a n+m = a n a m = f(n)f(m) f(a n ) = b n f : G 1 G 2, f(a n a m ) = f(a n+m ) = b n+m = b n b m = f(a n )f(a m )

f(n) = a n f(n + m) = a n+m = a n a m = f(n)f(m) f(a n ) = b n f : G 1 G 2, f(a n a m ) = f(a n+m ) = b n+m = b n b m = f(a n )f(a m ) 302 14. Ταξινόµηση Κυκλικών Οµάδων και Οµάδες Αυτοµορφισµών Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες ως προς τη σχέση ισοµορφίας. Ε- πίσης ϑα αποδείξουµε ένα σηµαντικό κριτήριο ισοµορφίας

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2016/nt2016.html Πέµπτη 12 Ιανουαρίου 2017 Ασκηση 1. Εστω

Διαβάστε περισσότερα

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο.

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο. Κεφάλαιο Πρότυπα Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο Ορισμοί και Παραδείγματα Παραδοχές Στo βιβλίο αυτό θα κάνουμε τις εξής παραδοχές Χρησιμοποιούμε προσθετικό συμβολισμό

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2015/nt2015.html Παρασκευή 29 Μαίου 2015 Ασκηση 1.

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 17 Οκτωβρίου 2012 Ασκηση 1.

Διαβάστε περισσότερα

Εισαγωγή. Herman Weyl

Εισαγωγή. Herman Weyl Εισαγωγή Όσο σηµαντικές και αν είναι οι γενικές έννοιες και προτάσεις που απορρέουν από το σύγχρονο πάθος για αξιωµατική θεµελίωση και γενίκευση, είµαι όµως πεπεισµένος ότι τα ειδικά προβλήµατα µε όλη

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Επιλυση Ασκησεων - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 24 Μαρτίου 2017

Διαβάστε περισσότερα

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}.

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}. Αλγεβρα ΙΙ, Εαρινο Εξαμηνο 2017 18 Ασκησεις που συζητηθηκαν στο φροντιστηριο Φροντιστήριο 1. 1. Δίνεται η ομάδα G = Z 4 Z 8, το στοιχείο a = (1, 2) της G, και η υποομάδα H =< a > της G. Εστω G 1 = G/H.

Διαβάστε περισσότερα

s G 1 ). = R, Z 2 Z 3 = Z6. s, t G) s t = st. 1. H = G 4. [G : H] = a G ah = Ha.

s G 1 ). = R, Z 2 Z 3 = Z6. s, t G) s t = st. 1. H = G 4. [G : H] = a G ah = Ha. Αλγεβρα ΙΙ Εαρινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Ομάδες-Πηλίκο: Κρατήσαμε σταθερή μια ομάδα G με ταυτοτικό το ι και μια υποομάδα H της G. Συμβολίσαμε με G 1 το G/H (το σύνολο των αριστερών συμπλόκων

Διαβάστε περισσότερα

Στο κεφάλαιο αυτό εφαρµόζουµε τη Θεωρία Galois, όπως αυτή αναπτύχθηκε στα δύο προηγούµενα κεφάλαια, στην περίπτωση των πεπερασµένων σωµάτων.

Στο κεφάλαιο αυτό εφαρµόζουµε τη Θεωρία Galois, όπως αυτή αναπτύχθηκε στα δύο προηγούµενα κεφάλαια, στην περίπτωση των πεπερασµένων σωµάτων. Κεφάλαιο 4 Πεπερασµένα σώµατα Στο κεφάλαιο αυτό εφαρµόζουµε τη Θεωρία Galois, όπως αυτή αναπτύχθηκε στα δύο προηγούµενα κεφάλαια, στην περίπτωση των πεπερασµένων σωµάτων. 4.1 Βασικές Εννοιες Εστω F ένα

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις 202 Μέρος 4. Θεωρητικά Θέµατα Ι. Θεωρία Οµάδων 1. Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις 1.1. Σχέσεις ισοδυναµίας. Εστω X ένα µη-κενό σύνολο. Ορισµός 1.1. Μια σχέση ισοδυναµίας επί του X είναι ένα

Διαβάστε περισσότερα

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n 236 5. Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες, τις υποοµάδες τους, και τους γεννήτο- ϱές τους. Οι ταξινοµήσεις αυτές ϑα ϐασιστούν στην

Διαβάστε περισσότερα

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

Διαβάστε περισσότερα

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2.

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2. Κεφάλαιο 6 Πεπερασµένα παραγόµενες αβελιανές οµάδες Στο κεφάλαιο αυτό ϑα ταξινοµήσουµε τις πεπερασµένα παραγόµενες αβελιανές οµάδες. Αυτές οι οµάδες είναι από τις λίγες περιπτώσεις οµάδων µε µία συγκεκριµένη

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 236 5. Ταξινόµηση

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 1

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 1 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Επιλυση Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 25 Φεβρουαβρίου 2016

Διαβάστε περισσότερα

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1)

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1) Κεφάλαιο 4 Ευθέα γινόµενα οµάδων Στο Παράδειγµα 1.1.2.11 ορίσαµε το ευθύ εξωτερικό γινόµενο G 1 G 2 G n των οµάδων G i, 1 i n. Στο κεφάλαιο αυτό ϑα ασχοληθούµε λεπτοµερέστερα µε τα ευθέα γινόµενα οµάδων

Διαβάστε περισσότερα

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 9

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 9 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 26 Μαίου 2017 Ασκηση 1.

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 3 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2016/nt2016.html Πέµπτη 3 Νοεµβρίου 2016 Ασκηση 1. Αφού ϐρείτε

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 9

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 9 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 12 Μαίου 2016 Ασκηση 1. Εστω

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

Διαβάστε περισσότερα

Δακτύλιοι και Πρότυπα Ασκήσεις 2. όπου a (4 i) (1 2 i), b i. Στη συνέχεια βρείτε κάθε τέτοιο d. b. Δείξτε ότι [ i] (4 i)

Δακτύλιοι και Πρότυπα Ασκήσεις 2. όπου a (4 i) (1 2 i), b i. Στη συνέχεια βρείτε κάθε τέτοιο d. b. Δείξτε ότι [ i] (4 i) 6 Δακτύλιοι και Πρότυπα 016-17 Ασκήσεις Η ύλη των ασκήσεων αυτών είναι η Ενότητα, Περιοχές κυρίων ιδεωδών. 1. Θεωρούμε το δακτύλιο [ i]. a. Βρείτε ένα d [ i] με ( a, b) d, όπου a (4 i) (1 i), b 16 1 i.

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 8

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 8 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 8 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi07/asi07.html Παρασκευή 9 Μαίου 07 Για κάθε µετάθεση

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 202 Μέρος 4. Θεωρητικά

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

Διαβάστε περισσότερα

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι:

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: n N {0}, ( ) + n = = n + ( ) και ( ) + ( ) = (**) Ονομάζουμε επικεφαλής συντελεστή ενός μη μηδενικού πολυωνύμου f, τον συντελεστή f(i)

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη Μαΐου 013 Ασκηση 1. Βρείτε τις τάξεις των

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Παρασκευή 16 & Τετάρτη 21 Νοεµβρίου

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

Αλγεβρικές Δομές Ι. 1 Ομάδα I

Αλγεβρικές Δομές Ι. 1 Ομάδα I Αλγεβρικές Δομές Ι 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω G μια προσθετική ομάδα S ένα μη κενό σύνολο και M(S G το σύνολο όλων των συναρτήσεων f : S G. Δείξτε ότι το σύνολο M(S G είναι ομάδα με πράξη την πρόσθεση

Διαβάστε περισσότερα

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό

Κεφάλαιο 3. Ελεύθερα Πρότυπα. στοιχείων του Μ καλείται βάση του e λ παράγει το Μ, και ii) κάθε m M γράφεται κατά µοναδικό Κεφάαιο 3 Εεύθερα Πρότυπα 3.1 Εεύθερα Πρότυπα Έστω Μ ένα R-πρότυπο. Μια οικογένεια Μ αν ) το σύνοο { Λ} τρόπο ως άθροισµα της µορφής πεπερασµένο πήθος από τα ( e ) στοιχείων του Μ καείται βάση του e παράγει

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 1

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 1 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Επιλυση Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 10 Μαρτίου 2017

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Bursde Θα αποδείξουµε εδώ ότι κάθε οµάδα τάξης a q b (, q πρώτοι) είναι επιλύσιµη. Το θεώρηµα αυτό αποδείχτηκε από τον Bursde το 904 ο οποίος χρησιµοποίησε τη νέα τότε

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τίτλος Μαθήματος: Αλγεβρικές Δομές ΙΙ Ενότητα: Ιδεώδη και Περιοχές κυρίων Ιδεωδών Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τμήμα: Μαθηματικών 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0},

Διαβάστε περισσότερα

Σχέσεις Ισοδυναµίας και Πράξεις

Σχέσεις Ισοδυναµίας και Πράξεις Κεφάλαιο 1 Σχέσεις Ισοδυναµίας και Πράξεις Στο παρόν Κεφάλαιο ϑα αναπτύξουµε τα ϐασικά στοιχεία από τη ϑεωρία σχέσεων µερικής διάταξης, σχέσεων ισοδυναµίας και διαµερίσεων οι οποίες ορίζονται επί ενός

Διαβάστε περισσότερα

a = a a Z n. a = a mod n.

a = a a Z n. a = a mod n. Αλγεβρα Ι Χειμερινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Πράξεις: Πράξεις στο σύνολο S, ο πίνακας της πράξης, αντιμεταθετικές πράξεις. Προσεταιριστικές πράξεις, το στοιχείο a 1 a 2 a n. Η πράξη «σύνθεση

Διαβάστε περισσότερα

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι.

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι. Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη Τσουκνίδας Ι. 2 Περιεχόμενα 1 Εισαγωγή στα πεπερασμένα σώματα 5 1.1 Μάθημα 1..................................... 5 1.1.1

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

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

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 8

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 8 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Πέµπτη 27 εκεµβρίου 2012 Ασκηση 1.

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι ΚΕΦΑΛΑΙΟ : Ημιαπλοί Δακτύλιοι Είδαμε στο κύριο θεώρημα του προηγούμενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισμα απλών προτύπων Εδώ θα χαρακτηρίσουμε όλους

Διαβάστε περισσότερα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai017/lai017html Παρασκευή 17 Νοεµβρίου 017

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Είδαµε στο προηγούµενο κεφάλαιο ότι κάθε ηµιαπλός δακτύλιος είναι δακτύλιος του Art. Επειδή υπάρχουν παραδείγµατα δακτυλίων του Art που δεν είναι ηµιαπλοί, πχ Z 2, > 1, τίθεται

Διαβάστε περισσότερα

Θεωρια ακτυλιων. Ασκησεις

Θεωρια ακτυλιων. Ασκησεις Θεωρια ακτυλιων Ασκησεις Ακαδηµαϊκο Ετος 2016-2017 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/ringtheory/ringtheory2016/ringtheory2016.html 15 Φεβρουαρίου 2017 2 Περιεχόµενα

Διαβάστε περισσότερα

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 Μικρό Θεώρηµα του Fermat, η συνάρτηση του Euler και Μαθηµατικοί ιαγωνισµοί Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες Χρησιµοποιώντας τανυστικά γινόµενα και εφαρµόζοντας το θεώρηµα των Wedderbur-rt ( 33) θα αποδείξουµε δύο θεµελιώδη θεωρήµατα που αφορούν κεντρικές απλές άλγεβρες *

Διαβάστε περισσότερα

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε ΕΠΕΚΤΑΣΕΙΣ ΣΩΜΑΤΟΣ Προκαταρκτικά Σώµα = Αντιµεταθετικό σώµα, χαρακτηριστικής µηδενός Τα σώµατα αυτά καλούνται και αριθµητικά σώµατα Θα τα συµβολίζουµε µε τα γράµµατα F, F, L κλπ Έστω ότι κάποια ανάγκη

Διαβάστε περισσότερα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ Λυσεις Ασκησεων - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai018/lai018html Παρασκευή 3 Νοεµβρίου 018 Ασκηση

Διαβάστε περισσότερα

Κεφάλαιο 1. Πρότυπα. Στο κεφάλαιο αυτό εισαγάγουµε την έννοια του προτύπου πάνω από δακτύλιο που θα παίξει σηµαντικό ρόλο στα επόµενα κεφάλαια.

Κεφάλαιο 1. Πρότυπα. Στο κεφάλαιο αυτό εισαγάγουµε την έννοια του προτύπου πάνω από δακτύλιο που θα παίξει σηµαντικό ρόλο στα επόµενα κεφάλαια. Κεφάαιο Πρότυπα Στο κεφάαιο αυτό εισαγάγουµε την έννοια του προτύπου πάνω από δακτύιο που θα παίξει σηµαντικό ρόο στα επόµενα κεφάαια Στις σηµειώσεις αυτές όοι οι δακτύιοι περιέχουν µοναδιαίο στοιχείο

Διαβάστε περισσότερα

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή Κεφάλαιο 1 Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή 11 Συνοπτική Θεωρία Στην παρούσα ενότητα υπενθυµίζουµε εν συντοµία ϐασικές έννοιες και αποτελέσµατα αναφορικά µε : (α) τις σχέσεις µερικής διάταξης

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 9

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 9 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 9 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Παρασκευή 11 Ιανουαρίου 2013 Ασκηση

Διαβάστε περισσότερα

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή ) Βασική Άλγεβρα Ασκήσεις 05-6 (εκδοχή 8--05) Βασική Άλγεβρα Ασκήσεις Υποδείξεις/Απαντήσεις Περιεχόμενα σελίδα Ασκήσεις Διαιρετότητα στους ακέραιους, ισοτιμίες Ασκήσεις Ακέραιοι odulo, Θεώρημα του Euler

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 13 Μαρτίου 2013 Ασκηση 1. Αφού ϐρείτε την

Διαβάστε περισσότερα

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. 1. Κάθε πολυώνυμο ανάγωγο επί του Z είναι ανάγωγο επί του Q. Σωστό. 2. Κάθε πολυώνυμο ανάγωγο επί του Q είναι ανάγωγο επί

Διαβάστε περισσότερα

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών Ενότητα: Εισαγωγικές Εννοιες Ευάγγελος Ράπτης Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt01b/nt01b.html Πέµπτη 1 Οκτωβρίου 01 Ασκηση 1. είξτε ότι

Διαβάστε περισσότερα

Θεωρια ακτυλιων. Ασκησεις

Θεωρια ακτυλιων. Ασκησεις Θεωρια ακτυλιων Ασκησεις Ακαδηµαϊκο Ετος 2015-2016 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/ringtheory/ringtheory2015/ringtheory2015.html 4 εκεµβρίου 2015 2 Περιεχόµενα

Διαβάστε περισσότερα

ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης

ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης Κεφάλαιο 10 ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης 10.1 Συνοπτική Θεωρία Η παρούσα ενότητα είναι αφιερωµένη στην υπενθύµιση ϐασικών εννοιών και αποτελεσµάτων από τη ϑεωρία περιοχών

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 13 Οκτωβρίου 016 Ασκηση 1. είξτε ότι

Διαβάστε περισσότερα

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Τοπικές έννοιες Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n Κεφάλαιο 8 Η οµάδα S n Στο κεφάλαιο αυτό ϑα µελετήσουµε την οµάδα µεταθέσεων ή συµµετρική οµάδα S n εφαρµόζοντας τη ϑεωρία που αναπτύχθηκε στα προηγούµενα κε- ϕάλαια. Η σηµαντικότητα της S n εµφανίστηκε

Διαβάστε περισσότερα

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθος Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://wwwmathuoigr/ abeligia/linearalgebrai/laihtml

Διαβάστε περισσότερα

ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα

ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα Κεφάλαιο 7 ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα Στο παρόν Κεφάλαιο ϑα µελετήσουµε την ϑεµελιώδη έννοια του δακτυλίου, ϑα αναπτύξουµε τις ϐασικές ιδιότητες δακτυλίων και ϑα αναλύσουµε µια σειρά

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Στο κεφάλαιο αυτό μελετάμε δακτυλίους του Art χρησιμοποιώντας το ριζικό του Jacobso. Ως εφαρμογή αποδεικνύουμε ότι κάθε δακτύλιος του Art είναι και της Noether. 4.1. Δακτύλιοι

Διαβάστε περισσότερα

Ανοικτά και κλειστά σύνολα

Ανοικτά και κλειστά σύνολα 5 Ανοικτά και κλειστά σύνολα Στην παράγραφο αυτή αναπτύσσεται ο µηχανισµός που θα µας επιτρέψει να µελετήσουµε τις αναλυτικές ιδιότητες των συναρτήσεων πολλών µεταβλητών. Θα χρειαστούµε τις έννοιες της

Διαβάστε περισσότερα

Δακτύλιοι και Πρότυπα Ασκήσεις 3. Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος. N ( a)

Δακτύλιοι και Πρότυπα Ασκήσεις 3. Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος. N ( a) 11 Δακτύλιοι και Πρότυπα 2016-17 Ασκήσεις 3 Η ύλη των ασκήσεων αυτών είναι η Ενότητα3, Ελεύθερα πρότυπα Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος 1 Δείξτε ότι το

Διαβάστε περισσότερα

ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης

ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης Κεφάλαιο 11 ακτύλιοι Κυρίων Ιδεωδών και Περιοχές Μονοσήµαντης Ανάλυσης Στο παρόν Κεφάλαιο ϑα µελετήσουµε διεξοδικά δύο ϐασικές κλάσεις µεταθετικών δακτυλίων : τις περιοχές κυρίων ιδεωδών και τις περιοχές

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Η Κανονική Μορφή Jordan - I Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 35 7 Η Κανονική Μορφή Jordan - I Στην

Διαβάστε περισσότερα

Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών

Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών Κεφάλαιο 6 Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών Στο παρόν Κεφάλαιο ϑα µελετήσουµε τις ϐασικές ιδιότητες της οµάδας πηλίκο µιας οµάδας ως προς µια κανονική υποµάδα, ϑα αποδείξουµε τα ϐασικά ϑεωρήµατα

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 11

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 11 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 11 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 26 Μαίου 2016 Ασκηση 1. Να

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Ελάχιστο Πολυώνυµο Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 20 4. Ελάχιστο Πολυώνυµο Στην παρούσα παράγραφο

Διαβάστε περισσότερα

Ασκησεις Βασικης Αλγεβρας

Ασκησεις Βασικης Αλγεβρας Ασκησεις Βασικης Αλγεβρας Αποστολος Μπεληγιαννης Απόστολος Μπεληγιάννης Καθηγητής Τµήµα Μαθηµατικών Πανεπιστήµιο Ιωαννίνων Ασκήσεις Βασικής Αλγεβρας Ιωαννινα εκεµβριος 2015 Ασκήσεις Βασικής Αλγεβρας Συγγραφή

Διαβάστε περισσότερα