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

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

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

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

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

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

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

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

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.