Θεωρία δακτυλίων

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

Στην αφηρημένη άλγεβρα, η θεωρία δακτυλίων είναι η μελέτη των δακτυλίων- αλγεβρικών δομών στις οποίες ορίζεται η πρόσθεση και ο πολλαπλασιασμός με ιδιότητες παρόμοιες με την κλασσική πρόσθεση και τον πολλαπλασιασμό των ακεραίων. Η θεωρία των δακτυλίων μελετά τη δομή τους, τις αναπαραστάσεις τους, με άλλα λόγια modules, που είναι κλάσεις δακτυλίων (δακτύλιοι ομάδων, δακτύλιοι διαίρεσης, καθολικές περιβάλλουσες άλγεβρες), αλλά και μία σειρά ιδιοτήτων τους που παρουσιάζουν ενδιαφέρον τόσο στη θεωρία όσο και στις εφαρμογές, όπως ομολογικές ιδιότητες και πολυωνυμικές ταυτότητες.

Οι αντιμεταθετικοί δακτύλιοι είναι περισσότερο κατανοητοί από τους μη αντιμεταθετικούς. Η αλγεβρική γεωμετρία και η αλγεβρική θεωρία αριθμών, που προσφέρουν πολλά φυσικά παραδείγματα αντιμεταθετικών δακτυλίων, έχουν οδηγήσει στην ανάπτυξη της θεωρίας των ανιμεταθετικών δακτυλίων, που ονομάζεται αντιμεταθετική άλγεβρα και αποτελεί σημαντικό τμήμα των μοντέρνων μαθηματικών. Επειδή τα τρία αυτά πεδία (αλγεβρική γεωμετρία, αλγεβρική θεωρία αριθμών και αντιμεταθετική άλγεβρα) είναι άμεσα συνδεδεμένα είναι συνήθως δύσκολη αλλά και άσκοπη η απόδοση αποτελεσμάτων σε ένα από τα πεδία. Για παράδειγμα των θεώρημα του Hilbert Nullstellensatz είναι θεμελιώδες για την αλγεβρική γεωμετρία αλλά διατυπώνεται και αποδεικνύεται με μεθόδους της αντιμεταθετικής άλγεβρας. Παρόμοια, το τελευταίο θεώρημα του Φερμά διατυπώνεται με βασική αριθμητική, κομμάτι της αντιμεταθετικής άλγεβρας αλλά η απόδειξή του απαιτεί προχωρημένα αποτελέσματα της αλγεβρικής θεωρίας αριθμών και της αλγεβρικής γεωμετρίας.

Οι μη αντιμεταθετικοί δακτύλιοι είναι διαφορετικοί από τους αντιμεταθετικούς διότι έχουν ασυνήθιστη συμπεριφορά. Ενώ υπάρχει και ανεξάρτητη ανάπτυξη της θεωρίας τους, υπάρχει μία νέα τάση για παράλληλη ανάπτυξη με αυτή των αντιμεταθετικών. Αυτό επιτυγχάνεται, κατασκευάζοντας τη θεωρία για συγκεκριμένους τύπους μη αντιμεταθετικών δακτυλίων με γεωμετρικές μεθόδους, σαν να ήταν δακτύλιοι συναρτήσεων σε ( μη- υπαρκτούς) "μη- αντιμεταθετικούς χώρους". Η τάση αυτή ξεκίνησε το 1980 με την ανάπτυξη της μη αντιμεταθετικής γεωμετρίας και την ανακάλυψη κβαντικών ομάδων. Οδήγησε στην καλύτερη κατανόηση των μη αντιμεταθετικών δακτυλίων ειδικά των μη αντιμεταθετικών δακτυλίων Noetherian.(Goodearl 1989)  

Για τον ορισμό του δακτυλίου, βασικές ιδέες και ιδιότητες, βλέπε δακτύλιος (μαθηματικά). Οι ορισμοί και οι όροι που χρησιμοποιούνται στη θεωρία δακτυλίων βρίσκονται στο γλωσσάρι της θεωρίας δακτυλίων.

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

