Abelsche Kategorie

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.

Inhaltsverzeichnis

Definition

Es sei \mathcal C eine Kategorie zusammen mit der Struktur einer abelschen Gruppe auf jeder Morphismenmenge \operatorname{Hom}_{\mathcal C}(X,Y) für Objekte X,Y\in\operatorname{Ob}\mathcal C, so dass die Komposition von Morphismen biadditiv ist.

\mathcal C ist eine additive Kategorie, wenn die folgenden Bedingungen erfüllt sind:

\mathcal C ist eine abelsche Kategorie, wenn die folgenden (stärkeren) Bedingungen erfüllt sind:

  • Es gibt ein Nullobjekt.
  • Es gibt (endliche) Biprodukte, d.h. zu je zwei Objekten X1,X2 gibt es ein Objekt X_1\oplus X_2 zusammen mit Morphismen p_\nu\colon X_1\oplus X_2\to X_\nu und i_\nu\colon X_\nu\to X_1\oplus X_2 für ν = 1,2, so dass
p_\nu\circ i_\nu=\operatorname{id}_{X_\nu} und i_1\circ p_1+i_2\circ p_2=\operatorname{id}_{X_1\oplus X_2}
gilt und dass X_1\oplus X_2 mit pν ein Produkt bildet und mit iν ein Koprodukt.

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:

  • Ein Morphismus ist genau dann ein Isomorphismus, wenn er ein Monomorphismus und ein Epimorphismus ist.
  • Jeder Morphismus besitzt eine im Wesentlichen eindeutige Faktorisierung i\circ p in einen Epimorphismus p und einen Monomorphismus i.
  • Die Homomorphie- und Isomorphiesätze gelten.

Beispiele

Abelsch sind beispielsweise:

Lediglich additiv ist:

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

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:

  • Für jede kleine abelsche Kategorie \mathcal C gibt es einen exakten treuen Funktor \mathcal C\to\mathbf{Ab}.
  • Für jede kleine abelsche Kategorie \mathcal C gibt es einen Ring A und einen volltreuen exakten Funktor von \mathcal C in die Kategorie der A-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

  • A. Grothendieck, Sur quelques points d'algèbre homologique. Tohôku Math. J., II. Ser. 9, 119–221 (1957).
  • S. Mac Lane, Categories for the Working Mathematician. Springer-Verlag, New York 1971.
  • Peter Freyd, Abelian Categories. Harper & Row, New York and John Weatherhill, Tokyo 1964.

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Abelsche Gruppe — Eine abelsche Gruppe (nach dem norwegischen Mathematiker Niels Henrik Abel) ist in der Gruppentheorie eine Gruppe , für die das Kommutativgesetz  für alle   gilt. Ist eine Gruppe abelsch, dann schreibt man ihre Verknüpfung meist additiv …   Deutsch Wikipedia

  • Abelsche partielle Summation — In der Mathematik ist die abelsche partielle Summation (nach N. H. Abel) eine bestimmte Umformung einer Summe von Produkten jeweils zweier Zahlen. Inhaltsverzeichnis 1 Aussage 2 Abelsche Ungleichung 3 Anwendungsbeispiel …   Deutsch Wikipedia

  • Abelsche Integralgleichung — Die abelsche Integralgleichung ist eine spezielle volterrasche Integralgleichung 1. Art. Sie hat die Form: . wobei f vorgegeben ist und u die gesuchte Funktion ist. Die volterrasche Integralgleichung 1. Art ist allgemeiner als definiert mit einer …   Deutsch Wikipedia

  • Abelsche Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum …   Deutsch Wikipedia

  • Abelsche Identität — Die abelsche Identität ist ein Ausdruck für die Wronski Determinante zweier linear unabhängiger homogener Lösungen einer linearen gewöhnlichen Differentialgleichung zweiter Ordnung. Die Beziehung wurde 1827 von dem norwegischen Mathematiker Niels …   Deutsch Wikipedia

  • Endlich erzeugte abelsche Gruppe — Eine endlich erzeugte abelsche Gruppe ist eine abelsche Gruppe (G,+), in der es endlich viele Elemente gibt, sodass jedes in der Form geschrieben werden kann, wobei ganze Zahlen sind und die ni fache Verknüpfu …   Deutsch Wikipedia

  • Duale Kategorie — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Kleine Kategorie — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Geordnete abelsche Gruppe — Eine geordnete abelsche Gruppe ist eine mathematische Struktur. Es handelt sich um eine abelsche Gruppe, auf der zusätzlich eine mit der Gruppenstruktur verträgliche Ordnungsrelation gegeben ist, die man üblicher Weise mit bezeichnet (man liest… …   Deutsch Wikipedia

  • Freie abelsche Gruppe — In der Mathematik ist eine freie abelsche Gruppe eine abelsche Gruppe, die eine Basis hat. Das bedeutet, dass jedes Element der Gruppe auf genau eine Weise als Linearkombination von Elementen der Basis mit ganzzahligen Koeffizienten geschrieben… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”