Tor συναρτητής

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

Στην ειδική περίπτωση των αβελιανών ομάδων, ο Tor εισήχθη από τον Έντουαρντ Τσεχ (1935) και πήρε το όνομά του από τον Σάμουελ Άιλενμπεργκ γύρω στο 1950.Weibel (1999). Εφαρμόστηκε για πρώτη φορά στο θεώρημα του Κούνετ και στο θεώρημα του καθολικού συντελεστή στην τοπολογία. Για τις ενότητες πάνω σε οποιονδήποτε δακτύλιο, ο Tor ορίστηκε από τον Ανρί Καρτάν και τον Άιλενμπεργκ στο βιβλίο τους Ομολογική Άλγεβρα του 1956.Cartan & Eilenberg (1956), section VI.1.

 Ορισμός 

Έστω R ένας δακτύλιος. Γράφουμε R-Mod για την κατηγορία των αριστερών R-προτύπων και Mod-R για την κατηγορία των δεξιών R-προτύπων. (Εάν R είναι αντιμεταθετικός, οι δύο κατηγορίες μπορούν να ταυτίζονται.) Για ένα σταθερό αριστερό R-πρότυπο B, έστω  για A στο Mod-R. Αυτό είναι ένας ακριβής δεξιός συναρτητής από το Mod-R στην κατηγορία των αβελιανών ομάδων Ab, και έτσι έχει αριστερούς παράγωγους συναρτητές  .  Οι ομάδες Tor είναι οι αβελιανές ομάδες που ορίζονται από

για έναν ακέραιο αριθμό i. Κατ' ορισμό, αυτό σημαίνει: επιλέξτε οποιαδήποτε προβολική ανάλυση

και αφαιρούμε το A, και σχηματίζουμε την μιγαδική αλυσίδα :

Για κάθε ακέραιο i, η ομάδα  είναι η ομολογία αυτού του μιγαδικού στη θέση i. Είναι μηδέν για i αρνητικό. Επιπλέον,  είναι ο συμπυρήνας της απεικόνισης , η οποία είναι ισομορφική με την .

Εναλλακτικά, μπορεί κανείς να ορίσει τον Tor καθορίζοντας το A και λαμβάνοντας τα αριστερά παράγωγα συναρτητών του δεξιού ακριβούς συναρτητή . Δηλαδή, ο τανυστής A με μια προβολική ανάλυση του B και να λάβει την ομολογία. Οι Καρτάν και Άιλενμπεργκ έδειξαν ότι αυτές οι κατασκευές είναι ανεξάρτητες από την επιλογή της προβολικής ανάλυσης και ότι και οι δύο κατασκευές παράγουν τις ίδιες ομάδες Tor.Weibel (1994), section 2.4 and Theorem 2.7.2. Επιπλέον, για έναν σταθερό δακτύλιο R, το Tor είναι ένας συναρτητής σε κάθε μεταβλητή (από R-πρότυπα σε αβελιανές ομάδες).

Για έναν αντιμεταθετικό δακτύλιο R και R-πρότυπα A και B,  είναι R-πρότυπα (χρησιμοποιώντας το ότι  είναι R-πρότυπα σε αυτή την περίπτωση). Για έναν μη- αντιμεταθετικό δακτύλιο R, το  είναι μόνο μια αβελιανή ομάδα, γενικά. Εάν το R είναι μια άλγεβρα πάνω σε ένα δακτύλιο S (που σημαίνει συγκεκριμένα ότι το S είναι αντιμεταθετικό), τότε το  είναι τουλάχιστον ένα S-πρότυπο.

Ιδιότητες

Ακολουθούν μερικές από τις βασικές ιδιότητες και υπολογισμοί των ομάδων Tor.Weibel (1994), Chapters 2 and 3.