Η θεωρία αντιμεταθετικών δακτυλίων γεννήθηκε στην αλγεβρική θεωρία αριθμών, την αλγεβρική γεωμετρία και τη θεωρία των αναλλοίωτων . Κύριας σημασίας στην ανάπτυξη αυτών των αντικειμένων ήταν οι δακτύλιοι ακεραίων σε αριθμητικά πεδία,πεδία αλγεβρικών συναρτήσεων και οι δακτύλιοι πολυωνύμων με δύο ή παραπάνω μεταβλητές. Η θεωρία των μη αντιμεταθετικών δακτυλίων ξεκίνησε με προσπάθειες να επεκταθούν οι μιγαδικοί αριθμοί σε πολλαπλά υπερμιγαδικά συστήματα αριθμών. Η γέννηση των θεωριών των αντιμεταθετικών και μη αντιμεταθετικών δακτυλίων χρονολογείται στις αρχές του 19ου αιώνα ενώ η ωρίμανση τους στην τρίτη δεκαετία του 20ου αιώνα. 

Ακριβέστερα, ο William Rowan Hamilton παρουσίασε τα quaternions (τετραδόνια) και τα biquaternions, ο James Cockle τα tessarines και τα coquaternions και ο William Kingdon Clifford ασχολήθηκε με split-biquaternions, τα οποία ονόμασε αλγεβρικούς κινητήρες. Αυτές οι μη αντιμεταθετικές άλγεβρες, και οι μη προσεταιριστικές άλγεβρες Lie, μελετήθηκαν ως μέρος της γενικής άλγεβρας προτού το αντικείμενο διαχωριστεί σε συγκεκριμένες μαθηματικές δομές. Ένα δείγμα αναδιοργάνωσης ήταν η χρήση του ευθύ αθροίσματος για την περιγραφή αλγεβρικών δομών.

Οι πολλαπλοί υπερμιγαδικοί αριθμοί αναγνωρίσθηκαν με δακτύλιους πίνακες από τους Joseph Wedderburn (1908) και Emil Artin (1928). Τα θεωρήματα δομής του Wedderburn σχηματίστηκαν για την περιγραφή αλγέβρων πεπερασμένης διάστασης πάνω από πεδίο ενώ ο Artin τα γενίκευσε σε δακτυλίους Artin.

To 1920, η Emmy Noether, σε συνεργασία με τον W. Schmeidler, δημοσίευσε μία εργασία πάνω στη θεωρία ιδεωδών στην οποία όρισαν τα αριστερά και δεξιά ιδεώδη σε ένα δακτύλιο. Τον επόμενο χρόνο δημοσίευσε μία εργασία ορόσημο με το «Idealtheorie in Ringbereichen», στην οποία ανέλυε προϋποθέσεις για αύξουσες αλυσίδες σε σχέση με (μαθηματικά ιδεώδη). Ο διακεκριμένος μαθηματικός και ειδικός στην άλγεβρα Irving Kaplansky χαρακτήρισε την εργασία «επαναστατική» [1]. Η δημοσίευσή της καθιέρωσε τον όρο « Δακτύλιος Noether» και πολλούς άλλους μαθηματικούς όρους που φέρουν το όνομα Noether.[1][2][3]   

Αντιμεταθετικοί δακτύλιοι[Επεξεργασία | επεξεργασία κώδικα]

