stringtranslate.com

Conexión de Galois

En matemáticas , especialmente en teoría del orden , una conexión de Galois es una correspondencia particular (típicamente) entre dos conjuntos parcialmente ordenados (posets). Las conexiones de Galois encuentran aplicaciones en varias teorías matemáticas. Generalizan el teorema fundamental de la teoría de Galois sobre la correspondencia entre subgrupos y subcuerpos , descubierto por el matemático francés Évariste Galois .

Una conexión de Galois también puede definirse en conjuntos o clases preordenados ; este artículo presenta el caso común de los conjuntos parciales. La literatura contiene dos nociones estrechamente relacionadas de "conexión de Galois". En este artículo, nos referiremos a ellas como conexiones de Galois (monótonas) y conexiones de Galois antitónicas .

Una conexión de Galois es bastante débil en comparación con un isomorfismo de orden entre los conjuntos parciales involucrados, pero toda conexión de Galois da lugar a un isomorfismo de ciertos subconjuntos parciales, como se explicará más adelante. El término correspondencia de Galois se utiliza a veces para referirse a una conexión de Galois biyectiva ; esto es simplemente un isomorfismo de orden (o isomorfismo de orden dual, dependiendo de si tomamos conexiones de Galois monótonas o antítonas).

Definiciones

(Monótona) Conexión de Galois

Sean ( A , ≤) y ( B , ≤) dos conjuntos parcialmente ordenados . Una conexión de Galois monótona entre estos conjuntos parciales consiste en dos funciones monótonas [1] : F  : AB y G  : BA , tales que para todo a en A y b en B , tenemos

F ( a ) ≤ b si y sólo si aG ( b ) .

En esta situación, F se denomina adjunto inferior de G y G se denomina adjunto superior de F. Mnemotécnicamente, la terminología superior/inferior se refiere a dónde aparece la aplicación de la función en relación con ≤. [2] El término "adjunto" se refiere al hecho de que las conexiones de Galois monótonas son casos especiales de pares de funtores adjuntos en la teoría de categorías , como se analiza más adelante. Otra terminología que se encuentra aquí es adjunto izquierdo (respectivamente adjunto derecho ) para el adjunto inferior (respectivamente superior).

Una propiedad esencial de una conexión de Galois es que un adjunto superior/inferior de una conexión de Galois determina de manera única al otro:

F ( a ) es el elemento menor~b con unG (~b) , y
G ( b ) es el elemento más grande~acon F (~a) ≤ b .

Una consecuencia de esto es que si F o G son biyectivas entonces cada una es la inversa de la otra, es decir F = G −1 .

Dada una conexión de Galois con adjunto inferior F y adjunto superior G , podemos considerar las composiciones GF  : AA , conocida como el operador de cierre asociado , y FG  : BB , conocido como el operador de núcleo asociado. Ambas son monótonas e idempotentes , y tenemos aGF ( a ) para todo a en A y FG ( b ) ≤ b para todo b en B .

Una inserción de Galois de B en A es una conexión de Galois en la que el operador de núcleo FG es la identidad en B y, por lo tanto, G es un isomorfismo de orden de B sobre el conjunto de elementos cerrados GF  [ A ] de A . [3]

Conexión antítona de Galois

La definición anterior es común en muchas aplicaciones actuales y es destacada en la teoría de redes y dominios . Sin embargo, la noción original en la teoría de Galois es ligeramente diferente. En esta definición alternativa, una conexión de Galois es un par de funciones antitonas , es decir, de orden inverso, F  : AB y G  : BA entre dos conjuntos parciales A y B , de modo que

bF ( a ) si y sólo si aG ( b ) .

La simetría de F y G en esta versión borra la distinción entre superior e inferior, y las dos funciones se denominan entonces polaridades en lugar de adjuntas. [4] Cada polaridad determina de forma única a la otra, ya que

F ( a ) es el elemento b más grande con aG ( b ) , y
G ( b ) es el elemento más grande a con bF ( a ) .

Las composiciones GF  : AA y FG  : BB son los operadores de cierre asociados; son mapas idempotentes monótonos con la propiedad aGF ( a ) para todo a en A y bFG ( b ) para todo b en B .

