El tipo de representación de un álgebra (habitualmente de dimensión finita) es el invariante de clasificación que indica si las clases de isomorfismo de módulos indecomponibles forman un conjunto finito (representación finita), una unión de finitamente muchas familias uniparamétricas más excepciones finitas (tame), o incluyen familias tan complicadas como las representaciones de la álgebra libre en dos generadores (wild).

Principio

Distingue álgebras por la complejidad de su categoría de módulos: finita = lista clasificable completa, tame = clasificable por familias uniparamétricas, wild = tan difícil como clasificar pares de matrices hasta semejanza simultánea.

Demostración

Ejemplo: Las álgebras de caminos de quivers de Dynkin (ADE) sobre un cuerpo algebraicamente cerrado son de tipo finito; los quivers euclídeos (Dynkin extendidos) son tame; la álgebra libre k y muchas otras son wild, de modo que su clasificación de indecomponibles engloba problemas algebraicos generales.

Aplicación incorrecta

Declarar un álgebra wild solo porque tiene infinitos indecomponibles sin demostrar un embedding wild, o confundir tame con tener únicamente familias uniparamétricas — los casos tame pueden admitir también familias discretas infinitas de ciertas clases.

Consecuencia

Si un álgebra es wild no existe una clasificación razonable de los indecomponibles por listas explícitas o familias uniparamétricas (el problema es tan difícil algorítmicamente como clasificar pares de matrices); el tipo finito permite clasificación completa y tablas explícitas.

Inversión

Pasar de tipo finito a tipo wild invierte la perspectiva: tipo finito da control total, tipo wild implica intratabilidad y universalidad de los problemas de representación.

Límite

Se formula típicamente para álgebras de dimensión finita sobre cuerpos algebraicamente cerrados y categorías de módulos de longitud finita; las nociones deben adaptarse para álgebras de dimensión infinita, categorías derivadas o si el cuerpo base no es algebraicamente cerrado.

Tensión semántica

Tensión entre medidas categóricas gruesas (finito/tame/wild) e invariantes más finos (p. ej. equivalencia derivada, equivalencia estable): dos álgebras del mismo tipo de representación pueden presentar comportamientos homológicos muy distintos.

Síntesis

El tipo de representación condensa la complejidad de los módulos indecomponibles de un álgebra en tres clases cualitativas — finito, tame, wild — y orienta sobre la factibilidad de una clasificación explícita frente a una dificultad intrínseca.