Eine Klasse von endlichdimensionalen Algebren, deren Modulklassifikationsproblem mindestens so kompliziert ist wie die Klassifikation der endlichdimensionalen Darstellungen der freien assoziativen Algebra in zwei nichtkommutierenden Variablen; äquivalent bedeutet dies, dass die Kategorie der endlichdimensionalen Module eine Darstellungsembedding der Modul-Kategorie der freien Algebra k enthält, sodass beliebig komplizierte Zwei-Parameter-Familien von Indecomposablem codiert werden können.

Prinzip

Kann eine Algebra die Darstellungstheorie der freien Zweivariablenalgebra simulieren, dann bilden ihre indekomposablen Module Familien, die zu reich sind, um durch diskrete oder eindimensionale Invarianten vollständig sinnvoll klassifiziert zu werden.

Demonstration

Konkretes Beispiel: die freie Algebra k selbst ist wild; viele endlichdimensionale Algebren, die geeignete zwei-Erzeuger-Untermengen enthalten oder funktoriell Embeddings von k-Mod zulassen, sind wild. Man konstruiert typischerweise einen Funktor von k-Mod nach A-Mod, der Indecomposability und Nicht-Isomorphie erhält und so beliebig komplexe Zwei-Parameter-Familien liefert.

Fehlanwendung

Als 'wild' zu bezeichnen, nur weil eine Algebra unendlichdimensional ist oder unendlich viele Indecomposable besitzt, ist ein Missbrauch; Wildheit bezeichnet die Fähigkeit, das Repräsentationsproblem der freien Zweivariablenalgebra zu kodieren, nicht lediglich Unendlichkeit oder naive Komplexität.

Konsequenz

Ist eine Algebra wild, besteht keine Aussicht auf eine vollständige, praktikable Klassifikation aller endlichdimensionalen indekomposablen Module bis auf Isomorphie; stattdessen arbeitet man mit partiellen Invarianten, beschreibt Familien oder konzentriert sich auf spezielle Unterklassen (z. B. exzeptionelle oder rigide Module).

Umkehrung

Das Gegenstück ist ein tamer oder darstellungsendlicher Algebra-Typ, bei dem Indecomposable in endlich vielen diskreten oder eindimensionalen Familien vorkommen und eine Klassifikation nach Familien möglich ist.

Abgrenzung

Geltungsbereich und Ausschlüsse: Wildheit ist eine Eigenschaft, die für endlichdimensionale Algebren oder Artin-Algebren über einem algebraisch abgeschlossenen Körper (oder ähnlichen Kontexten mit sinnvoller Darstellungsembedding) definiert ist; sie gilt nicht für beliebige Kategorien ohne Begriff von endlichdimensionalem Modul oder für Probleme, die nur nach Kardinalität bewertet werden.

Semantische Spannung

Die semantische Spannung besteht zwischen allgemeiner 'Komplexität' und der speziellen Universalitätseigenschaft von Wildheit: eine Algebra kann komplex sein, ohne die universelle Einbettungseigenschaft zu besitzen, die Wildheit kennzeichnet.

Synthese

Wilder Darstellungstyp bezeichnet Algebren, deren Modul-Kategorien so universell sind, dass sie die Repräsentationsklassifikation von k kodieren können, was Familien von Indecomposablem mit mindestens zwei wesentlichen Parametern zur Folge hat und eine vollständige Klassifikation durch einfache Invarianten ausschließt.