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

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

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

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

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

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

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

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

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.