Correspondance de Galois

Correspondance de Galois

En mathématiques, une correspondance de Galois antitone est une généralisation, pour deux ordres partiels quelconques, de la correspondance entre sous-corps d'une extension galoisienne et sous-groupes de son groupe de Galois. Une correspondance de Galois isotone se définit de façon analogue, en inversant l'ordre sur le deuxième ensemble. Cette notion est reliée à celle d'opérateur de clôture.

Sommaire

Correspondance antitone

Soient m_1:P\to Q et m_2:Q\to P des fonctions définies sur deux ensembles ordonnés (P,\le_P) et (Q,\le_Q). On vérifie facilement l'équivalence des deux définitions suivantes.

Première définition : (m1,m2) est une correspondance de Galois antitone si m1 et m2 sont décroissantes et si m_2\circ m_1 et m_1\circ m_2 sont extensives, c.-à-d. vérifient (pour tout élément p de P et tout élément q de Q) :

p\le_Pm_2(m_1(p))\qquad\text{et}\qquad q\le_Qm_1(m_2(q))~.

Deuxième définition : (m1,m2) est une correspondance de Galois antitone si m1 et m2 vérifient (pour tout élément p de P et tout élément q de Q) :

q\le_Qm_1(p)\Leftrightarrow p\le_Pm_2(q)~.

Correspondance isotone

Avec les mêmes notations que précédemment, une correspondance isotone de (P,\le_P) vers (Q,\le_Q) est une correspondance antitone entre (P,\le_P) et l'ensemble ordonné (Q,\le_Q^{op}), où \le_Q^{op} désigne l'ordre opposé (ou « ordre dual ») de \le_Q. Autrement dit :

Première définition : (m1,m2) est une correspondance de Galois isotone si m1 et m2 sont croissantes et si (pour tout élément p de P et tout élément q de Q) :

p\le_Pm_2(m_1(p))\qquad\text{et}\qquad m_1(m_2(q))\le_Qq~.

Deuxième définition : (m1,m2) est une correspondance de Galois isotone si (pour tout élément p de P et tout élément q de Q) :

m_1(p)\le_Qq\Leftrightarrow p\le_Pm_2(q)~.

Propriétés

Soit (m1,m2) une correspondance de Galois comme ci-dessus (antitone ou isotone).

  • m_2\circ m_1 et m_1\circ m_2 sont croissantes.
  • m_2\circ m_1\circ m_2=m_2 (et m_1\circ m_2\circ m_1=m_1), si bien que m_2\circ m_1 et m_1\circ m_2 sont idemptotentes.
  • m_2\circ m_1 est un opérateur de clôture sur (P,\le_P) (puisqu'elle est de plus extensive).
  • Dans le cas antitone, m_1\circ m_2 est de même un opérateur de clôture sur (Q,\le_Q).
  • Réciproquement, tout opérateur de clôture c sur un ensemble ordonné (P,\le_P) est de la forme m_2\circ m_1 pour une certaine correspondance de Galois[1], en choisissant par exemple pour Q l'image de c (muni de l'ordre induit ou de son opposé, selon qu'on souhaite construire une correspondance isotone ou antitone), pour m1 la corestriction de c à Q, et pour m2 l'injection canonique de Q dans P.

Note

Voir aussi

Treillis de Galois


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Correspondance de Galois de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Correspondance De Galois — Soient et des fonctions définies sur deux ensembles ordonnés et . (m1,m2) est une correspondance de Galois si pour tout et pour tout …   Wikipédia en Français

  • Correspondance de galois — Soient et des fonctions définies sur deux ensembles ordonnés et . (m1,m2) est une correspondance de Galois si pour tout et pour tout …   Wikipédia en Français

  • Correspondance Et Relation — En algèbre générale (ou abstraite), le concept de correspondance, ou de relation, est une abstraction de notions telles que l’égalité, l’ordre alphabétique, ou la comparaison. De manière informelle, une relation dans un ensemble ( on dit aussi… …   Wikipédia en Français

  • Correspondance et relation — En algèbre générale (ou abstraite), le concept de correspondance, ou de relation, est une abstraction de notions telles que l’égalité, l’ordre alphabétique, ou la comparaison. De manière informelle, une relation dans un ensemble ( on dit aussi… …   Wikipédia en Français

  • Correspondance (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Correspondance (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Correspondance (homonymie) », sur le Wiktionnaire (dictionnaire universel) Courrier Correspondance,… …   Wikipédia en Français

  • GALOIS (É.) — Enfant terrible des mathématiques, Évariste Galois, ignoré de ses pairs, mourut à vingt ans. Les vérités qui brillent aujourd’hui sous son nom nous rappellent toujours la faillibilité des plus hautes autorités scientifiques. En sa brièveté, une… …   Encyclopédie Universelle

  • Galois — Évariste Galois  Pour l’article homophone, voir Gallois (homonymie). Évariste Galois …   Wikipédia en Français

  • Groupe De Galois — Évariste Galois 1811 1832 En mathématiques, et plus spécifiquement en algèbre dans le cadre de la théorie de Galois, le groupe de Galois d une extension de corps L sur un corps K est le groupe des automorphismes de corps de L lais …   Wikipédia en Français

  • Groupe de Galois — Évariste Galois 1811 1832 En mathématiques, et plus spécifiquement en algèbre dans le cadre de la théorie de Galois, le groupe de Galois d une extension de corps L sur un corps K est le groupe des automorphismes de corps de L laissant K invariant …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”