Las implicaciones de las dos definiciones de conexiones de Galois son muy similares, ya que una conexión de Galois antitónica entre A y B es simplemente una conexión de Galois monótona entre A y el dual de orden B op de B. Todas las afirmaciones siguientes sobre las conexiones de Galois se pueden convertir fácilmente en afirmaciones sobre las conexiones de Galois antitónicas.

Ejemplos

Biyecciones

La biyección de un par de funciones y la inversa de cada una de ellas forma una conexión de Galois (trivial), como sigue. Como la relación de igualdad es reflexiva, transitiva y antisimétrica, es, trivialmente, un orden parcial , lo que hace que los conjuntos sean parcialmente ordenados. Ya que si y solo si tenemos una conexión de Galois.

Conexiones monótonas de Galois

Piso; techo

Una conexión de Galois monótona entre el conjunto de los números enteros y el conjunto de los números reales , cada uno con su orden habitual, se da mediante la función de incrustación habitual de los números enteros en los reales y la función base que trunca un número real al mayor entero menor o igual que él. La incrustación de números enteros se realiza habitualmente de forma implícita, pero para mostrar la conexión de Galois la hacemos explícita. Así que denotemos la función de incrustación, con mientras que denota la función base, por lo que la equivalencia se traduce entonces en

Esto es válido porque la variable está restringida a los números enteros. Las propiedades bien conocidas de la función suelo, como las que se pueden derivar mediante razonamiento elemental de esta conexión de Galois.

Los órdenes duales dan otra conexión de Galois monótona, ahora con la función de techo :

Conjunto de potencias; implicación y conjunción

Para un ejemplo de teoría del orden, sea U un conjunto y sean A y B ambos el conjunto potencia de U , ordenado por inclusión . Elija un subconjunto fijo L de U. Entonces las aplicaciones F y G , donde F ( M  ) = LM , y G ( N  ) = N ∪ ( U  \  L ) , forman una conexión de Galois monótona, con F siendo el adjunto inferior. Una conexión de Galois similar cuyo adjunto inferior está dado por la operación de encuentro ( ínfimo ) se puede encontrar en cualquier álgebra de Heyting . Especialmente, está presente en cualquier álgebra de Boole , donde las dos aplicaciones se pueden describir por F ( x ) = ( ax ) y G (  y ) = (  y ∨ ¬ a ) = ( ay ) . En términos lógicos : "implicación de a " es el adjunto superior de "conjunción con a ".

Celosías

En el artículo sobre propiedades de completitud se describen otros ejemplos interesantes de conexiones de Galois . En términos generales, resulta que las funciones habituales ∨ y ∧ son adjuntas inferiores y superiores a la función diagonal XX × X . Los elementos mínimo y máximo de un orden parcial están dados por adjuntos inferiores y superiores a la función única X → {1}. Yendo más allá, incluso las redes completas se pueden caracterizar por la existencia de adjuntos adecuados. Estas consideraciones dan una idea de la ubicuidad de las conexiones de Galois en la teoría del orden.

Acciones grupales transitivas

Sea G transitivamente sobre X y elija un punto x en X. Considere

el conjunto de bloques que contienen x . Además, sea formado por los subgrupos de G que contienen el estabilizador de x .

Luego, la correspondencia :

es una conexión de Galois monótona y biunívoca . [5] Como corolario , se puede establecer que las acciones doblemente transitivas no tienen bloques distintos de los triviales (singletons o la totalidad de X ): esto se deduce de que los estabilizadores son máximos en G en ese caso. Véase Grupo doblemente transitivo para una discusión más detallada.

Imagen e imagen inversa

Si f  : XY es una función , entonces para cualquier subconjunto M de X podemos formar la imagen F ( M  ) =   f M = {  f  ( m ) | mM } y para cualquier subconjunto N de Y podemos formar la imagen inversa G ( N  ) =   f −1 N = { xX |   f  ( x ) ∈ N }. Entonces F y G forman una conexión de Galois monótona entre el conjunto potencia de X y el conjunto potencia de Y , ambos ordenados por inclusión ⊆. Hay otro par adjunto en esta situación: para un subconjunto M de X , definamos H ( M ) = { yY |   f −1 { y } ⊆ M }. Entonces G y H forman una conexión de Galois monótona entre el conjunto potencia de Y y el conjunto potencia de X . En la primera conexión de Galois, G es el adjunto superior, mientras que en la segunda conexión de Galois sirve como adjunto inferior.   

