Un treillis modulaire est un treillis satisfaisant l'identité modulaire : pour tous x, y, z avec x ≤ z, x ∨ (y ∧ z) = (x ∨ y) ∧ z. Cette condition est plus faible que la distributivité mais plus forte que les seuls axiomes de treillis ; elle contrôle l'interaction de join et meet lorsqu'un élément est inférieur à un autre.

Principe

Imposer une compatibilité unilatérale entre join et meet qui évite certaines configurations pathologiques tout en incluant de nombreux treillis algébriques (comme ceux des sous-espaces) ; la modularité capture une relaxation équilibrée de la distributivité adaptée aux structures de type linéaire.

Démonstration

Le treillis des sous-espaces d'un espace vectoriel est modulaire : si U ⊆ W sont sous-espaces et V un sous-espace quelconque, alors U + (V ∩ W) = (U + V) ∩ W, ce qui traduit l'identité modulaire en termes algébriques linéaires. De nombreux treillis issus de la théorie des modules sont modulaires.

Mauvaise application

Prendre la modularité pour équivalente à la distributivité induit des erreurs : par exemple, supposer que les treillis modulaires admettent les mêmes décompositions en joins d'irréductibles que les treillis distributifs est faux, et les identités distributives utilisées dans des preuves disparaissent.

Conséquence

La modularité permet des arguments de type dimension et de nombreux théorèmes structurels (p.ex. raffinement de chaînes, décompositions à la Jordan–Hölder dans des contextes modulaires) tout en restant suffisamment large pour englober les treillis de sous-espaces et de modules.

Inversion

Supprimer la modularité ramène aux treillis généraux avec moins de contraintes ; imposer la distributivité complète donne une classe strictement plus petite avec de plus fortes propriétés de décomposition et de représentation.

Limite

La modularité concerne des triples avec la relation d'ordre x ≤ z ; elle n'implique ni distributivité, ni complémentation, ni atomicité. Il existe des treillis modulaires non distributifs et des treillis distributifs modulaires ; les propriétés sont indépendantes sauf sous hypothèses additionnelles.

Tension sémantique

La modularité se situe entre treillis généraux et treillis distributifs : c'est souvent l'hypothèse correcte en contextes algébriques linéaires où la distributivité échoue mais où une interaction contrôlée entre sommes et intersections demeure ; distinguer modulaire et distributif est crucial pour appliquer des théorèmes de représentation.

Synthèse

Un treillis modulaire est un treillis avec une contrainte unilatérale de distributivité (la loi modulaire) qui formalise l'interaction maîtrisée de join et meet lorsque des éléments sont ordonnés, capturant de nombreux treillis linéaires et module-théoriques tout en autorisant des comportements interdits par la distributivité complète.