Etiqueta de clasificación para un álgebra (u objeto algebraico) cuya categoría de módulos o representaciones es al menos tan complicada como la categoría de representaciones de dimensión finita de la álgebra asociativa libre en dos generadores; informalmente, los indecomponibles aparecen en familias paramétricas de complejidad arbitraria y una clasificación completa es tan difícil como clasificar pares de matrices por conjugación simultánea.

Principio

La salvajidad se caracteriza por la existencia de un funtor totalmente fiel y exacto que embebe la categoría de representaciones de la álgebra libre k (o una familia universal equivalente) en la categoría de módulos del álgebra dada, de modo que los problemas de clasificación de la álgebra libre se reducen a los del álgebra en cuestión.

Demostración

Escenario ilustrativo: ciertas álgebras de dimensión finita definidas por quivers con relaciones permiten construcciones que codifican pares arbitrarios de matrices; una vez establecido tal codificado, los indecomponibles forman familias parametrizadas por datos algebraicos arbitrarios, impidiendo una clasificación por lista finita.

Aplicación incorrecta

Describir un álgebra como salvaje basándose sólo en que es representación-infinita o en una complejidad heurística sin exhibir (o invocar la existencia de) una inmersión de una categoría salvaje; confundir salvajidad con mera falta de clasificación práctica.

Consecuencia

El tipo salvaje de representación implica que no existe una clasificación razonable por invariantes discretos: la clasificación de indecomponibles es al menos tan difícil como la clasificación de datos de álgebra lineal de complejidad arbitraria, llevando a la transferencia de indecidibilidad y familias 'paramétricamente infinitas'.

Inversión

Tipo de representación moderado (tame) o finito, donde los indecomponibles se clasifican por una lista finita más un número finito de familias parametrizadas de dimensión acotada, y no existe codificación de las representaciones de la álgebra libre.

Límite

Notión definida en función del cuerpo base y la categoría (habitualmente álgebras de dimensión finita sobre un cuerpo algebraicamente cerrado); existen distinciones entre salvaje, estrictamente salvaje y nociones de salvajidad derivada o estable; no se aplica a contextos sin una categoría de módulos representable.

Tensión semántica

Tensión con 'representación-infinita' y 'caótico': representación-infinita es necesaria pero no suficiente para salvajidad; 'salvaje' tiene un sentido preciso de reducción más que una mera idea cualitativa de dificultad.

Síntesis

El tipo de representación salvaje indica la presencia de una inmersión de una teoría de representaciones universal y altamente no clasificable en el objeto considerado, elevando su problema de representación al nivel de clasificación de datos de álgebra lineal arbitraria y señalando que el estudio estructural debe centrarse en invariantes cualitativos y técnicas de reducción en lugar de listas explícitas de indecomponibles.