| German |
| has gloss | deu: Die Galoisverbindung ist nach Évariste Galois benannt. Man versteht darunter den folgenden Sachverhalt: |
| lexicalization | deu: Galois-Verbindung |
| lexicalization | deu: Galoisverbindung |
| French |
| has gloss | fra: (m_1,m_2) est une correspondance de Galois si pour tout p, p_1, p_2 \in P et pour tout q, q_1, q_2 \in Q : * p_1 \leq_P p_2 \Longrightarrow m_1(p_2) \leq_Q m_1(p_1) * q_1 \leq_Q q_2 \Longrightarrow m_2(q_2) \leq_P m_2(q_1) * p \leq_P m_2(m_1(p)) et q \leq_Q m_1(m_2(q)) |
| lexicalization | fra: Correspondance De Galois |
| Portuguese |
| has gloss | por: Em matemática, especialmente na teoria da ordem, a Conexão de Galois é uma correspondência particular entre dois conjuntos parcialmente ordenados (abreviado "poset" em inglês). Conexões de Galois generalizam a correspondência entre subgrupos e subcampos investigados na Teoria de Galois. Elas tem aplicação em várias teorias matemáticas. |
| lexicalization | por: Conexão de Galois |
| Russian |
| lexicalization | rus: Соответствие Галуа |
| Castilian |
| has gloss | spa: En matemática, especialmente en la teoría del orden, una conexión de Galois es una correspondencia particular entre dos conjuntos parcialmente ordenados (abreviado "poset" en inglés). Las conexiones de Galois generalizan la correspondencia entre subgrupos y subcuerpos investigada en la teoría de Galois. Tienen aplicación en varias teorías matemáticas. |
| lexicalization | spa: Conexion de Galois |
| lexicalization | spa: conexión de Galois |
| Chinese |
| has gloss | zho: 在数学中,特别是在序理论中,伽罗瓦连接是在两个偏序集("poset")之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 |
| lexicalization | zho: 伽罗瓦连接 |