Σώμα υπολοίπων

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

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

Ορισμός

Έστω ότι ο  είναι ένας αντιμεταθετικός τοπικός δακτύλιος, με μεγιστικό ιδεώδες . Τότε το σώμα υπολοίπου είναι το πηλίκο του δακτυλίου .

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

.

Εφόσον ο εντοπισμός είναι ακριβής, το  είναι το σώμα των κλασμάτων του  (το οποίο είναι ένα ολοκληρωτικό σώμα καθώς το  είναι ένα πρώτο ιδεώδες) Matsumura, Hideyuki (1980). Commutative Algebra. Mathematics Lecture Note Series. Vol. 56 (2nd ed.). Reading, Massachusetts: The Benjamin/Cummings Publishing Company Inc. ISBN 0-8053-7026-9., 1.K Μπορεί κανείς να αποδείξει ότι αυτός ο ορισμός δεν εξαρτάται από την επιλογή της αφινικής γειτονιάς .Intuitively, the residue field of a point is a local invariant. Axioms of schemes are set up in such a way as to assure the compatibility between various affine open neighborhoods of a point, which implies the statement.

Το σημείο ονομάζεται ρητό σημείο -ρητό για ένα ορισμένο σώμα , if .Görtz, Ulrich and Wedhorn, Torsten. Algebraic Geometry: Part 1: Schemes (2010)  Vieweg+Teubner Verlag.

Παράδειγμα

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


, το μηδενικό ιδεώδες.

Τα σώματα υπολοίπων είναι

, το σώμα συναρτήσεων πάνω από το k σε μία μεταβλητή.

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

Ιδιότητες

 Για ένα σχήμα τοπικά πεπερασμένου τύπου πάνω από ένα σώμα , ένα σημείο  είναι κλειστό αν και μόνο αν  είναι μια πεπερασμένη επέκταση του βασικού σώματος . Αυτή είναι μια γεωμετρική διατύπωση των μηδενικών του Χίλμπερτ. Στο παραπάνω παράδειγμα, τα σημεία του πρώτου είδους είναι κλειστά, έχοντας  σώμα υπολοίπων  , ενώ το δεύτερο σημείο είναι το γενικό σημείο, έχοντας βαθμό υπερβατικότητας 1 πάνω στο .
 Ένας μορφισμός ,  κάποιο σώμα, είναι ισοδύναμος με το να δίνει ένα σημείο  και μια επέκταση .
 Η διάσταση ενός σχήματος πεπερασμένου τύπου πάνω σε ένα σώμα είναι ίση με τον βαθμό υπερβατικότητας του σώματος υπολοίπων του γενικού σημείου.

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου. 
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών
 Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
 Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
 Wolfram Mathematica Online Integrator
  A Table of Integrals of the Error Functions

 Δείτε επίσης 
 Απαγορευτική αρχή του Πάουλι
 Μορφοκλασματική διάσταση
 Ομοπαραλληλική γεωμετρία
 Αλγεβρική θεωρία αριθμών
 Άρθουρ Στάνλεϋ Έντινγκτον
 Μοναδιαία βηματική συνάρτηση
 Σουμπραμανιάν Τσαντρασεκάρ
 Ευκλείδειος χώρος
 Αρχιμήδεια ιδιότητα
 Βαθμός (γραμμική άλγεβρα)
 Εφαρμοσμένα μαθηματικά
 Υπολογιστική ρευστοδυναμική
 Καμπυλότητα Γκάους
 Καρτεσιανό σύστημα συντεταγμένων
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Σώμα διασπάσεως
 Συνήθης διαφορική εξίσωση
 Γραμμική απεικόνιση
 Νοεροί υπολογισμοί

 Βιβλιογραφία











 Παραπομπές 



Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, vol. 323, Berlin: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 0948.11001

 Πηγές 





 Wendelin Degen, Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
 Hans Freudenthal: Mathematik als pädagogische Aufgabe. Band 1. Klett, Stuttgart 1973, ISBN 3-12-983220-3.
 Thomas W. Hungerford: Algebra (= Graduate Texts in Mathematics. Bd. 73). 5th printing. Springer, New York NY u. a. 1989, ISBN 0-387-90518-9.

Κατηγορία:Θεωρία σωμάτων
Κατηγορία:Αλγεβρική θεωρία αριθμών
Κατηγορία:Θεωρία δακτυλίων
Κατηγορία:Αφηρημένη άλγεβρα