## [Retículo Modular](/es/node/62331) Definición Un retículo modular es un retículo que satisface la identidad modular: para todo x, y, z con x ≤ z, x ∨ (y ∧ z) = (x ∨ y) ∧ z. Esta condición es más débil que la distributividad pero más fuerte que los axiomas de retículo, y regula cómo interactúan join y meet cuando un elemento está por debajo de otro. ## Principio Principio Imponer una compatibilidad unilateral entre join y meet que evite configuraciones patológicas pero permita incluir muchos retículos algebraicos (como los de subespacios); la modularidad representa una relajación equilibrada de la distributividad apropiada para estructuras de tipo lineal. ## Demostración Demostración El retículo de subespacios de un espacio vectorial es modular: si U ⊆ W son subespacios y V es cualquier subespacio, entonces U + (V ∩ W) = (U + V) ∩ W, que es la identidad modular en términos del álgebra lineal. Muchos retículos que surgen de la teoría de módulos son modulares. ## Aplicación incorrecta Aplicación incorrecta Tratar la modularidad como equivalente a la distributividad conduce a errores: por ejemplo, asumir que los retículos modulares admiten las mismas descomposiciones en join de irreducibles que los retículos distributivos es falso, y las conclusiones que dependen de identidades distributivas no se sostienen. ## Consecuencia Consecuencia La modularidad permite argumentos tipo dimensión y muchos teoremas estructurales (p. ej. refinamiento de cadenas, descomposiciones estilo Jordan–Hölder en contextos modulares) y a la vez es lo suficientemente amplia para abarcar retículos de subespacios y de módulos. ## Inversión Inversión Abandonar la modularidad vuelve a retículos generales con menos restricciones; imponer la distributividad completa produce una clase estrictamente menor con propiedades más fuertes de descomposición y representación. ## Límite Límite La modularidad es una condición sobre triples con la relación de orden x ≤ z; no implica distributividad, complementación ni atomicidad. Existen retículos modulares no distributivos y retículos distributivos que son modulares; las propiedades son independientes salvo con hipótesis adicionales. ## Tensión semántica Tensión semántica La modularidad se sitúa entre retículos generales y distributivos: suele ser la hipótesis correcta en contextos lineales donde falla la distributividad pero persiste una interacción controlada entre sumas e intersecciones; distinguir modular de distributivo es crucial al aplicar teoremas de representación. ## Síntesis Síntesis Un retículo modular es un retículo con una restricción unilateral de distributividad (la ley modular) que formaliza la interacción templada de join y meet cuando los elementos están ordenados, capturando muchos retículos lineales y de módulos y permitiendo comportamientos vetados por la distributividad completa.