En el caso de un mapa cociente entre objetos algebraicos (como grupos ), esta conexión se llama teorema de red : los subgrupos de G se conectan a subgrupos de G / N , y el operador de cierre en subgrupos de G está dado por H = HN .

Tramo y cierre

Elija un objeto matemático X que tenga un conjunto subyacente , por ejemplo, un grupo, anillo , espacio vectorial , etc. Para cualquier subconjunto S de X , sea F ( S  ) el subobjeto más pequeño de X que contiene a S , es decir, el subgrupo , subanillo o subespacio generado por S. Para cualquier subobjeto U de X , sea G ( U  ) el conjunto subyacente de U. (Incluso podemos tomar X como un espacio topológico , sea F ( S  ) la clausura de S y tome como "subobjetos de X " los subconjuntos cerrados de X. ) Ahora F y G forman una conexión de Galois monótona entre subconjuntos de X y subobjetos de X , si ambos están ordenados por inclusión. F es el adjunto inferior.

Sintaxis y semántica

Un comentario muy general de William Lawvere [6] es que la sintaxis y la semántica son adjuntas: tomemos A como el conjunto de todas las teorías lógicas (axiomatizaciones) ordenadas inversamente por fuerza, y B como el conjunto potencia del conjunto de todas las estructuras matemáticas. Para una teoría TA , sea Mod( T  ) el conjunto de todas las estructuras que satisfacen los axiomas T  ; para un conjunto de estructuras matemáticas SB , sea Th( S  ) el mínimo de las axiomatizaciones que se aproximan a S (en lógica de primer orden , este es el conjunto de oraciones que son verdaderas en todas las estructuras en S ). Podemos decir entonces que S es un subconjunto de Mod( T  ) si y solo si Th( S  ) implica lógicamente T : el "funtor semántico" Mod y el "funtor sintáctico" Th forman una conexión de Galois monótona, siendo la semántica el adjunto superior.

Conexiones de Galois con la antítona

Teoría de Galois

El ejemplo motivador proviene de la teoría de Galois: supongamos que L / K es una extensión de cuerpo . Sea A el conjunto de todos los subcuerpos de L que contienen a K , ordenados por inclusión ⊆. Si E es un subcuerpo de este tipo, escriba Gal( L / E ) para el grupo de automorfismos de cuerpo de L que mantienen fijo a E. Sea B el conjunto de subgrupos de Gal( L / K ) , ordenados por inclusión ⊆. Para un subgrupo de este tipo G , defina Fix( G ) como el cuerpo que consiste en todos los elementos de L que se mantienen fijos por todos los elementos de G . Entonces las funciones E ↦ Gal( L / E ) y G ↦ Fix( G ) forman una conexión de Galois antitónica.

Topología algebraica: cubriendo espacios

Análogamente, dado un espacio topológico conexo por trayectorias X , existe una conexión de Galois antitónica entre subgrupos del grupo fundamental π 1 ( X ) y espacios de recubrimiento conexos por trayectorias de X . En particular, si X es semilocalmente simplemente conexo , entonces para cada subgrupo G de π 1 ( X ) , existe un espacio de recubrimiento con G como su grupo fundamental.

Álgebra lineal: aniquiladores y complementos ortogonales

Dado un espacio de producto interno V , podemos formar el complemento ortogonal F ( X  ) de cualquier subespacio X de V . Esto produce una conexión de Galois antitónica entre el conjunto de subespacios de V y él mismo, ordenados por inclusión; ambas polaridades son iguales a F .

Dado un espacio vectorial V y un subconjunto X de V podemos definir su aniquilador F ( X  ) , que consiste en todos los elementos del espacio dual V de V que se anulan en X . De manera similar, dado un subconjunto Y de V , definimos su aniquilador G ( Y  ) = {  xV | φ ( x ) = 0 ∀ φY  }. Esto da una conexión de Galois antitónica entre los subconjuntos de V y los subconjuntos de V .

Geometría algebraica

En geometría algebraica , la relación entre conjuntos de polinomios y sus conjuntos cero es una conexión de Galois antitónica.

Fijemos un número natural n y un cuerpo K y sea A el conjunto de todos los subconjuntos del anillo polinómico K [ X 1 , ..., X n ] ordenados por inclusión ⊆, y sea B el conjunto de todos los subconjuntos de K n ordenados por inclusión ⊆. Si S es un conjunto de polinomios, definamos la variedad de ceros como

