Lexikon der Mathematik: Komplex abelscher Gruppen
eine Folge
Ein Komplex heißt nach unten (oben) beschränkt, falls Ci = 0 für i ≪ 0 (i ≫ 0). Ein Komplex heißt beschränkt, falls er sowohl nach oben als auch nach unten beschränkt ist. Ein Komplex heißt positiv (negativ), falls Ci = 0 für i< 0 (i > 0).
Für jeden Komplex C• kann für n ∈ ℤ die n-te Homologiegruppe
Ein Komplex heißt exakter Komplex oder auch exakte Sequenz, bzw. lange exakte Sequenz, falls Hn(C•) = 0 für alle n. Ein positiver Komplex heißt azyklischer Komplex, falls Hn(C•) = 0 für n ≥ 1, d. h. alle Homologiegruppen verschwinden bis eventuell auf H0(C•).
Die eingeführten Begriffsbildungen sind sinnvoll für Komplexe mit Objekten und Morphismen aus einer beliebigen abelschen Kategorie. Von spezieller Bedeutung sind die Komplexe von Vektorräumen, Komplexe von Moduln über einem kommutativen Ring und Komplexe von Garben abelscher Gruppen. Den Homologiegruppen entsprechen dann jeweils Objekte in der zugrunde gelegten Kategorie. Es gibt auch den dualen Begriff des Kokomplexes. Dieser wird manchmal ebenfalls als Komplex bezeichnet.
Zusammen mit den Komplexmorphismen als Morphismen bilden die Komplexe eine abelsche Kategorie. Die Zuordnung der n-ten Homologiegruppe ist ein Funktor.
Ein wichtiges Beispiel für einen Komplex wird gegeben durch den simplizialen Kettenkomplex. Ausgehend von der Triangulierung durch Simplizes einer triangulierbaren topologischen Mannigfaltigkeit wird als Ci die freie abelsche Gruppe, erzeugt durch die orientierten i-Simplizes, gewählt. Der Randoperator di, angewandt auf einen i-Simplex, ergibt die orientierten Randkomponenten des Simplex.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.