Clase de álgebras de dimensión finita cuyo problema de clasificación de módulos es al menos tan complicado como clasificar las representaciones de dimensión finita de la álgebra asociativa libre en dos variables no conmutativas; equivalente a que la categoría de módulos de dimensión finita admite un empotramiento de representación de la categoría de módulos de la álgebra libre k, de modo que se pueden codificar familias arbitrarias de indecomponibles con dos parámetros.

Principio

Si un álgebra puede simular la teoría de representaciones del álgebra libre en dos variables, sus módulos indecomponibles forman familias demasiado ricas para admitir una clasificación completa y manejable por invariantes discretos o de un parámetro.

Demostración

Ejemplo concreto: la propia álgebra libre k es salvaje; muchas álgebras finito-dimensionales que contienen subestructuras de dos generadores adecuadas o que admiten empotramientos desde k-mod son salvajes. En la práctica se construye un funtor de k-módulos a módulos sobre el álgebra que preserva indecomponibilidad y no-isomorfismo, generando familias complicadas de dos parámetros.

Aplicación incorrecta

Usar 'salvaje' simplemente porque un álgebra es de dimensión infinita o porque tiene infinitos indecomponibles es un uso indebido; la salvajidad se refiere a la capacidad de codificar el problema de la álgebra libre en dos variables, no a una mera infinitud o complejidad medida de forma ingenua.

Consecuencia

Cuando un álgebra es salvaje, no hay perspectiva de una clasificación completa y manejable de todos los módulos indecomponibles finito-dimensionales hasta isomorfismo; en su lugar se trabaja con invariantes parciales, familias o se describen subclases específicas (por ejemplo, módulos excepcionales o rígidos).

Inversión

La noción inversa es la de álgebra de tipo tame o de representación finita, donde los indecomponibles aparecen en un número finito de familias discretas o en familias de un parámetro, y es factible una clasificación por familias.

Límite

Ámbito y exclusiones: la salvajidad es una propiedad definida para álgebras de dimensión finita o álgebras de Artin sobre un cuerpo algebraicamente cerrado (o entornos similares en los que un empotramiento de representación tenga sentido); no se aplica a categorías arbitrarias sin una noción de módulo finito-dimensional ni a problemas valorados solo por cardinalidad.

Tensión semántica

La tensión semántica aparece entre nociones de 'complejidad': un álgebra puede ser compleja desde puntos de vista homológicos o combinatorios sin ser salvaje, mientras que un álgebra salvaje tiene la propiedad de universalidad concreta de poder codificar representaciones de la álgebra libre.

Síntesis

El tipo de representación salvaje identifica álgebras cuyas categorías de módulos son lo suficientemente universales para codificar la clasificación de representaciones de k, implicando la existencia de familias de indecomponibles con al menos dos parámetros esenciales y la inviabilidad de una clasificación completa por invariantes elementales.