el conjunto de ceros comunes de los polinomios en S . Si U es un subconjunto de K n , defina I ( U  ) como el ideal de polinomios que se desvanecen en U , es decir

Entonces V e I forman una conexión de Galois antitónica.

El cierre en K n es el cierre en la topología de Zariski , y si el campo K está algebraicamente cerrado , entonces el cierre en el anillo de polinomios es el radical del ideal generado por S.

De manera más general, dado un anillo conmutativo R (no necesariamente un anillo polinomial), existe una conexión de Galois antitónica entre los ideales radicales en el anillo y los subconjuntos cerrados de Zariski de la variedad afín Spec ( R ) .

De manera más general, existe una conexión de Galois antítona entre los ideales en el anillo y los subesquemas de la variedad afín correspondiente .

Conexiones en conjuntos de potencias que surgen de relaciones binarias

Supongamos que X e Y son conjuntos arbitrarios y que se da una relación binaria R sobre X e Y. Para cualquier subconjunto M de X , definimos F ( M  ) = {  yY | mRymM  }. De manera similar, para cualquier subconjunto N de Y , definimos G ( N  ) = {  xX | xRnnN  }. Entonces F y G producen una conexión de Galois antitónica entre los conjuntos de potencias de X e Y , ambos ordenados por inclusión ⊆. [7]

Hasta el isomorfismo, todas las conexiones de Galois antitónicas entre conjuntos de potencia surgen de esta manera. Esto se desprende del "Teorema básico sobre redes de conceptos". [8] La teoría y las aplicaciones de las conexiones de Galois que surgen de relaciones binarias se estudian en el análisis formal de conceptos . Ese campo utiliza conexiones de Galois para el análisis matemático de datos. Se pueden encontrar muchos algoritmos para conexiones de Galois en la literatura respectiva, por ejemplo, en. [9]

El concepto general de red en su versión primitiva incorpora las conexiones de Galois monótonas y antitónicas para proporcionar sus límites superior e inferior de nodos para la red de conceptos, respectivamente. [10]

Propiedades

A continuación, consideramos una conexión de Galois (monótona) f = (  f ,   f ) , donde f  : AB es el adjunto inferior como se introdujo anteriormente. Se pueden obtener inmediatamente algunas propiedades básicas útiles e instructivas. Por la propiedad definitoria de las conexiones de Galois, f ( x ) ≤   f ( x ) es equivalente a x ≤   f (  f ( x )) , para todo x en A . Por un razonamiento similar (o simplemente aplicando el principio de dualidad para la teoría del orden ), se encuentra que f (  f ( y )) ≤ y , para todo y en B . Estas propiedades se pueden describir diciendo que la compuesta f ∘  f es deflacionaria , mientras que f ∘  f es inflacionaria (o extensiva ).        

Ahora considere x , yA tal que xy . Luego, utilizando lo anterior, se obtiene x ≤   f (  f   ( y )) . Aplicando la propiedad básica de las conexiones de Galois, ahora se puede concluir que f ( x ) ≤   f ( y ) . Pero esto solo muestra que f preserva el orden de dos elementos cualesquiera, es decir, es monótona. Nuevamente, un razonamiento similar produce la monotonía de f . Por lo tanto, la monotonía no tiene que incluirse en la definición explícitamente. Sin embargo, mencionar la monotonía ayuda a evitar la confusión sobre las dos nociones alternativas de las conexiones de Galois.   

Otra propiedad básica de las conexiones de Galois es el hecho de que f (  f (  f ( x ))) =   f ( x ) , para todo x en B . Claramente encontramos que 

f (  f   (  f ( x ))) ≥   f ( x ) .

porque f ∘  f es inflacionaria como se muestra arriba. Por otro lado, dado que f ∘  f es deflacionaria, mientras que f es monótona, se encuentra que  

f (  f   (  f ( x ))) ≤   f ( x ) .

Esto demuestra la igualdad deseada. Además, podemos utilizar esta propiedad para concluir que

f   (  f (  f   (  f ( x )))) =   f   (  f ( x ))

y

f (  f   (  f (  f   ( x )))) =   f (  f   ( x ))

es decir, f ∘  f y f ∘  f son idempotentes .  