Ένας δακτύλιος καλείται αντιμεταθετικός αν και μόνον αν ο πολλαπλασιασμός του είναι αντιμεταθετικός. Οι αντιμεταθετικοί δακτύλιοι αναπαριστούν οικεία συστήματα αριθμών και πολλοί ορισμοί των αντιμεταθετικών δακτυλίων έχουν γραφεί για την διατύπωση των ιδιοτήτων των ακεραίων. Οι αντιμεταθετικοί δακτύλιοι είναι επίσης σημαντικοί στην αλγεβρική γεωμετρία. Στη θεωρία των αντιμεταθετικών δακτυλίων οι αριθμοί συχνά αντικαθιστώνται από ιδεώδη και τον ορισμό των πρώτων ιδεωδών που αναπαριστούν τους πρώτους αριθμούς. Οι ακέραιες περιοχές, απλοί αντιμεταθετικοί δακτύλιοι όπου δύο μη μηδενικά στοιχεία δεν έχουν ποτέ γινόμενο μηδέν γενικεύουν μία άλλη ιδιότητα των ακεραίων και αποτελούν κατάλληλο πεδίο για την μελέτη της. Οι δακτύλιοι κυρίων ιδεωδών είναι ακέραιες περιοχές στις οποίες κάθε ιδεώδες παράγεται από ένα στοιχείο, που αποτελεί επίσης ιδιότητα των ακεραίων. Οι Ευκλείδειες περιοχές είναι ακέραιες περιοχές στις οποίες μπορεί να εφαρμοστεί ο αλγόριθμος του Ευκλείδη. Σημαντικά παραδείγματα των αντιμεταθετικών δακτυλίων από δακτύλιους πολυωνύμων και τους αντίστοιχους δακτύλιους πηλίκο. Συνοπτικά: Ευκλείδεια περιοχή => Δακτύλιος κυρίων ιδεωδών => μοναδική παραγοντοποίηση =>ακέραια περιοχή => αντιμεταθετικός δακτύλιος

Αλγεβρική γεωμετρία[Επεξεργασία | επεξεργασία κώδικα]

Η αλγεβρική γεωμετρία είναι κατά πολλούς τρόπους η κατοπτρική εικόνα της αντιμεταθετικής άλγεβρας. Ένα σχήμα κατασκευάζεται κατά μία έννοια από δακτυλίους. Ο Alexander Grothendieck έδωσε καθοριστικούς ορισμούς για τα αντικείμενα της αλγεβρικής γεωμετρίας. Όρισε το φάσμα ενός αντιμεταθετικού δακτυλίου ως το χώρο των κυρίων ιδεωδών με τοπολογία Zariski, αλλά πρόσθεσε δεμάτια δακτυλίων: σε κάθε ανοικτό κατά Zariski σύνολο αντιστοιχεί ένας αντιμεταθετικός δακτύλιος, με τη μορφή δακτυλίου « πολυωνυμικών συναρτήσεων» ορισμένες πάνω στο σύνολο. Αυτά τα αντικείμενα είναι τα «Αφινικά σχήματα»,. Κατά συνέπεια κατασκευάζεται ένα γενικό σχήμα με την συνένωση διάφορων αφινικών σχημάτων, σε αναλογία με το γεγονός ότι η συνένωση αφινικών πολλαπλοτήτων οδηγεί σε γενικές πολλαπλότητες. 

Μη αντιμεταθετικοί δακτύλιοι[Επεξεργασία | επεξεργασία κώδικα]

Οι μη αντιμεταθετικοί δακτύλιοι μοιάζουν με δακτυλίους πινάκων κατά πολλούς τρόπους. Παρόμοια με το μοντέλο της αλγεβρικής γεωμετρίας, έγιναν προσπάθειες πρόσφατα να οριστεί η μη αντιμεταθετική γεωμετρία με βάση τους μη αντιμεταθετικούς δακτυλίους. Οι μη αντιμεταθετικοί δακτύλιοι και οι προσεταιριστικές άλγεβρες (δακτύλιοι που είναι και διανυσματικοί χώροι) μελετούνται συχνά μέσω των κατηγοριών των modules τους. Ένα module πάνω από δακτύλιο είναι μία Αβελιανή ομάδα πάνω στην οποία ο δακτύλιος λειτουργεί ως δακτύλιος ενδομορφισμών, παρόμοια με τον τρόπο που τα πεδία (ή σώματα) (ακέραιες περιοχές στις οποίες κάθε μη μηδενικό στοιχείο έχει αντίστροφο) λειτουργούν πάνω από διανυσματικούς χώρους. Παραδείγματα μη αντιμεταθετικών δακτυλίων δίνονται από δακτυλίους τετραγωνικών πινάκων ή πιο γενικά από δακτυλίους ενδομορφισμών Αβελιανών ομάδων ή modules και από δακτυλίους μονοειδών.

