Diskussion:Exakter Funktor
Additiver Funktor
[Quelltext bearbeiten]Wieso sollen links/rechts-exakte Funktoren per definitionem additiv sein? Man kann zeigen, dass halb-exakte Funktoren additiv sind. Ich werde das entsprechend ändern.--FerdiBf (Diskussion) Diskussion:Exakter Funktor#c-FerdiBf-2012-07-01T09:26:00.000Z-Additiver Funktor11
- Ich habe das wie angekündigt geändert und den Artikel bei dieser Gelegenheit bequellt.--FerdiBf (Diskussion) Diskussion:Exakter Funktor#c-FerdiBf-2012-07-01T12:13:00.000Z-FerdiBf-2012-07-01T09:26:00.000Z11
Ist ein halbexakter Funktor nun per Definition additiv oder nicht? Entweder muss additiv aus der Definition gestrichen werden oder der letzte Satz aus dem Abschnitt Definition ist trivial und gehört gestrichen. --84.132.161.36 Diskussion:Exakter Funktor#c-84.132.161.36-2014-06-13T16:20:00.000Z-Additiver Funktor11
Beispiele: Hom-Funktor, Tensorproduktfunktor
[Quelltext bearbeiten]Ich bin mir ziemlich sicher, das zwar Hom(A,-) linksexakt, aber Hom(-,B) rechtsexakt sind (zZ steht beide linksexakt). So schreibt das auch die englische Wikipedia. Ich werde es deswegen aendern, aber ich hab den Verdacht das ein aehnlicher Fehler bei den Tensorproduktfunktoren unterlaufen ist - kann das jemand nochmal nachpruefen? (nicht signierter Beitrag von 88.217.50.19 (Diskussion) Diskussion:Exakter Funktor#c-88.217.50.19-2014-04-02T18:46:00.000Z-Beispiele: Hom-Funktor, Tensorproduktfunktor11)
Nachdem meine Aenderung mit Verweis auf http://mathworld.wolfram.com/ExactFunctor.html revertiert wurde: Angegebene Seite ist in der Tat korrekt. Man sollte sie aber auch genau lesen: "For every module M over a unit ring R, the covariant functor Hom_R(M,-) and the contravariant functor Hom_R(-,M) are left exact;" Der contravariante Funktor, nich der normale (covariante) Funktor ist linksexakt! Ein paar Zeilen obendrueber steht:
"A covariant functor is called left exact if it preserves the exactness of all sequences 0-->A-->B-->C,
and it is called right exact if it preserves the exactness of all sequences A-->B-->C-->0.
("Left" and "right" are interchanged in the corresponding definitions for contravariant functors.)"
Damit ist klar, das der Covariante Funktor Hom(-,B) rechtsexakt ist. Das ist dann auch im Einklang mit http://www.algeo.math.fau.de/fileadmin/algeo/users/meusburger/Teaching/vertiefungsmodul/algebra2.pdf , http://www.algeo.math.fau.de/fileadmin/algeo/users/fiebig/Skripten/Skript_Alg2.pdf und der Tatsache das ich es hier extra nochmal nachgerechnet habe. (nicht signierter Beitrag von 88.217.40.30 (Diskussion) Diskussion:Exakter Funktor#c-88.217.40.30-2014-04-15T00:24:00.000Z-Beispiele: Hom-Funktor, Tensorproduktfunktor11)
- Hallo, ich habe jetzt nicht in deine Skripten geschaut (Seitenzahlen wären toll), aber was soll denn bitte der „covariante Funktor Hom(-,B)“ sein? Wenn es so etwas wirklich geben sollte, dann ist der hier sicher nicht gemeint, sondern der contravariante aus dem Artikel Hom-Funktor. Siehe z. B. auch hier. Grüße -- HilberTraum (Diskussion) Diskussion:Exakter Funktor#c-HilberTraum-2014-04-15T06:10:00.000Z-88.217.40.30-2014-04-15T00:24:00.000Z11