## [Tipo de Representación Salvaje](/es/node/62472) Definición 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 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 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 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 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 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 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 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 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.