Θεωρία Αναπαραστάσεων[Επεξεργασία | επεξεργασία κώδικα]

Η θεωρία αναπαραστάσεων είναι ένα κλάδος των μαθηματικών που βασίζεται σε μεγάλο βαθμό στους μη αντιμεταθετικούς δακτυλίους. Μελετά αφηρημένες αλγεβρικές δομές αναπαριστώντας τα στοιχεία τους ως γραμμικούς μετασχηματισμούς διανυσματικών χώρων και μελετά modules πάνω από αυτές τις αφηρημένες αλγεβρικές δομές. Στην ουσία, η αναπαράσταση κάνει ένα αφηρημένο αντικείμενο σαφέστερο περιγράφοντας τα στοιχεία του με πίνακες και τις αλγεβρικές πράξεις πρόσθεση πινάκων και πολλαπλασιασμός πινάκων, που δεν είναι αντιμεταθετικός . Τα αλγεβρικά αντικείμενα που υπόκεινται σε τέτοια περιγραφή περιλαμβάνουν ομάδες, προσεταιριστικές άλγεβρες και άλγεβρες Lie. Το κυριότερο από αυτά ( και ιστορικά πρώτο) είναι η θεωρία αναπαραστάσεων των ομάδων, στην οποία τα στοιχεί της ομάδας αναπαρίστανται από αντιστρέψιμους πίνακες έτσι ώστε η πράξη της ομάδας να αντιστοιχίζεται στον πολλαπλασιασμό πινάκων.

Μερικά χρήσιμα θεωρήματα[Επεξεργασία | επεξεργασία κώδικα]

Γενικά:

Θεωρήματα δομής:

Δομές και αναλλοίωτες δακτυλίων[Επεξεργασία | επεξεργασία κώδικα]

Διάσταση ενός ατιμεταθετικού δακτυλίου[Επεξεργασία | επεξεργασία κώδικα]

Η διάσταση Krull ενός αντιμεταθετικού δακτυλίου R είναι το supremum των μηκών όλων των αυξουσών αλυσίδων των κυρίων ιδεωδών  . Για παράδειγμα, ο πολυωνυμικός δακτύλιος  πάνω από ένα πεδίο k έχει διάσταση n. Το θεμελιώδες θεώρημα της θεωρίας διάστασης διατυπώνει ότι οι παρακάτω αριθμοί συμπίπτουν σε ένα τοπικό δακτύλιο Noether :[1]

  • H διάσταση Krull του R.
  • Ο ελάχιστος αριθμός των γεννητόρων των   -κυρίων ιδεωδών.
  • Η διάσταση του βαθμωτού δακτυλίου  (ισοδύναμα , ένα συν τον βαθμό του πολυωνύμου Hilbertl).

Ένας αντιμεταθετικός δακτύλιος R ορίζεται να είναι αλυσιδωτός αν κάθε ζεύγος πρώτων ιδεωδών  μπορεί να επεκταθεί σε αλυσίδα κυρίων ιδεωδών  ίδιου, πεπερασμένου μήκους τέτοιου ώστε να μην υπάρχει κύριο ιδεώδες που είναι αυστηρά ανάμεσα σε δύο συνεχόμενους όρους. Πρακτικά, όλοι οι δακτύλιοι Noether που χρησιμοποιούνται σε εφαρμογές είναι αλυσιδωτοί. Αν ο   is a είναι αλυσιδωτή τοπική ακεραία περιοχή, τότε εξ ορισμού,

όπου  είναι το ύψος του . Αυτό είναι ένα σημαντικό θεώρημα του Ratliff και ισχύει και το αντίστροφο.[2]

