Der Repräsentationstyp einer (häufig endlichdimensionalen) Algebra ist das Klassifikationsinvariant, das angibt, ob die Isomorphieklassen der indekomposablen Moduln eine endliche Menge bilden (repräsentations‑endlich), eine Vereinigung aus endlich vielen 1‑Parameter‑Familien plus endlich vielen Ausnahmen (tam), oder Familien enthalten, die so kompliziert sind wie die Darstellung der freien Algebra in zwei Erzeugern (wild).

Prinzip

Unterscheidet Algebren nach der Komplexität ihrer Modulskategorie: endlich = vollständig klassifizierbare Liste, tam = klassifizierbar durch endlich viele 1‑Parameter‑Familien, wild = so schwierig wie die Klassifikation beliebiger Matrizenpaare bis auf simultane Ähnlichkeit.

Demonstration

Beispiel: Pfadalgebren von Dynkin‑Köchern (ADE) über einem algebraisch abgeschlossenen Körper sind repräsentations‑endlich; euklidische (erweiterte Dynkin) Köcher sind tam; die freie Algebra k und viele weitere Algebren sind wild, sodass ihre Indecomposables die allgemeinen Darstellungsprobleme umfassen.

Fehlanwendung

Eine Algebra als wild zu deklarieren, nur weil sie unendlich viele Indecomposables besitzt, ohne eine wilde Einbettung zu zeigen, oder tam mit dem Vorhandensein ausschließlich 1‑Parameter‑Familien zu verwechseln — tam kann auch diskrete unendliche Familien erlauben.

Konsequenz

Ist eine Algebra wild, so gibt es keine vernünftige Klassifikation der Indecomposables durch explizite Listen oder 1‑Parameter‑Familien (das Problem ist algorithmisch so schwer wie die Klassifikation von Matrizenpaaren); der endliche Typ erlaubt eine vollständige Klassifikation.

Umkehrung

Der Wechsel vom endlichen Typ zum wilden Typ kehrt die Klassifikationsaussichten um: endlicher Typ bedeutet vollständige Kontrolle, wilder Typ bedeutet Unzugänglichkeit und Universalität der Darstellungsprobleme.

Abgrenzung

Wird typischerweise für endlichdimensionalen Algebren über algebraisch abgeschlossenen Körpern und Modul‑Kategorien endlicher Länge formuliert; die Begriffe müssen für unendlichdimensionale Algebren, abgeleitete Kategorien oder nicht algebraisch abgeschlossene Basiskörper angepasst werden.

Semantische Spannung

Spannung zwischen groben kategorialen Messungen (endlich/tam/wild) und feineren Invarianten (z. B. abgeleitete Äquivalenz, stabile Äquivalenz): Zwei Algebren gleichen Repräsentationstyps können sehr unterschiedliche homologische Eigenschaften besitzen.

Synthese

Der Repräsentationstyp fasst die Komplexität der indekomposablen Moduln einer Algebra in drei qualitative Klassen — endlich, tam, wild — und zeigt an, ob eine explizite Klassifikation möglich oder prinzipiell unzugänglich ist.