## [Álgebra Subdirectamente Irreducible](/es/node/62446) Definición Un álgebra es subdirectamente irreducible (SI) si no puede representarse de forma no trivial como un producto subdirecto de otras álgebras; equivalentemente, posee una congruencia no trivial mínima (el monolito), es decir, entre las congruencias distintas de la diagonal existe una única mínima. ## Principio Principio El principio estructural es la minimalidad de las congruencias no triviales: la existencia de una congruencia no trivial mínima impide descomposiciones subdirectas no triviales e identifica el álgebra como un bloque elemental en la teoría de representaciones subdirectas. ## Demostración Demostración Toda álgebra simple (solo congruencias trivial y total) es SI porque la congruencia total es la única no trivial; ejemplos más sutis aparecen en teoría de retículos donde ciertos retículos finitos tienen una congruencia no trivial mínima y por tanto son SI. En variedades, el teorema de representación subdirecta de Birkhoff muestra que cualquier álgebra se descompone en productos subdirectos de álgebras SI. ## Aplicación incorrecta Aplicación incorrecta Confundir SI con simplicidad u otras nociones de irreducibilidad: la simplicidad implica SI pero la recíproca puede fallar; otro uso indebido es considerar la condición SI invariante bajo extensiones arbitrarias: un álgebra puede dejar de ser SI al añadirse operaciones o al cambiar la variedad. ## Consecuencia Consecuencia Identificar los miembros SI de una variedad proporciona los componentes indecomponibles para la descomposición subdirecta y ayuda a clasificar la estructura de la variedad; las álgebras SI sirven frecuentemente como átomos para los teoremas de representación y para estudiar retículos de congruencias e identidades. ## Inversión Inversión Un álgebra subdirectamente reducible admite una representación como producto subdirecto no trivial de dos o más álgebras no triviales; equivalentemente carece de una congruencia no trivial mínima y por tanto puede 'construirse' a partir de componentes más pequeños. ## Límite Límite SI se define respecto a la clase o variedad ambiente: un álgebra puede ser SI en una variedad y descomponerse en una más amplia. La noción presupone una estructura de congruencias no trivial; el álgebra trivial de un elemento suele quedar al margen porque no tiene congruencias no triviales. ## Tensión semántica Tensión semántica Los significados cercanos son 'simple' (ausencia de congruencias no triviales) y nociones categóricas de 'indecomponible' (por ejemplo indecomponibilidad directa); SI se centra específicamente en el retículo de congruencias y en factorizaciones subdirectas, no en la indecomponibilidad general. ## Síntesis Síntesis Una álgebra subdirectamente irreducible es un átomo desde la perspectiva de congruencias: tiene una congruencia no trivial mínima (el monolito) que impide descomposiciones subdirectas no triviales, y las álgebras SI constituyen los constituyentes elementales en la representación subdirecta de las álgebras de una variedad.