Αν R είναι μία ακέραια περιοχή που είναι πεπερασμένα παραγόμενη k-άλγεβρα τότε η διάστασή της είναι ο βαθμός υπερβατικότητας του πεδίου των κλασμάτων πάνω από k. Αν το S είναι ακέραια επέκταση ενός αντιμεταθετικού δακτυλίου R, τότε S και R έχουν την ίδια διάσταση.

Στενά συνδεδεμένα θέματα είναι αυτά του βάθους και της καθολικής διάστασης. Γενικά, αν R είναι τοπικός δακτύλιος Noether, τότε το βάθος του R είναι μικρότερο ή ίσο της διάστασης του R. Όταν ισχύει η ισότητα ο R καλείται δακτύλιος Cohen- Macaulay. Σύμφωνα με θεώρημα του Serre ο R είναι κανονικός τοπικός δακτύλιος αν και μόνο αν έχει πεπερασμένη καθολική διάσταση και τότε η καθολική διάσταση ισούται με την διάσταση Krull του R. H σημασία του θεωρήματος έγκειται στο γεγονός ότι η καθολική διάσταση είναι ομολογική έννοια.

Ισοδυναμία Morita[Επεξεργασία | επεξεργασία κώδικα]

Δύο δακτύλιοι R,S θεωρούνται ισοδύναμοι κατά Morita αν και μόνο αν η κατηγορία των αριστερών modules πάνω από τον R είναι ισοδύναμη με την κατηγορία των αριστερών modules πάνω από τον S. Στην πραγματικότητα, δύο δακτύλιοι που είναι ισοδύναμοι κατά Morita πρέπει να είναι ισόμορφοι και άρα η έννοια δεν προσθέτει κάτι καινούργιο στην κατηγορία των αντιμεταθετικών δακτυλίων. Παρ' όλα αυτά, οι αντιμεταθετικοί δακτύλιοι μπορεί να είναι ισοδύναμοι κατά Morita με μη ανιμεταθετικούς δακτυλίους, οπότε η ισοδυναμία Morita είναι ευρύτερη από την ισομορφία. Η ισοδυναμία Morita είναι ιδιαίτερα σημαντική στην αλγεβρική τοπολογία και την συναρτησιακή ανάλυση. 

Πεπερασμένα παραγόμενα προβολικά modules επί δακτύλιο και ομάδα Picard[Επεξεργασία | επεξεργασία κώδικα]

Έστω R ένας αντιμεταθετικός δακτύλιος και  το σύνολο των κλάσεων ισομορφισμών των πεπερασμένα παραγόμενων προβολικών modules πάνω από το R. Έστω επίσης,  υποσύνολα που αποτελούνται από αυτά με σταθερή βαθμίδα n. (Η βαθμίδα ενός module M είναι η συνεχής συνάρτηση.[3])  συμβολίζεται συχνά με by Pic(R). Είναι μία Αβελιανή ομάδα που καλείται ομάδα Picard του R.[7] Αν R είναι ακέραια περιοχή με το πεδίο κλασμάτων F του R, τότε υπάρχει μοναδική ακολουθία ομάδων:[8]

όπου  ) είναι το σύνολο ων κλασματικών ιδεωδών του R. Αν R κανονική περιοχή (δηλ. , κανονικό για κάθε πρώτο ιδεώδες), τότε Pic(R) είναι ακριβώς η ομάδα διαιρέτης του R.[4]

Για παράδειγμα, αν R είναι περιοχή κυρίων ιδεωδών, τότε η Pic(R) εξαφανίζεται. Στην αλγεβρική θεωρία αριθμών, ο R θεωρείται ότι είναι ο δακτύλιος των ακεραίων ο οποίος είναι Dedekind και γι’ αυτό κανονικός. Άρα Pic(R) είναι πεπερασμένη ομάδα (πεπερασμένoς αριθμός κλάσεων) που μετρά την απόκλιση του δακτυλίου των ακεραίων από το να είναι PID.