Se puede demostrar (ver Blyth o Erné para pruebas) que una función f es adjunta inferior (respectivamente superior) si y solo si f es una función residual (respectivamente, función residual). Por lo tanto, la noción de función residual y conexión de Galois monótona son esencialmente las mismas.

Operadores de cierre y conexiones Galois

Los hallazgos anteriores se pueden resumir de la siguiente manera: para una conexión de Galois, el compuesto f ∘  f es monótono (al ser el compuesto de funciones monótonas), inflacionario e idempotente. Esto establece que f ∘  f es de hecho un operador de cierre en A . Dualmente, f ∘  f es monótono, deflacionario e idempotente. Tales mapeos a veces se denominan operadores de núcleo . En el contexto de marcos y locales , el compuesto f ∘  f se llama núcleo inducido por f . Los núcleos inducen homomorfismos de marco; un subconjunto de una configuración regional se denomina subconfiguración regional si está dado por un núcleo.     

Por el contrario , cualquier operador de clausura c en algún conjunto poset A da lugar a la conexión de Galois con el adjunto inferior f siendo simplemente la correstricción de c a la imagen de c (es decir, como una aplicación sobreyectiva del sistema de clausura c ( A ) ). El adjunto superior f se da entonces por la inclusión de c ( A ) en A , que asigna cada elemento cerrado a sí mismo, considerado como un elemento de A . De esta manera, los operadores de clausura y las conexiones de Galois se ven como estrechamente relacionados, cada uno especificando una instancia del otro. Conclusiones similares son válidas para los operadores de kernel. 

Las consideraciones anteriores también muestran que los elementos cerrados de A (elementos x con f (  f ( x )) = x ) se asignan a elementos dentro del rango del operador de núcleo f ∘  f , y viceversa.  

Existencia y singularidad de las conexiones de Galois

Otra propiedad importante de las conexiones de Galois es que los adjuntos inferiores preservan todos los supremos que existen dentro de su dominio . Dualmente, los adjuntos superiores preservan todos los ínfimos existentes . A partir de estas propiedades, también se puede concluir inmediatamente la monotonía de los adjuntos. El teorema del functor adjunto para la teoría del orden establece que la implicación inversa también es válida en ciertos casos: especialmente, cualquier aplicación entre retículos completos que preserva todos los supremos es el adjunto inferior de una conexión de Galois.

En esta situación, una característica importante de las conexiones de Galois es que un adjunto determina de forma única al otro. Por lo tanto, se puede reforzar la afirmación anterior para garantizar que cualquier mapa que preserve el supremo entre redes completas es el adjunto inferior de una conexión de Galois única. La propiedad principal para derivar esta unicidad es la siguiente: para cada x en A , f ( x ) es el menor elemento y de B tal que x ≤   f ( y ) . Dualmente, para cada y en B , f ( y ) es el mayor x en A tal que f ( x ) ≤ y . La existencia de una cierta conexión de Galois ahora implica la existencia de los respectivos elementos menor o mayor, sin importar si los posets correspondientes satisfacen alguna propiedad de completitud . Por lo tanto, cuando se da un adjunto superior de una conexión de Galois, el otro adjunto superior se puede definir a través de esta misma propiedad.  

Por otra parte, alguna función monótona f es un adjunto inferior si y solo si cada conjunto de la forma {  xA |   f  ( x ) ≤ b  }, para b en B , contiene un elemento mayor. Nuevamente, esto puede dualizarse para el adjunto superior. 

Conexiones de Galois como morfismos.

Las conexiones de Galois también proporcionan una clase interesante de aplicaciones entre conjuntos parciales que se pueden usar para obtener categorías de conjuntos parciales. En particular, es posible componer conexiones de Galois: dadas las conexiones de Galois (  f   ,   f ) entre los conjuntos parciales A y B y ( g , g ) entre B y C , la conexión compuesta ( g ∘   f   ,   f g ) también es una conexión de Galois. Al considerar categorías de redes completas, esto se puede simplificar para considerar solo aplicaciones que preservan todos los supremos (o, alternativamente, ínfimos). Al asignar redes completas a sus duales, estas categorías muestran autodualidad , que es bastante fundamental para obtener otros teoremas de dualidad. Los tipos más especiales de morfismos que inducen aplicaciones adjuntas en la otra dirección son los morfismos generalmente considerados para marcos (o locales).

