##  [Type de Représentation](/fr/node/63896) 

 Définition

Le type de représentation d'une algèbre (souvent de dimension finie) est l'invariant de classification qui indique si les classes d'isomorphisme des modules indécomposables forment un ensemble fini (type fini), une réunion de un nombre fini de familles à un paramètre plus quelques exceptions finies (tame), ou comprennent des familles aussi compliquées que les représentations de l'algèbre libre en deux générateurs (sauvage).

 

 

 

 

 

 





## Principe

Principe

Distingue les algèbres par la complexité de leur catégorie de modules : fini = liste classifiable complète, tame = classifiable par familles à un paramètre, sauvage = aussi difficile que classifier des paires de matrices simultanément par similarité.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : les algèbres de chemins des carquois de Dynkin (ADE) sur un corps algébriquement clos sont de type fini ; les carquois euclidiens (Dynkin étendus) sont tame ; l'algèbre libre k et beaucoup d'autres sont sauvages, si bien que leur classification des indécomposables englobe des problèmes algébriques arbitraires.

 

 

 

 

## Mauvaise application

Mauvaise application

Qualifier une algèbre de sauvage simplement parce qu'elle possède une infinité d'indécomposables sans montrer un plongement sauvage, ou confondre tame avec n'admettant que des familles à un paramètre — certaines situations tame admettent aussi des familles discrètes infinies de certaines tailles.

 

 

 

 

 





## Conséquence

Conséquence

Si une algèbre est sauvage, il n'existe pas de classification raisonnable des indécomposables par listes explicites ou familles à un paramètre (le problème est aussi difficile algorithmiquement que classifier des paires de matrices) ; le type fini permet une classification complète et des tables de modules explicites.

 

 

 

 

## Inversion

Inversion

Passer du type fini au type sauvage inverse la perspective de classification : le type fini donne un contrôle total, le type sauvage entraîne une intraitabilité et l'universalité des problèmes de représentation.

 

 

 

 

 





## Limite

Limite

Généralement formulé pour des algèbres de dimension finie sur des corps algébriquement clos et pour des catégories de modules de longueur finie ; les notions doivent être adaptées pour des algèbres de dimension infinie, des catégories dérivées, ou si le corps de base n'est pas algébriquement clos.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre mesures catégoriques grossières (fini/tame/sauvage) et invariants plus fins (p. ex. équivalences dérivées, équivalences stables) : deux algèbres du même type de représentation peuvent avoir des comportements homologiques très différents.

 

 

 

 

 





## Synthèse

Synthèse

Le type de représentation condenser la complexité des modules indécomposables d'une algèbre en trois classes qualitatives — fini, tame, sauvage — et guide l'aptitude à obtenir une classification explicite ou à reconnaître une difficulté intrinsèque.