Wegealgebra

Wegealgebra

In der Mathematik liefern Wegealgebren eine Möglichkeit, Darstellungen von Köchern als Moduln aufzufassen und somit Ergebnisse, die für Moduln bekannt sind, auch auf Darstellungen von Köchern zu übertragen. Damit folgt zum Beispiel, dass jede endlich-dimensionale Darstellung eines endlichen Köchers ohne orientierte Kreise isomorph ist zu einer direkten Summe von unzerlegbaren Darstellungen (durch einfache Anwendung des Satzes von Krull-Remak-Schmidt).

Ein Weg (oder Pfad) in einem Köcher (=gerichteten Graphen) Q ist eine Folge a_1 a_2 a_3 \ldots a_n von Pfeilen ai, so dass die Spitze des (i + 1)-ten Pfeils den Anfang des i-ten Pfeils bildet, wobei Wege von rechts nach links hintereinandergehängt werden.

Die Wegealgebra (oder Pfadalgebra) KQ zu Q ist eine Algebra über einem Körper K und wie folgt definiert: Als Vektorraum ist sie der K-Vektorraum, der als Basis alle Wege in Q hat, wobei die Multiplikation zweier Wege als Hintereinanderschaltung der Wege gegeben ist, falls man sie aneinanderhängen kann. Stimmt das Ende eines Weges β nicht mit dem Anfang des Weges α überein, so setzt man das Produkt αβ gleich Null. (Man beachte, dass auch das „Stehenbleiben“ an einem Punkt i einen Weg definiert, den trivialen Weg zum Punkt i.)

So erhält man eine assoziative Algebra über dem Körper K. Die Algebra besitzt genau dann ein Einselement, wenn der Köcher Q nur endlich viele Punkte hat, nämlich die Summe aller trivialen Wege zu allen Punkten. In diesem Fall kann man die KQ-Moduln auf natürliche Weise mit Darstellungen von Köchern identifizieren.

Hat der Köcher Q nur endlich viele Punkte und Pfeile und gibt es keine orientierten Kreise in ihm, so ist KQ eine endlich-dimensionale erbliche Algebra über K.

Literatur

  • M. Auslander, I. Reiten, S. Smalø: Representation theory of Artin algebras. Cambridge Studies in Advanced Mathematics, 36. Cambridge University Press, Cambridge, 1997. xiv+425 pp. ISBN 0-521-41134-3; ISBN 0-521-59923-7

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • Erblichkeit (Mathematik) — In der Mathematik liefert die Länge einer projektiven Auflösung eines Moduls über einem Ring R in einem gewissen Sinne ein Maß dafür, wie „kompliziert“ der Modul ist. Ein Ring R heißt erblich, wenn jeder Untermodul eines projektiven R Moduls… …   Deutsch Wikipedia

Share the article and excerpts

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