Köcher (Mathematik)

aus Wikipedia, der freien Enzyklopädie

In der Mathematik bezeichnet ein Köcher einen gerichteten Graphen, d.h. ein Köcher Q besteht aus einer Menge Q₀ von Punkten und einer Menge Q₁ von Pfeilen, sowie zwei Abbildungen , die jedem Pfeil seinen Startpunkt (s für source) bzw. seinen Zielpunkt (t für target) zuordnen.

Die Bezeichnung eines gerichteten Graphen als Köcher ist nur in der Darstellungstheorie üblich.

Inhaltsverzeichnis 1 Darstellung eines Köchers 1.1 Beispiel 1.2 Eigenschaften 1.3 Satz von Gabriel 1.4 Auslander-Reiten-Theorie 2 Literatur

[Bearbeiten] Darstellung eines Köchers

In der Darstellungstheorie besteht eine Darstellung eines Köchers Q aus einer Familie von Vektorräumen und einer Familie von Vektorraumhomomorphismen. Die Vektorräume sollen dabei solche über einem fest gewählten Körper sein.

Ein Morphismus, f:V − > V' zwischen zwei Darstellungen eines Köchers Q ist eine Familie linearer Abbildungen , so dass für jeden Pfeil von i nach j gilt: V'(a)f(i) = f(j)V(a). Ein Morphismus ist ein Isomorphimus, wenn f(i) für jeden Punkt i des Köchers invertierbar ist.

Mit Hilfe dieser Definitionen bilden die Darstellungen eines Köchers eine Kategorie.

[Bearbeiten] Beispiel

Darstellung eines Köchers mit zwei Vektorräumen V₁,V₂ und einem Vektorraumhomomorphismus .

[Bearbeiten] Eigenschaften

Mit wird der dem Köcher Q zugrunde liegende ungerichtete Graph bezeichnet (d.h. anschaulich einfach: man macht die Pfeile zu Kanten). Ein Köcher heißt zusammenhängend, wenn der zugrunde liegende ungerichtete Graph zusammenhängend ist.

Eine Darstellung eines Köchers heißt zerlegbar, wenn sie entweder trivial ist (d.h. nur aus Null-Vektorräumen und Null-Morphismen besteht) oder wenn sie als direkte Summe zweier nicht-trivialer Unterdarstellungen geschrieben kann. Andernfalls heißt die Darstellung unzerlegbar.

Ein Köcher ist von endlichem Darstellungstyp, wenn er bis auf Isomorphie nur endlich viele unzerlegbare Darstellungen hat.

[Bearbeiten] Satz von Gabriel

Ein Köcher Q ist genau dann von endlichem Darstellungstyp, wenn ein Dynkin-Diagramm ist.

[Bearbeiten] Auslander-Reiten-Theorie

Zu einer endlich-dimensionalen K-Algebra über einem Körper K kann ein sog. Auslander-Reiten-Köcher definiert werden, wobei die Punkte des Köchers die Isomorphieklassen unzerlegbarer Moduln der K-Algebra und die Pfeile sog. irreduzible Abbildungen zwischen den Moduln sind. Die Auslander-Reiten-Theorie führt damit schließlich Methoden der Homologietheorie in die Darstellungstheorie von Köchern ein.

[Bearbeiten] Literatur

• Ibrahim Assem et al.: Elements of representation theory of associative algebras. Cambridge University Press, 2006. ISBN 0-521-58423-X