Voir la source de Treillis modulaire

[[File:2d modular lattice.svg|thumb|Un treillis modulaire de dimension d'ordre 2. Comme tous les treillis finis de dimension 2 son [[diagramme de  Hasse]] est un graphe planaire.]]
Dans le cadre mathématique de la [[théorie des ordres]], un '''treillis modulaire''' est un [[treillis (ensemble ordonné)|treillis]] qui vérifie la condition auto-duale suivante 

'''Loi de modularité''' :

: <math>x \leq b</math>  implique  <math>x \vee(a \wedge b) = (x \vee a) \wedge b.</math>

Les treillis modulaires apparaissent en [[algèbre]] et dans de nombreux autres domaines des mathématiques. Par exemple, les [[sous-espace vectoriel|sous-espaces vectoriels]] d'un [[espace vectoriel]], et plus généralement les sous-modules d'un [[module sur un anneau]], forment un treillis modulaire.

Les treillis modulaires sont parfois appelés '''treillis de Dedekind''', d'après [[Richard Dedekind]], qui a formulé la loi de modularité.

== Introduction ==

Dans un treillis non modulaire, il peut exister des éléments <math>b</math>  qui vérifient la loi de modularité pour des éléments quelconques <math>a</math> et <math>x</math>, pourvu que <math>x\le b</math>. Un tel élément <math>b</math> est appelé un '''élément modulaire'''. Plus généralement, on peut considérer des couples <math>(a,b)</math> d'éléments qui vérifient la loi de modularité pour tous les éléments <math>x</math>. Un tel couple est appelée un '''couple modulaire''', et il existe plusieurs généralisations de la notion de modularité  liées à la notion de semi-modularité qui s'appuient sur ce concept.

La loi de modularité peut être vue comme une [[Associativité|loi associative]] restreinte entre les deux opérations d'un treillis, analogue à la loi associative <math>\lambda(\mu x) = (\lambda\mu)x</math>, pour les espaces vectoriels, entre la multiplication dans le corps de base et la multiplication scalaire dans l'espace. La restriction <math>x\le b</math> est nécessaire car elle résulte de l'équation 
: <math>x\vee (a \wedge b) = (x \vee a) \wedge b</math>.
On vérifie facilement que <math>x\le b</math> implique <math>x \vee (a \wedge b) \le (x \vee a) \wedge b</math> dans tout treillis. Par conséquent, la loi de modularité peut également être formulée comme suit :

; '''Loi de modularité (variante)''' :
: <math>x\le b</math>  implique  <math>x \vee (a \wedge b) \ge (x \vee a) \wedge b</math> .

Si on remplace <math>x</math> par <math>x\wedge b</math>, la loi de modularité peut être formulée comme suit par une équation sans implication :

; '''Loi de modularité (autre variante)''' :
: <math>(x \wedge b) \vee (a \wedge b) = \left[(x \wedge b) \vee a\right] \wedge b</math> .

Cela montre (en utilisation la terminologie d'[[algèbre universelle]]) que les treillis modulaires forment une sous-variété de la [[variété (algèbre)|variété]] des treillis. Par conséquent, toutes les images homomorphes, tous les sous-treillis et produits directs de treillis modulaires sont à nouveau modulaires.

== Exemples ==
[[Fichier:Smallest_nonmodular_lattice_2.svg|vignette|[[Diagramme de Hasse]] de <math>N_5</math>, le plus petit treillis non modulaire.]]
Tout treillis distributif est modulaire<ref name=":0"/>{{,}}<ref>En effet, dans un treillis distributif, la règle suivante s'applique : 
: <math>(a\wedge b)\vee (x\wedge b) = ((a\wedge b)\vee x)\wedge((a\wedge b)\vee b)</math>.
De plus, la loi d'absorption <math>(a\wedge b)\vee b = b</math> est valable dans tout treillis. En substituant cette expression à la deuxième conjonction de la partie droite, on obtient l'identité modulaire.</ref>.

Le plus petit treillis non modulaire est le « treillis pentagonal » <math>N_5</math> composé de cinq éléments <math>0,1,x,a,b</math> avec <math>0 < x < b < 1, 0 < a < 1</math>, et avec <math>a</math> incomparable à <math>x</math> ou à <math>b</math>. Pour ce treillis, on a
: <math>x \vee (a \wedge b) = x \vee 0 = x < b = 1 \wedge b = (x \vee a) \wedge b</math>, 
en contradiction avec la loi de modularité. Tout  treillis non modulaire contient une copie de <math>N_5</math> en tant que sous-treillis.

Le treillis des sous-modules d'un [[module sur un anneau]] est modulaire. En particulier, le treillis des sous-groupes d'un [[groupe abélien]] est modulaire.

Le treillis des [[sous-groupe normal|sous-groupes normaux]] d'un [[groupe (mathématiques)|groupe]] est modulaire. Mais en général, le [[treillis des sous-groupes]] d'un groupe n'est pas modulaire. Par exemple, le treillis des sous-groupes du [[groupe diédral]] d'ordre 8 n'est pas modulaire<ref name=":0">{{chapitre 
| url=https://link.springer.com/book/10.1007%2Fb139095 
| titre ouvrage=Lattices and Ordered Algebraic Structures 
| auteur1=T. S. Blyth 
| éditeur=Springer |année=2005 |isbn=978-1-85233-905-0 |collection = Universitext 
| titre=Modular lattices |doi=10.1007/1-84628-127-X_4}}.</ref>.

== Théorème d'isomorphisme en diamant ==
:<gallery heights="180px" widths="225px">
Modular pair.svg|Dans un treillis modulaire, les fonctions  <math>\phi</math> et <math>\psi</math> indiquées par les flèches sont des isomorphismes  inverses l'un de l’autre.
Not a modular pair.svg|Contre-exemple au théorème d'isomorphisme en diamant dans un treillis non modulaire
</gallery>
Pour  deux éléments quelconques  <math>a,b</math> d'un treillis modulaire, on considère les intervalles <math>\left[a \wedge b, b\right]</math> et <math>\left[a, a \vee b\right]</math>. Les applications 

: <math>\phi\colon \left[a \wedge b, b\right] \to \left[a, a \vee b\right]</math> et
: <math>\psi\colon \left[a, a \vee b\right] \to \left[a \wedge b, b\right]</math> 

définies par <math>\phi(x) = x \vee a</math> et <math>\psi(x) = x \wedge b</math> préservent l'ordre entre ces intervalles. La fonction composée <math>\psi\phi</math> est une application préservant l'ordre de l'intervalle <math>\left[a \wedge b, b\right]</math> dans lui-même qui vérifie aussi l'inégalité <math>\psi(\phi(x)) = (x \vee a) \wedge b \ge x</math> . L'exemple donné ci-dessus montre que cette inégalité  n'est en général pas une égalité. Dans un treillis modulaire en revanche, l'égalité est toujours satisfaite. Étant donné que le treillis dual d'un treillis modulaire est à nouveau modulaire, la fonction  <math>\phi\psi</math> est de même la [[Application identité|fonction identité]] sur <math>\left[a, a \vee b\right]</math> ; de sorte que <math>\phi</math> et <math>\psi</math> sont des isomorphismes entre ces deux intervalles.
{{théorème|nom=Théorème d'isomorphisme en diamant|énoncé = Dans un treillis modulaire, les fonctions <math>\psi\phi</math> et <math>\phi\psi</math> sont des fonctions identité sur <math>\left[a \wedge b, b\right]</math> et <math>\left[a, a \vee b\right]</math> respectivement, et <math>\phi</math> et <math>\psi</math> sont des isomorphismes entre ces deux intervalles.}}

Ce théorème est connu sous le nom de '''théorème d'isomorphisme des  treillis modulaires,''' ou parfois de '''théorème d'isomorphisme en diamant''' (pour les treillis modulaires). Un treillis est modulaire si et seulement si le théorème d'isomorphisme du diamant est satisfait par chaque paire d'éléments.

Le théorème d'isomorphisme pour les treillis modulaires est analogue au [[Théorèmes d'isomorphisme|troisième théorème d'isomorphisme]] en algèbre, et il est une généralisation du [[théorème de correspondance]].

== Couples modulaires ==
[[Fichier:Centred_hexagon_lattice_D2.svg|vignette| Le treillis hexagonal centré <math>S_7</math>, aussi noté <math>D_2</math>, est M-symétrique mais n'est pas modulaire.]]
Dans un treillis, un '''couple modulaire''' est une couple <math>(a,b)</math> d'éléments qui vérifie l'égalité 
: <math>(x\vee a)\wedge b=x</math> pour tout <math>x</math> tel que <math>a\wedge b \le x\le b</math> .
En d'autres termes, un couple modulaire est un couple pour lequel la moitié du théorème d'isomorphisme du diamant est vraie. Une '''paire modulaire''' est une paire d'éléments telle les deux couples <math>(a,b)</math> aussi bien que <math>(b,a)</math> sont des couples modulaires. Un élément <math>b</math> est un '''élément modulaire (à droite)''' si le couple <math>(a,b)</math> est modulaire pour tout <math>a</math> .

Un treillis dans lequel, pour chaque couple modulaire <math>(a,b)</math>, le couple <math>(b,a)</math> est également modulaire est appelé un '''treillis M-symétrique'''<ref> Certains auteurs, par exemple Fofanova, appellent ces treillis ''semi-modulaires''. Tout treillis M-symétrique est semi-modulaire et l'inverse s'applique également aux treillis de longueur finie ; une confusion de terminologie ne peut se produire que pour certains réseaux infinis.</ref>. Puisqu'un treillis est modulaire si et seulement si chaque paire d'éléments est modulaire, tout treillis modulaire est M-symétrique. Dans le treillis <math>N_5</math>, le couple <math>(b,a)</math> est modulaire, mais pas le couple <math>(a,b)</math>. Le treillis <math>N_5</math> n'est donc pas M-symétrique. Le treillis hexagonal centré <math>S_7</math> est M-symétrique, mais n'est pas modulaire. Comme <math>N_5</math> un sous-ensemble de <math>S_7</math>, il en résulte que les treillis M-symétriques ne forment pas une sous-variété de la variété des treillis.

La notion de M-symétrie n'est pas auto-duale. Une '''paire  modulaire duale''' est une paire qui est modulaire dans le treillis dual, et un treillis est appelé M-symétrique dual ou M<sup>*</sup>-symétrique si le treillis dual est M-symétrique. On peut montrer qu'un treillis fini est modulaire si et seulement s'il est M-symétrique et M<sup>*</sup>-symétrique. La même équivalence vaut pour les treillis infinis qui satisfont la [[Conditions de chaîne|condition de chaîne ascendante]] (ou la condition de chaîne descendante).

D'autres notions moins courantes sont étroitement liés aux concepts précédents. Un treillis est '''à symétrie croisée''' si, pour chaque couple modulaire <math>(a,b)</math>, le couple <math>(b,a)</math> est dual modulaire. La symétrie croisée implique la M-symétrie, mais pas la M<sup>*</sup>-symétrie. Par conséquent, la symétrie croisée n'est pas équivalente à la symétrie croisée duale.

Un treillis avec un [[Extremum|plus petit élément]] 0 est appelé '''⊥-symétrique''' si, pour chaque couple modulaire <math>(a,b)</math>, telle que  <math>a\wedge b=0</math>, le couple <math>(b,a)</math> est également modulaire.

== Note historique ==
[[File:Free modular lattice with 3 generators (x,y,z).gif|thumb|upright=1.4|Treillis modulaire libre engendré par trois éléments {x,y,z}]]
La définition de la modularité est due à [[Richard Dedekind]]. Dans un article de 1897, « Über Zerlegungen von Zahlen durch ihre größten gemeinsamen Teiler », et en 1900, « Über die von drei Moduln erzeugte Dualgruppe », il introduit les treillis qu'il a appelés ''groupes doubles'' ({{lang-de|Dualgruppen}}) et il a observé que les idéaux satisfont ce que nous appelons aujourd'hui la loi modulaire. Il a également observé que pour les treillis en général, la loi modulaire est équivalente à son dual. Il décrit le treillis modulaire libre à trois générateurs,qui est un treillis à 28 éléments<ref>{{Article
|auteur1= Emmylou Haffner
|titre= From modules to lattices: insight into the genesis of Dedekind’s Dualgruppen
|périodique= British Journal for the History of Mathematics
|volume= 34
|numéro= 1
|date= 2019
|pages= 23-42
|zbl = 1419.01003
|hal = 02426462
|consulté le=4 novembre 2021
}}.</ref>.

== Notes et références ==
{{Traduction/référence|en|Modular lattice|1047874489}}
{{Références}}

== Bibliographie ==
* <small>[1900]</small> {{article| auteur1= [[Richard Dedekind]]| titre= Ueber die von drei Moduln erzeugte Dualgruppe| journal= Mathematische Annalen| volume = 53| numéro= 3 |date=1900-09-01|passage=371–403|DOI=10.1007/BF01448979}}
* <small>[1949]</small> {{Article
|auteur1= Garret Birkhoff
|titre= Théorie et applications des treillis
|périodique= Annales de l'institut Henri Poincaré
|volume= 11
|numéro= 5 
|date= 1949
|pages= 227-240
|lire en ligne= http://eudml.org/doc/79028
|consulté le=3 novembre 2021
}}.
* <small>[1965]</small> {{article | nom1=Maeda | prénom1=Shûichirô | titre=On the symmetry of the modular relation in atomic lattices | url=http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.hmj/1206139232&page=record | année=1965 | journal=Journal of Science of the Hiroshima University | volume=29 | pages=165–170}}
* <small>[1973]</small> {{ouvrage| auteur1= [[Garrett Birkhoff]]| titre= Lattice Theory| numéro d'édition = 3| éditeur = American Mathematical Society
| date=1973| ISBN= 0-8218-1025-1}}
* <small>[1967]</small> {{ouvrage| auteur1= Hans Hermes| titre= Einführung in die Verbandstheorie|collection = Grundlehren der mathematischen Wissenschaften| numéro d'édition =  2| éditeur= Springer|Datum=1967|DOI=10.1007/978-3-642-86524-4 |numéro dans collection = 73}}
* <small>[1971]</small> {{ouvrage| auteur1= Gábor Szász| titre= Théorie des treillis| éditeur= Akademiai Kiado|lieu = Budapest|Datum=1971|pages totales = ix+ 227 zbl=0208.28901}}
* <small>[1997]</small> {{article | nom1=Rota | prénom1=Gian-Carlo | lien auteur1=Gian-Carlo Rota | titre=The many lives of lattice theory | année=1997 | journal=[[Notices of the American Mathematical Society]] | issn=0002-9920 | volume=44 | numéro=11 | pages=1440–1445 | url=https://www.ams.org/notices/199711/comm-rota.pdf}}
* <small>[1998]</small> {{ouvrage| auteur1= George Grätzer| titre= General Lattice Theory| numéro d'édition =  2| éditeur= Birkhäuser| Datum=1998| ISBN= 3-7643-5239-6}}
* <small>[1999]</small>  {{ouvrage | nom1=Stern | prénom1=Manfred | titre=Semimodular lattices | éditeur=[[Cambridge University Press]] | isbn=978-0-521-46105-4 | année=1999 | accès url=inscription | url=https://archive.org/details/semimodularlatti0000ster }}
* <small>[2002]</small> {{EncycloMath|prénom1=L. A.|nom1= Skornyakov|id=nom&oldid=|titre=Modular lattice}}
* <small>[2002]</small> {{EncycloMath|prénom1=T.&nbsp;S.|nom1= Fofanova|id=nom&oldid=s/s084240|titre=Semi-modular lattice}}
* <small>[2004]</small> {{ouvrage | nom1=Corry | prénom1=Leo | titre=Modern algebra and the rise of mathematical structures | isbn=978-3-7643-7002-2 | edition=2nd | Birkhäuser Verlag |date = 2004| passage=64-136 |chapitre = Richard Dedekind: Numbers and Ideals
}}
 
== Voir également ==

* [[Groupe modulaire]]
* {{Lien|trad=Modulaire graph|Graphe modulaire}}
* [[Treillis de Young-Fibonacci]]
* {{Lien|trad=Iwasawa group|fr=Groupe d'Iwasawa}}

== Liens externes ==
{{Liens}}
* {{Planetmath|titre=Modular lattice}}
* {{OEIS|A006981}} Nombre de treillis modulaires à ''n'' éléments
* [https://www.source-code.biz/lattice Générateur de treillis modulaire]. — Une application gratuite qui peut engendrer et visualiser des treillis modulaires.

{{Portail|mathématiques}}

{{CLEDETRI:Modulaire, treillis}}
[[Catégorie:Treillis|Modulaire]]