Επίσης μπορεί να θεωρηθεί η πλήρωση ομάδας του  . Αυτό οδηγεί στον αντιμεταθετικό δακτύλιο K0(R). Να σημειωθεί ότι K0(R) = K0(S) για δύο δακτυλίους R, S που είναι ισοδύναμοι κατά Morita.

Δομή των μη αντιμεταθετικών δακτυλίων[Επεξεργασία | επεξεργασία κώδικα]

Η δομή ενός μη αντιμεταθετικού δακτυλίου είναι πολυπλοκότερη από αυτή ενός αντιμεταθετικού δακτυλίου. Για παράδειγμα, υπάρχουν απλοί δακτύλιοι, που περιέχουν απλά γνήσια (με δύο πλευρές) ιδεώδη, που περιέχουν απλά γνήσια αριστερά ή δεξιά ιδεώδη. Υπάρχουν πολλές αναλλοίωτες για αντιμεταθετικούς δακτυλίους, ενώ είναι δύσκολο να βρεθούν για μη αντιμεταθετικούς. Για παράδειγμα, το μηδενικό ριζικό ενός δακτυλίου, το σύνολο όλων των μηδενοδύναμων στοιχείων, μπορεί να μην είναι ιδεώδες, εκτός και αν ο δακτύλιος είναι αντιμεταθετικός. Συγκεκριμένα, το σύνολο όλων των μηδενοδύναμων στοιχείων του δακτυλίου όλων των n x n πινάκων πάνω από ένα δακτύλιο διαίρεσης, δεν δημιουργεί ποτέ ιδεώδες, ανεξαρτήτως από το δακτύλιο διαίρεσης που επιλέγεται. Υπάρχουν όμως ανάλογα του μηδενικού ριζικού, ορισμένα για μη αντιμεταθετικούς δακτυλίους, που συμπίπτουν με το μηδενικό ριζικό όταν υποτεθεί αντιμεταθετικότητα.

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

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

Ένας από τους πιο γνωστούς μη αντιμεταθετικούς δακτυλίους είναι ο δακτύλιος διαίρεσης των quaternions.

Εφαρμογές[Επεξεργασία | επεξεργασία κώδικα]

Ο δακτύλιος των ακεραίων σε ένα πεδίο[Επεξεργασία | επεξεργασία κώδικα]

O δακτύλιος συντεταγμένων μίας αλγεβρικής πολλαπλότητας[Επεξεργασία | επεξεργασία κώδικα]

Αν Χ είναι μία αφινική αλγεβρική πολλαπλότητα, τότε το σύνολο όλων των αναλυτικών συναρτήσεων πάνω στο Χ σχηματίζει το δακτύλιο συντεταγμένων του Χ. Για μία προβολική πολλαπλότητα, υπάρχει ανάλογος δακτύλιος που καλείται ομογενής δακτυλίων συντεταγμένων. Αυτοί οι δακτύλιοι είναι στην ουσία το ίδιο πράγμα με τις πολλαπλότητες: Αντιστοιχίζονται ουσιαστικά με μοναδικό τρόπο. Αυτό φαίνεται μέσω της Nullstellensatz του Ντάβιντ Χίλμπερτ ή σχηματικές- θεωρητικές κατασκευές (δηλ. Spec και Proj).

Δακτύλιος των αναλλοίωτων[Επεξεργασία | επεξεργασία κώδικα]