Tor(A, B) ≅ A ⊗R B για κάθε δεξί R-πρότυπο A και αριστερό R-πρότυπο B..
Tor(A, B) = 0 για όλα τα i > 0 εάν είτε το A είτε το B είναι επίπεδο ( π.χ. ελεύθερο) ως R-πρότυπο. Στην πραγματικότητα, μπορεί κανείς να υπολογίσει τον Tor χρησιμοποιώντας μια επίπεδη ανάλυση είτε του A είτε του B; Αυτό είναι πιο γενικό από μια προβολική (ή ελεύθερη) ανάλυση.Weibel (1994), Lemma 3.2.8.
Υπάρχουν αντίθετες απόψεις στην προηγούμενη δήλωση:
Εάν Tor(A, B) = 0 για όλα τα B, τότε το A είναι επίπεδο (και επομένως Tor(A, B) = 0 για όλα τα i > 0).
Εάν Tor(A, B) = 0 για όλα τα A, τότε το B  είναι επίπεδο (και επομένως Tor(A, B) = 0 για όλα τα i > 0).
Σύμφωνα με τις γενικές ιδιότητες των παράγωγων συναρτητών, κάθε σύντομη ακριβής ακολουθία 0 → K → L → M → 0 των δεξιών R-προτύπων προκαλεί μια μακρά ακριβή ακολουθία της μορφήςWeibel (1994), Definition 2.1.1.  για κάθε αριστερό R-πρότυπο B. Η ανάλογη ακριβής ακολουθία ισχύει επίσης για το Tor σε σχέση με τη δεύτερη μεταβλητή.
Συμμετρία: για έναν αντιμεταθετικό δακτύλιο R, υπάρχει ένας φυσικός ισομορφισμός Tor(A, B) ≅ Tor(B, A).Weibel (1994), Remark in section 3.1. (Για R  αντιμεταθετικό, δεν υπάρχει ανάγκη να γίνει διάκριση μεταξύ αριστερών και δεξιών R-προτύπων.)
Εάν R είναι ένας αντιμεταθετικός δακτύλιος και u στο R δεν είναι διαιρέτης του μηδενός, τότε για κάθε R-πρότυπο B,  όπου είναι η u-στρέψη υποομάδα του B. Αυτή είναι η εξήγηση για το όνομα Tor.  Αν θεωρήσουμε το R ως τον δακτύλιο  των ακεραίων, αυτός ο υπολογισμός μπορεί να χρησιμοποιηθεί για τον υπολογισμό του  για κάθε πεπερασμένα παραγόμενη αβελιανή ομάδα A.
Γενικεύοντας το προηγούμενο παράδειγμα, μπορεί κανείς να υπολογίσει τις ομάδες Tor που περιλαμβάνουν το πηλίκο ενός αντιμεταθετικού δακτυλίου από οποιαδήποτε κανονική ακολουθία, χρησιμοποιώντας το complex Κοσζούλ.Weibel (1994), section 4.5. Λόγου χάριν, αν R  είναι ο πολυωνυμικός δακτύλιος k[x1, ..., xn] πάνω σε ένα σώμα k, τότε  είναι η εξωτερική άλγεβρα πάνω στο k σε n γεννήτορες στο Tor1.
   για όλα τα i ≥ 2. Ο λόγος: κάθε αβελιανή ομάδα A έχει μια ελεύθερη ανάλυση μήκους 1, αφού κάθε υποομάδα μιας ελεύθερης αβελιανής ομάδας είναι ελεύθερη αβελιανή.
 Γενικεύοντας το προηγούμενο παράδειγμα,   για όλα τα i ≥ 2 if  είναι ένας κύριος ιδανικός τομέας (PID).  Ο λόγος: κάθε πρότυπο A πάνω σε ένα PID έχει μια ελεύθερη ανάλυση μήκους 1, αφού κάθε υποπρότυπο ενός ελεύθερου προτύπου πάνω σε ένα PID είναι ελεύθερη.
Για κάθε δακτύλιο R, ο Tor διατηρεί άμεσες αθροίσεις (ενδεχομένως άπειρες) και φιλτραρισμένα οριακά όρια σε κάθε μεταβλητή.Weibel (1994), Corollary 2.6.17. Επί παραδείγματι, στην πρώτη μεταβλητή, αυτό σημαίνει ότι
Αλλαγή επίπεδης βάσης: για μια αντιμεταθετική επίπεδη R-άλγεβρα T, R-πρότυπα A και B, και έναν ακέραιο αριθμό i,Weibel (1994), Corollary 3.2.10.  Από αυτό προκύπτει ότι το Tor είναι αντιμεταθετικό με την εντόπιση. Δηλαδή, για ένα πολλαπλασιαστικά κλειστό σύνολο S in R, 
Για έναν αντιμεταθετικό δακτύλιο R και αντιμεταθετικές R-άλγεβρες A και B, το Tor(A,B) έχει τη δομή μιας βαθμωτής αντιμεταθετικής άλγεβρας πάνω στο R. Επιπλέον, τα στοιχεία του Tor άλγεβρας με μονό βαθμό έχουν τετράγωνο μηδέν, και υπάρχουν διαιρεμένες πράξεις δύναμης στα στοιχεία του θετικού ζυγού βαθμού.Avramov & Halperin (1986), section 2.16; .

Σημαντικές ειδικές περιπτώσεις

Η ομολογιακή ομάδα ορίζεται από   όπου G είναι μια ομάδα M είναι μια αναπαράσταση του G πάνω στους ακέραιους αριθμούς και   είναι ο δακτύλιος της ομάδας G.
Για μια άλγεβρα A πάνω σε ένα σώμα k και ένα A-διπρότυπο M, η ομολογία Χόχτσιλντ ορίζεται ως εξής:
Η ομολογία της άλγεβρας Λι ορίζεται από  , όπου   είναι μια άλγεβρα Λι πάνω σε ένα αντιμεταθετικό δακτύλιο R, M είναι ένα -πρότυπο, και  είναι η καθολική περιβάλλουσα άλγεβρα.
Για έναν αντιμεταθετικό δακτύλιο R με ομομορφισμό σε ένα σώμα k, είναι μια βαθμωτή-αντιμεταθετική άλγεβρα Χοπφ πάνω στο k.Avramov & Halperin (1986), section 4.7. (Αν R είναι ένας τοπικός Ναιτεριανός δακτύλιος με σώμα υπολοίπων k, τότε η δυϊκή άλγεβρα Χοπφ προς  είναι Ext(k,k).) Ως άλγεβρα,  είναι η ελεύθερη βαθμωτή-αντιμεταθετική άλγεβρα διαιρεμένης δύναμης σε έναν βαθμωτό διανυσματικό χώρο π*(R).Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1. Όταν το k έχει χαρακτηριστικό μηδέν, το π*(R) μπορεί να ταυτιστεί με την ομολογία Αντρέ-Κουίλεν D*(k/R,k).Quillen (1970), section 7.

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

 Δείτε επίσης 

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

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











Παραπομπές



Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556



 Categorical programming with inductive and coinductive types () by Varmo Vene
 Philip Wadler: Recursive types for free! () University of Glasgow, June 1990. Draft.
 Algebra and coalgebra () from CLiki
 B. Jacobs, J. Rutten: A Tutorial on (Co) Algebras and (Co) Induction. Bulletin of the European Association for Theoretical Computer Science, vol. 62, 1997, 
 Understanding F-Algebras () by Bartosz Milewski






  A handbook for study and research





 Πηγές 






 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.

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