Conexión con la teoría de categorías

Todo conjunto parcialmente ordenado puede ser visto como una categoría de manera natural: existe un morfismo único de x a y si y solo si xy . Una conexión de Galois monótona no es entonces nada más que un par de funtores adjuntos entre dos categorías que surgen de conjuntos parcialmente ordenados. En este contexto, el adjunto superior es el adjunto derecho mientras que el adjunto inferior es el adjunto izquierdo . Sin embargo, esta terminología se evita para las conexiones de Galois, ya que hubo un tiempo en que los conjuntos parciales se transformaban en categorías de manera dual, es decir, con morfismos que apuntaban en la dirección opuesta. Esto condujo a una notación complementaria sobre adjuntos izquierdos y derechos, que hoy es ambigua.

Aplicaciones en la teoría de la programación

Las conexiones de Galois se pueden utilizar para describir muchas formas de abstracción en la teoría de la interpretación abstracta de los lenguajes de programación . [11] [12]

Notas

  1. ^ La monotonía se desprende de la siguiente condición. Véase la discusión de las propiedades. Sólo se hace explícita en la definición para distinguirla de la definición antítona alternativa . También se pueden definir las conexiones de Galois como un par de funciones monótonas que satisfacen la condición más laxa de que para todo x en A , xg (  f  ( x )) y para todo y en B , f  ( g ( y )) ≤ y .
  2. ^ Gierz, pág. 23
  3. ^ Bistarelli, Stefano (2004). Semirings for Soft Constraint Solving and Programming (Anillos semiesféricos para resolución de restricciones blandas y programación) . Lecture Notes in Computer Science (Apuntes de clase en informática). Vol. 2962. Springer-Verlag . pág. 102. arXiv : cs/0208008 . doi :10.1007/978-3-540-25925-1_8. ISBN . 3-540-21181-0. ISSN  0302-9743.
  4. ^ Galatos, pág. 145
  5. ^ Véase Alperin, Bell, Grupos y representaciones (GTM 162), pág. 32
  6. ^ William Lawvere , Adjointness in foundations, Dialectica, 1969, disponible aquí. La notación es diferente en la actualidad; una introducción más sencilla de Peter Smith en estas notas de clase, que también atribuyen el concepto al artículo citado.
  7. ^ Birkhoff, 1.ª edición (1940): §32, 3.ª edición (1967): Cap. V, §7 y §8
  8. ^ Ganter, B. y Wille, R. Análisis de conceptos formales: fundamentos matemáticos , Springer (1999), ISBN 978-3-540-627715 
  9. ^ Ganter, B. y Obiedkov, S. Exploración conceptual , Springer (2016), ISBN 978-3-662-49290-1 
  10. ^ Liaw, Tsong-Ming; Lin, Simon C. (12 de octubre de 2020). "Una teoría general de la red de conceptos con exploración de implicaciones manejable". Ciencias de la Computación Teórica . 837 : 84–114. doi :10.1016/j.tcs.2020.05.014. ISSN  0304-3975. S2CID  219514253. Archivado desde el original el 28 de mayo de 2020 . Consultado el 19 de julio de 2023 .
  11. ^ Patrick Cousot; Radhia Cousot (enero de 1977). "Interpretación abstracta: un modelo reticular unificado para el análisis estático de programas mediante la construcción o aproximación de puntos fijos" (PDF) . Actas del 4º Simposio ACM sobre Principios de Lenguajes de Programación (POPL) . págs. 238–252.
    Para un contraejemplo del teorema falso de la sección 7 (p. 243, arriba a la derecha), véase: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (diciembre de 2000). Isomorfismo de incrustaciones de Galois (informe técnico). Vol. 122. GMD . p. 9-14. ISSN  1435-2702.(Sin embargo, el artículo original sólo considera redes completas)
  12. ^ Patrick Cousot; Radhia Cousot (enero de 1979). "Diseño sistemático de marcos de análisis de programas" (PDF) . Actas del 6.º Simposio ACM sobre principios de lenguajes de programación (POPL) . ACM Press. págs. 269–282.

Referencias

Los siguientes libros y artículos de investigación incluyen conexiones de Galois que utilizan la definición monótona:

Algunas publicaciones que utilizan la definición original (antítona):