Ένα βασικό (και ίσως το πιο θεμελιώδες) ερώτημα της κλασσικής αναλλοίωτων είναι η εύρεση και η μελέτη πολυώνυμων στον πολυωνυμικό δακτύλιο   που είναι αναλλοίωτα πάνω από πράξη μίας πεπερασμένης ομάδας (ή πιο γενικά αναγωγικής) G πάνω στον V. Το κύριο παράδειγμα είναι ο δακτύλιος των συμμετρικών πολυωνύμων : τα συμμετρικά πολυώνυμα είναι πολυώνυμα τα οποία είναι αναλλοίωτα μέσω μεταθέσεων των μεταβλητών. Το θεμελιώδες θεώρημα των συμμετρικών πολυωνύμων διατυπώνει ότι αυτός ο δακτύλιος είναι  όπου  aείναι βασικά συμμετρικά πολυώνυμα..[5]

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

  1. Matsumura 1980, Theorem 13.4
  2. Matsumura 1980, Theorem 31.4
  3. Weibel, Ch I, Definition 2.2.3
  4. Weibel, Ch I, Corollary 3.8.1
  5. Springer 1970, Theorem 1.5.7

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

  • History of ring theory at the MacTutor Archive
  • R.B.J.T. Allenby (1991). Rings, Fields and Groups. Butterworth-Heinemann. ISBN 0-340-54440-6. 
  • Atiyah M.F., Macdonald, I. G., Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969 ix+128 pp.
  • T.S. Blyth and E.F. Robertson (1985). Groups, rings and fields: Algebra through practice, Book 3. Cambridge university Press. ISBN 0-521-27288-2. 
  • Faith, Carl, Rings and things and a fine array of twentieth century associative algebra. Mathematical Surveys and Monographs, 65. American Mathematical Society, Providence, RI, 1999. xxxiv+422 pp. ISBN 0-8218-0993-8
  • Goodearl, K. R., Warfield, R. B., Jr., An introduction to noncommutative Noetherian rings. London Mathematical Society Student Texts, 16. Cambridge University Press, Cambridge, 1989. xviii+303 pp. ISBN 0-521-36086-2
  • Herstein, I. N., Noncommutative rings. Reprint of the 1968 original. With an afterword by Lance W. Small. Carus Mathematical Monographs, 15. Mathematical Association of America, Washington, DC, 1994. xii+202 pp. ISBN 0-88385-015-X
  • Nathan Jacobson, Structure of rings. American Mathematical Society Colloquium Publications, Vol. 37. Revised edition American Mathematical Society, Providence, R.I. 1964 ix+299 pp.
  • Nathan Jacobson, The Theory of Rings. American Mathematical Society Mathematical Surveys, vol. I. American Mathematical Society, New York, 1943. vi+150 pp.
  • Judson, Thomas W. (1997). «Abstract Algebra: Theory and Applications».  An introductory undergraduate text in the spirit of texts by Gallian or Herstein, covering groups, rings, integral domains, fields and Galois theory. Free downloadable PDF with open-source GFDL license.
  • Lam, T. Y., A first course in noncommutative rings. Second edition. Graduate Texts in Mathematics, 131. Springer-Verlag, New York, 2001. xx+385 pp. ISBN 0-387-95183-0
  • Lam, T. Y., Exercises in classical ring theory. Second edition. Problem Books in Mathematics. Springer-Verlag, New York, 2003. xx+359 pp. ISBN 0-387-00500-5
  • Lam, T. Y., Lectures on modules and rings. Graduate Texts in Mathematics, 189. Springer-Verlag, New York, 1999. xxiv+557 pp. ISBN 0-387-98428-3
  • McConnell, J. C.; Robson, J. C. Noncommutative Noetherian rings. Revised edition. Graduate Studies in Mathematics, 30. American Mathematical Society, Providence, RI, 2001. xx+636 pp. ISBN 0-8218-2169-5
  • Pierce, Richard S., Associative algebras. Graduate Texts in Mathematics, 88. Studies in the History of Modern Science, 9. Springer-Verlag, New York-Berlin, 1982. xii+436 pp. ISBN 0-387-90693-2
  • Rowen, Louis H., Ring theory. Vol. I, II. Pure and Applied Mathematics, 127, 128. Academic Press, Inc., Boston, MA, 1988. ISBN 0-12-599841-4, ISBN 0-12-599842-2
  • Springer, Tonny A. (1977), Invariant theory, Lecture Notes in Mathematics, 585, Springer-Verlag 
  • Weibel, Charles, The K-book: An introduction to algebraic K-theory, http://www.math.rutgers.edu/~weibel/Kbook.html 
  • Connell, Edwin, Free Online Textbook, http://www.math.miami.edu/~ec/book/