Abelsche Kategorie

Im mathematischen Teilgebiet der Algebra und angrenzenden Gebieten versteht man unter einer abelschen Kategorie eine Kategorie, die sich in einigen wesentlichen Aspekten wie die Kategorie der abelschen Gruppen verhält. In geringerem Umfang gilt dies auch für additive Kategorien.

Definition

Es sei <math>\mathcal C</math> eine Kategorie und für alle Objekte <math>X,Y\in\operatorname{Ob}\mathcal C</math> existiere eine binäre Operation <math>+_{XY}</math> auf der Morphismenmenge <math>\operatorname{Hom}_{\mathcal C}(X,Y)</math>, sodass <math>(\operatorname{Hom}_{\mathcal C}(X,Y),+_{XY})</math> eine Abelsche Gruppe bilde.

Dann ist <math>\mathcal C</math> eine präadditive Kategorie, wenn folgende Bedingung erfüllt ist:

Die Komposition von Morphismen ist biadditiv, d. h. für Morphismen <math>f,f_1,f_2\in \operatorname{Hom}_{\mathcal C}(X,Y)</math> und <math>g,g_1,g_2\in \operatorname{Hom}_{\mathcal C}(Y,Z)</math> gilt <math>g\circ(f_1 + f_2) = (g\circ f_1)+(g\circ f_2)</math> bzw. <math>(g_1+g_2)\circ f = (g_1\circ f)+(g_2\circ f)</math>, wobei die Additionen in den Morphismengruppen jeweils mit demselben Symbol <math>+</math> bezeichnet sind.

<math>\mathcal C</math> ist eine additive Kategorie, wenn sie präadditiv ist und zusätzlich die folgenden Bedingungen erfüllt sind:

Es gibt ein Nullobjekt.
Es gibt endliche Produkte.

<math>\mathcal C</math> ist eine abelsche Kategorie, wenn sie präadditiv ist und zusätzlich die folgenden (stärkeren) Bedingungen erfüllt sind:

Es gibt ein Nullobjekt.
Es gibt (endliche) Biprodukte, d. h. zu je zwei Objekten <math>X_1,X_2</math> gibt es ein Objekt <math>X_1\oplus X_2</math> zusammen mit Morphismen <math>p_\nu\colon X_1\oplus X_2\to X_\nu</math> und <math>i_\nu\colon X_\nu\to X_1\oplus X_2</math> für <math>\nu=1,2</math>, sodass <math>p_\nu\circ i_\nu=\operatorname{id}_{X_\nu}</math> und <math>i_1\circ p_1+i_2\circ p_2=\operatorname{id}_{X_1\oplus X_2}</math>. Insbesondere bildet <math>X_1\oplus X_2</math> mit <math>p_\nu</math> ein Produkt und mit <math>i_\nu</math> ein Koprodukt.

Es gibt Kerne und Kokerne.
Jeder Monomorphismus ist ein Kern, jeder Epimorphismus ein Kokern.

Bedeutung

Abelsche Kategorien sind ein wichtiges Werkzeug, um Aussagen über abelsche Gruppen zu verallgemeinern; so gelten beispielsweise das Fünferlemma oder das Schlangenlemma in jeder abelschen Kategorie. Abelsche Kategorien sind auch der natürliche Kontext für die homologische Algebra.

Eigenschaften

Für abelsche Kategorien gilt:

Die Kategorie ist ausgeglichen: Ein Morphismus ist genau dann ein Isomorphismus, wenn er ein Monomorphismus und ein Epimorphismus, also ein Bimorphismus, ist.
Jeder Morphismus besitzt eine im Wesentlichen eindeutige Faktorisierung <math>i\circ p</math> in einen Epimorphismus <math>p</math> und einen Monomorphismus <math>i</math>.
Die Homomorphie- und Isomorphiesätze gelten.

Beispiele

Präadditive Kategorien:

Jeder unitäre Ring ist die Morphismenmenge einer präadditiven Kategorie mit einem einzigen Objekt. Wenn der Ring mehr als ein Element hat, so ist diese Kategorie nicht additiv, denn es gibt kein Nullobjekt. Es gibt überhaupt nur ein Objekt und darin enden mehrere Pfeile, so dass dieses kein Nullobjekt sein kann.

Additiv ist:

Die Kategorie Div der teilbaren Gruppen: Der Kern eines Homomorphismus <math>f\colon \Q/\Z\to G</math> ist stets das Nullobjekt (mit Nullhomomorphismus), selbst dann, wenn <math>f</math> nicht injektiv ist. Daher ist die kanonische Projektion <math>\pi\colon\Q\to\Q/\Z</math> kein Kern, obwohl es sich andererseits um einen Monomorphismus handelt. Daher ist diese Kategorie nicht abelsch.

Abelsch sind beispielsweise:

Die Kategorie Ab der abelschen Gruppen.
Die Kategorie der <math>K</math>-Vektorräume für einen Körper <math>K</math>.
Die Kategorie der <math>A</math>-Moduln für einen Ring <math>A</math>.
Die Kategorie der Garben abelscher Gruppen auf einem topologischen Raum.
Die Kategorie der endlichen abelschen Gruppen, die Kategorie der endlich erzeugten abelschen Gruppen, allgemeiner die Kategorie der endlich erzeugten Moduln über einem noetherschen Ring.

Einbettungssätze

Die enge Verwandtschaft zu den abelschen Gruppen geht so weit, dass man Objekte einer abelschen Kategorie mithilfe eines geeigneten Funktors als spezielle abelsche Gruppen auffassen kann (Einbettungssatz von Mitchell):

Für jede kleine abelsche Kategorie <math>\mathcal C</math> gibt es einen exakten treuen Funktor <math>\mathcal C\to\mathbf{Ab}</math>.
Für jede kleine abelsche Kategorie <math>\mathcal C</math> gibt es einen Ring <math>A</math> und einen volltreuen exakten Funktor von <math>\mathcal C</math> in die Kategorie der <math>A</math>-Moduln.

Geschichte

Erste Ansätze zur Definition des Begriffes „abelsche Kategorie“ stammen von S. Eilenberg und S. Mac Lane aus den frühen 50er Jahren. Der Durchbruch gelang jedoch erst mit A. Grothendiecks epochemachendem Artikel Sur quelques points d'algèbre homologique aus dem Jahre 1957.

Literatur

Peter Freyd: Abelian Categories. An Introduction to the Theory of Functors. Harper & Row, New York NY u. a. 1964.
{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = @@@
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Tohoku Mathematical Journal
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Grothendieck|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}

{{#invoke:Vorlage:Literatur|f}}