गैलोइस कनेक्शन: Difference between revisions

Latest revision as of 16:49, 10 October 2023

गणित में, विशेष रूप से क्रम सिद्धांत में, गाल्वा संयोजन दो आंशिक रूप से क्रमित समुच्चय (क्रमित समुच्चय) के बीच एक विशेष संगति (सामान्यतः) होते है। गाल्वा संयोजन विभिन्न गणितीय सिद्धांतों में अनुप्रयोग खोजते हैं। वे उपसमूहों और क्षेत्र विस्तार के बीच संगति के वस्तु में गाल्वा सिद्धांत के मौलिक प्रमेय को सामान्यीकृत करते हैं, जिसे फ्रांसीसी गणितज्ञ इवरिस्टे गाल्वा द्वारा खोजा गया था।

गाल्वा संयोजन को पहले से क्रमित किए गए समुच्चय या पहले से क्रमित किए गए वर्ग पर भी परिभाषित किया जा सकता है; यह लेख क्रमित समुच्चयों के सामान्य स्थिति को प्रस्तुत करते है। साहित्य में गाल्वा संयोजन की दो निकट संबंधी धारणाएँ हैं। इस लेख में, हम उन्हें (एकदिष्ट) गाल्वा संयोजन और एंटीटोन गाल्वा संयोजन के रूप में संदर्भित करेंगे।

सम्मिलित क्रमित समुच्चयों के बीच एक क्रम समरूपता की तुलना में गाल्वा संयोजन अपेक्षाकृत दुर्बल है, परन्तु प्रत्येक गाल्वा संयोजन कुछ उप-क्रमित समुच्चयों के समरूपता को जन्म देता है, जैसा कि नीचे बताया जाएगा। गाल्वा संगति पद का प्रयोग कभी-कभी विशेषण गाल्वा संयोजन के अर्थ में किया जाता है; यह मात्र एक क्रम समरूपता है (या द्वैत क्रम समरूपता, इस पर निर्भर करते है कि क्या हम एकदिष्ट या एंटीटोन गाल्वा संयोजन लेते हैं)।

परिभाषाएँ

(एकदिष्ट) गाल्वा संयोजन

बता दें कि $(A, \leq)$ और $(B, \leq)$ दो आंशिक रूप से क्रमित किए गए समुच्चय हैं। इन क्रमित समुच्चयों के बीच एकदिष्ट गाल्वा संयोजन में दो एकदिष्ट फलन होते हैं^[1] फलन (गणित) : $F : A \to B$ और $G : B \to A$ , जैसे कि $A$ में सभी $a$ और $B$ में $b$ के लिए, अपने निकट

F (a) \leq b

है यदि और मात्र यदि

a \leq G (b)

a \leq G (b)

।

इस स्थिति में, $F$ को $G$ का निम्नतर संलग्नक कहा जाता है और $G$ को F का उच्चतर संलग्नक कहा जाता है। स्मरणीय रूप से, उच्चतर/निचली पदावली से तात्पर्य है जहां फलन अनुप्रयोग ≤ के सापेक्ष प्रकट होते है।^[2] संलग्न पद इस तथ्य को संदर्भित करते है कि एकदिष्ट गाल्वा संयोजन श्रेणी सिद्धांत में संलग्न प्रकार्यक के संलग्नक की विशेष स्थिति हैं जैसा कि नीचे चर्चा की गई है। यहाँ अन्य पदावली का सामना निम्न (उत्तर. उच्चतर) संलग्न के लिए बाएँ संलग्न (उत्तर दाएँ संलग्न) से होता है।

गाल्वा संयोजन का आवश्यक गुण यह है कि गाल्वा संयोजन का एक उच्चतर / निम्नतर संलग्नक विशिष्ट दूसरे को निर्धारित करते है:

F (a)

a \leq G (~ b)

के साथ कम से कम अवयव

~ b

है, और

G (b)

F (~ a) \leq b

सबसे बड़ा अवयव

~ a

है।

इसका परिणाम यह है कि यदि $F$ या $G$ व्युत्क्रमणीय है,^{[clarification needed]} तो प्रत्येक दूसरे का व्युत्क्रम है, अर्थात $F = G -1$ ।

निम्नतर संलग्न के साथ गाल्वा संयोजन दिया गया $F$ और उच्चतर संलग्न $G$ , हम फलन संरचना पर विचार कर सकते हैं $GF : A \to A$ , जिसे संबद्ध संवरक संक्रियक के रूप में जाना जाता है, और $FG : B \to B$ , संबद्ध मूल संक्रियक के रूप में जाना जाता है। दोनों एकदिष्ट और इदम्पोटेंट हैं, और हमारे निकट $A$ में सभी $a$ के लिए $a \leq GF (a)$ और $B$ में सभी के लिए $b$ $FG (b) \leq b$ सभी के लिए है।

$A$ में $B$ का गाल्वा सम्मिलन गाल्वा संयोजन है जिसमें मूल संक्रियक $FG$ $B$ तत्समक फलन है, और इसलिए $G$ , $A$ के संवृत अवयवों $GF$ [ $A$ ] के समुच्चय पर $B$ का एक क्रम समरूपता है।^[3]

एंटीटोन गाल्वा संयोजन

उपरोक्त परिभाषा आज कई अनुप्रयोगों में सामान्य है, और जालक (क्रम) और प्रांत सिद्धांत में प्रमुख है। यद्यपि गाल्वा सिद्धांत में मूल धारणा थोड़ी अलग है। इस वैकल्पिक परिभाषा में, गाल्वा संयोजन एंटीटोन की एक संलग्नक है, अर्थात क्रम-उत्क्रमणीय, फलन $F : A \to B$ और $G : B \to A$ दो क्रमित $A$ और $B$ के बीच, जैसे कि

b \leq F (a)

यदि और मात्र यदि

a \leq G (b)

।

इस संस्करण में $F$ और $G$ की समरूपता उच्चतर और निम्नतर के बीच के अंतर को समाप्त कर देती है, और दो फलनों को फिर संलग्न के अतिरिक्त ध्रुवीकरण कहा जाता है।^[4] चूंकि प्रत्येक ध्रुवता विशिष्ट रूप से दूसरे को निर्धारित करती है

F (a)

a \leq G (b)

के साथ सबसे बड़ा अवयव

b

है, और

G (b)

b \leq F (a)

के साथ सबसे बड़ा अवयव

a

है।

रचनाएँ $GF : A \to A$ और $FG : B \to B$ संबंधित संवरक संक्रियक हैं; वे $A$ में सभी $a$ के लिए गुण $a \leq GF (a)$ और $B$ में सभी $b$ के लिए $b \leq FG (b)$ के साथ एकदिष्ट आदर्श इदम्पोटेंट प्रतिचित्र हैं।

गाल्वा संयोजन की दो परिभाषाओं के निहितार्थ बहुत समान हैं, क्योंकि $A$ और $B$ के बीच एंटीटोन गाल्वा संयोजन $A$ और $B$ [[द्वैत (आदेश सिद्धांत)|द्वैत (क्रम सिद्धांत) $B op$ ]] के बीच मात्र एकदिष्ट गाल्वा संयोजन है। गाल्वा संयोजन पर नीचे दिए गए सभी कथन इस प्रकार सरलता से एंटीटोन गाल्वा संयोजन के कथनों में परिवर्तित किए जा सकते हैं।

उदाहरण

एकदिष्ट गाल्वा संयोजन

घात समुच्चय; निहितार्थ और संयोजन

क्रम-सैद्धांतिक उदाहरण के लिए, $U$ को कुछ समुच्चय (गणित) होने दें, और $A$ और $B$ दोनों को $U$ की घात समूहित होने दें, जो अंतर्वेश द्वारा क्रमित किया गया। $U$ का एक निश्चित उपसमुच्चय $L$ चुनें। फिर प्रतिचित्र $F$ और $G$ , जहां $F (M) = L \cap M$ , और $G(N ) = N ∪ (U \ L)$ , एकदिष्ट गाल्वा संयोजन बनाते हैं, जिसमें $F$ निम्नतर संलग्न है। एक समान गाल्वा संयोजन जिसका निम्नतर संलग्न जोड़ (न्यूनतम) संचालन द्वारा दिया गया है, किसी भी हेटिंग बीजगणित में पाया जा सकता है। विशेष रूप से, यह किसी भी बूलियन बीजगणित (संरचना) में स्थित है, जहां दो प्रतिचित्रण को $F (x) = (a \land x)$ और $G (y) = (y \lor \neg a) = (a \Rightarrow y)$ द्वारा वर्णित किया जा सकता है। तार्किक पदों में: $a$ से निहितार्थ " $a$ " के साथ संयोजन का उच्चतर संलग्नक है।

जालक

गाल्वा संयोजन के लिए और रुचिपूर्ण उदाहरण पूर्णता (क्रम सिद्धांत) पर लेख में वर्णित हैं। साधारणनिर्धारिता बोलते हुए, यह पता चला है कि सामान्य फलन ∨ और ∧ विकर्ण प्रतिचित्र $X \to X \times X$ के निम्नतर और उच्चतर भाग हैं। आंशिक क्रम के निम्नतम और सबसे बड़े अवयव अद्वितीय फलन $X \to {1}$ के निम्नतर और उच्चतर संलग्नक द्वारा दिए गए हैं। आगे जाकर, पूर्ण जालकों को भी उपयुक्त संलग्नकों के अस्तित्व द्वारा अभिलक्षित किया जा सकता है। ये विचार क्रम सिद्धांत में गाल्वा संयोजन की सर्वव्यापकता का कुछ अनुप्रभाव देते हैं।

संक्रामी समूह क्रियाएं

मान लीजिए कि $G$ , $X$ पर समूह क्रिया से कार्य करता है और $X$ में कोई बिंदु $x$ चुनता है।

{\mathcal {B}}=\{B\subseteq X:x\in B;\forall g\in G,gB=B\ \mathrm {or} \ gB\cap B=\emptyset \},

पर विचार करें, $x$ युक्त कक्ष का समुच्चय। इसके अतिरिक्त, ${\mathcal {G}}$ में $G$ के उपसमूह होते हैं जिनमें $x$ के स्थिरक होते हैं।

फिर, संगति ${\mathcal {B}}\to {\mathcal {G}}$ :

B\mapsto H_{B}=\{g\in G:gx\in B\}

एकदिष्ट, अंतःक्षेप फलन गाल्वा संयोजन है।^[5] एक उपप्रमेय के रूप में, कोई यह स्थापित कर सकता है कि द्विगुणित संक्रामी क्रियाओं में साधारण लोगों (एकल या संपूर्ण $X$ ) के अतिरिक्त कोई कक्ष नहीं है: यह उस स्थिति में $G$ स्थिरक में अधिकतम होने के कारण होते है। आगे की चर्चा के लिए 2-संक्रामी समूह देखें।

प्रतिबिंब और प्रतिलोम प्रतिबिंब

यदि $f : X \to Y$ एक फलन (गणित) है, तो $X$ के किसी उपसमुच्चय $M$ के लिए का हम प्रतिबिंब $F (M) = f M = {f (m) | m \in M}$ बना सकते हैं (गणित) और $Y$ के किसी उपसमुच्चय $N$ के लिए हम प्रतिलोम प्रतिबिंब $G (N) = f -1 N = {x \in X | f (x) \in N}$ बना सकते हैं। फिर $F$ और $G$ , $X$ की घात समुच्चय $Y$ की घात समुच्चय के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं और का घात समुच्चय, दोनों समावेशन ⊆ द्वारा क्रमित होते हैं। इस स्थिति में एक और संलग्न युग्म है: $X$ के उपसमुच्चय $M$ के लिए, $H (M) = {y \in Y | f -1 {y} \subseteq M}$ परिभाषित करें। फिर $G$ और $H$ , $Y$ की घात समुच्चय और $X$ की घात समुच्चय के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं। पहले गाल्वा संयोजन में, $G$ उच्चतर संलग्नक है, जबकि दूसरे गाल्वा संयोजन में यह निम्नतर संलग्नक के रूप में कार्य करते है।

बीजगणितीय वस्तुओं (जैसे समूह (गणित) ) के बीच एक अंश समूह की स्थिति में, इस संयोजन को जालक प्रमेय कहा जाता है: $G$ के उपसमूह $G / N$ के उपसमूहों से संबद्ध हैं, और $G$ के उपसमूहों पर संवरक संक्रियक $H = HN$ द्वारा दिया जाता है।

विस्तृति और संवरक

कुछ गणितीय वस्तु $X$ चुनें जिसमें एक अंतर्निहित समुच्चय हो, उदाहरण के लिए समूह, वलय (गणित), सदिश समष्टि इत्यादि। $X$ के किसी भी उपसमुच्चय $S$ के लिए, $F (S)$ को $X$ का सबसे छोटा उपवस्तु होने दें जिसमें $S$ सम्मिलित हो, अर्थात $S$ द्वारा उत्पन्न उपसमूह, उपसमूह या उपसमष्टि। $X$ के किसी भी वस्तु $U$ के लिए, $G (U)$ को $U$ का अंतर्निहित समुच्चय होने दें। (हम $X$ को एक सांस्थितिक समष्टि भी ले सकते हैं, $F (S)$ को $S$ के संवरक (सांस्थिति) होने दें, और $X$ के संवृत उपसमुच्चय $X$ के उपवस्तु के रूप में लें।) अब $F$ और $G$ $X$ के उपवस्तु के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं, यदि दोनों को समावेशन द्वारा क्रमित किया गया है। $F$ निम्नतर सन्निकट है।

वाक्यविन्यास और शब्दार्थ

विलियम लॉवरे की एक बहुत ही सामान्य टिप्पणी^[6] यह है कि वाक्य रचना और शब्दार्थ संलग्न हैं: $A$ को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) के के रूप में लें, और $B$ को सभी गणितीय संरचनाओं के समुच्चय की घात समुच्चय मानें। सिद्धांत $T \in A$ के लिए, मान लीजिए $Mod(T)$ उन सभी संरचनाओं का समुच्चय है जो सिद्धांतों $T$ को संतुष्ट करते हैं; गणितीय संरचनाओं के एक समुच्चय $S \in B$ के लिए, $Th(S)$ को कम से कम स्वयंसिद्धीकरण हो जो लगभग $S$ हो (प्रथम-क्रम तर्क में, यह वाक्यों का समुच्चय है जो $S$ में सभी संरचनाओं में सत्य हैं)। हम फिर कह सकते हैं कि $Mod(T)$ $S$ का उपसमुच्चय है यदि और मात्र यदि $T$ तार्किक रूप से $Th(S)$ का तात्पर्य है: स्मरणीय प्रकार्यक $Mod$ और वाक्यविन्यास प्रकार्यक $Th$ एकदिष्ट गाल्वा संयोजन बनाते हैं, जिसमें शब्दार्थ उच्चतर संलग्न होते है।

एंटीटोन गाल्वा संयोजन

गाल्वा सिद्धांत

प्रेरक उदाहरण गाल्वा सिद्धांत से आता है: मान लीजिए $L / K$ एक क्षेत्र विस्तार है। मान लीजिए $A$ , $L$ के सभी उपक्षेत्रों का समुच्चय हो जिसमें $K$ सम्मिलित है, समावेशन ⊆ द्वारा क्रमित। यदि एक $E$ ऐसा उपक्षेत्र है, तो $L$ के क्षेत्र स्वसमाकृतिकता के समूह के लिए $Gal(L / E)$ लिखें जो $E$ को स्थिर रखता है। $B$ को समावेशन ⊆ द्वारा क्रमित $Gal(L / K)$ के उपसमूहों का समुच्चय होने दें। ऐसे उपसमूह $G$ के लिए, $Fix(G)$ को $L$ के सभी अवयवों से युक्त क्षेत्र के रूप में परिभाषित करें जो $G$ के सभी अवयवों द्वारा निर्धारित किए गए हैं। फिर प्रतिचित्र $E \mapsto Gal(L / E)$ और $G \mapsto Fix(G)$ एंटीटोन गाल्वा संयोजन बनाते हैं।

बीजगणितीय सांस्थिति: रिक्त समष्टि को आच्छादित करना

समान रूप से, एक पथ-संयोजित सांस्थितिक समष्टि $X$ दिया गया, मौलिक समूह $π 1 (X)$ के उपसमूहों और $X$ के पथ संबद्ध आच्छादित रिक्त समष्टि के बीच एक एंटीटोन गाल्वा संयोजन है। विशेष रूप से, यदि $X$ अर्ध- सांस्थितिक रूप से मात्र संयोजित है, तो $π 1 (X)$ के प्रत्येक उपसमूह $G$ के लिए, इसके मूलभूत समूह के रूप में $G$ के साथ एक आवरण समष्टि है।

रेखीय बीजगणित: समुच्छेदक और लाम्बिक पूरक

एक आंतरिक उत्पाद समष्टि $V$ दिया गया है, हम $V$ के किसी भी उप-समष्टि $X$ के लाम्बिक पूरक $F (X)$ बना सकते हैं। यह $V$ और स्वयं उप-समष्टि के समुच्चय के बीच एक एंटीटोन गाल्वा संयोजन उत्पन्न करते है, जो समावेशन द्वारा क्रमित होते है; दोनों ध्रुवताएं $F$ बराबर हैं।

सदिश समष्टि $V$ और $V$ का एक उपसमुच्चय $X$ दिया गया है, हम इसके समुच्छेदक $F (X)$ को परिभाषित कर सकते हैं, जिसमें $V$ के दोहरे समष्टि $V *$ के सभी अवयव सम्मिलित हैं जो $X$ पर गायब हो जाते हैं। इसी प्रकार, $V *$ का उपसमुच्चय $Y$ दिया गया है, इसके समुच्छेदक $G (Y) = {x \in V | φ (x) = 0 \forall φ \in Y}$ को परिभाषित करते। यह $V$ के उपसमुच्चय और $V *$ के उपसमुच्चय के बीच एक एंटीटोन गाल्वा संयोजन देते है।

बीजगणितीय ज्यामिति

बीजगणितीय ज्यामिति में, बहुपदों के समुच्चय और उनके शून्य समुच्चय के बीच का संबंध एंटीटोन गाल्वा संयोजन है।

एक प्राकृतिक संख्या $n$ और एक क्षेत्र (गणित) $K$ को ठीक करें और $A$ को बहुपद वलय $K [X 1, ..., X n]$ के सभी उपसमुच्चयों का समुच्चय होने दें, जो समावेशन ⊆ द्वारा क्रमित है, और $B$ को समावेशन ⊆ द्वारा क्रमित $K n$ के सभी उपसमुच्चयों का समुच्चय होने दें। यदि $S$ बहुपदों का एक समुच्चय है, तो विभिन्न प्रकार के शून्यों को

V(S)=\{x\in K^{n}:f(x)=0{\mbox{ for all }}f\in S\},

के रूप में परिभाषित करें, $S$ में बहुपदों के सामान्य शून्यों का समुच्चय है। यदि $U$ , $K n$ का उपसमुच्चय है, तो $I (U)$ को $U$ पर लुप्त होने वाले बहुपदों के आदर्श (वलय सिद्धांत) के रूप में परिभाषित करें, जो कि

I(U)=\{f\in K[X_{1},\dots ,X_{n}]:f(x)=0{\mbox{ for all }}x\in U\}

है।

फिर $V$ और I एक एंटीटोन गाल्वा संयोजन बनाते हैं।

$K n$ पर संवरक जरिस्की सांस्थिति में संवरक है, और यदि क्षेत्र $K$ बीजगणितीय रूप से संवृत क्षेत्र है, तो बहुपद वलय पर संवृत होना $S$ द्वारा उत्पन्न आदर्श का मूलांक है।

अधिक सामान्यतः, एक क्रमविनिमेय वलय $R$ (अनिवार्य रूप से एक बहुपद वलय) दिया गया हो, वलय में मूलांक आदर्शों और बीजगणितीय ज्यामिति के सजातीय उप-प्रकारों $Spec (R)$ के बीच एक एंटीटोन गाल्वा संयोजन होते है।

अधिक सामान्यतः, वलय में आदर्शों और संबंधित बीजगणितीय ज्यामिति सजातीय प्रकारों की उपयोजनाओं के बीच एक एंटीटोन गाल्वा संयोजन होते है।

बाइनरी संबंधों से उत्पन्न होने वाले घात समुच्चय पर संयोजन

मान लीजिए $X$ और $Y$ स्वेच्छ समुच्चय हैं और $X$ और $Y$ पर एक द्विआधारी संबंध $R$ दिया हुआ है। $X$ के किसी उपसमुच्चय $M$ के लिए, हम $F (M) = {y \in Y | mRy \forall m \in M}$ परिभाषित करते हैं। इसी प्रकार, $Y$ के किसी उपसमुच्चय $N$ के लिए, $G (N) = {x \in X | xRn \forall n \in N}$ परिभाषित करना। फिर $F$ और $G$ , $X$ और $Y$ की घात समुच्चय के बीच एक एंटीटोन गाल्वा संयोजन उत्पन्न करते हैं, दोनों समावेशन ⊆ द्वारा क्रमित होते हैं।^[7]

समरूपता तक घात समुच्चय के बीच सभी एंटीटोन गाल्वा संयोजन इस प्रकार से उत्पन्न होते हैं। यह अवधारणा जालक पर मूलभूत प्रमेय से आता है।^[8] औपचारिक अवधारणा विश्लेषण में द्विआधारी संबंधों से उत्पन्न होने वाले गाल्वा संयोजन के सिद्धांत और अनुप्रयोगों का अध्ययन किया जाता है। वह क्षेत्र गणितीय डेटा विश्लेषण के लिए गाल्वा संयोजन का उपयोग करते है। संबंधित साहित्य में गाल्वा संयोजन के लिए कई एल्गोरिदम पाए जा सकते हैं, उदाहरण के लिए।^[9]

गुण

निम्नलिखित में, हम एक (एकदिष्ट) गाल्वा संयोजन $f = (f *, f *)$ पर विचार करते हैं, जहां f ^∗ : A → B जैसा कि ऊपर प्रस्तुत किया गया है, निम्नतर संलग्नक है। कुछ सहायक और शिक्षाप्रद मूलभूत गुणों को तुरंत प्राप्त किया जा सकता है। गाल्वा संयोजन के परिभाषित गुण द्वारा, $f * (x) \leq f * (x)$ , $x \leq f * (f * (x))$ के बराबर है, $A$ में सभी $x$ के लिए। इसी प्रकार के तर्क से (या मात्र द्वैत (क्रम सिद्धांत) को लागू करके), कोई यह पाता है कि $f * (f * (y)) \leq y$ , $B$ में सभी $y$ के लिए। संयुक्त $f * \circ f *$ कहकर इन गुणों का वर्णन किया जा सकता है, जबकि $f * \circ f *$ स्फीति (या व्यापक) है।

अब $x, y \in A$ पर विचार करें कि $x \leq y$ । फिर उपरोक्त का उपयोग करके $x \leq f * (f * (y))$ प्राप्त होते है। गाल्वा संयोजन के मूल गुण को लागू करने से अब यह निष्कर्ष निकाला जा सकता है कि $f * (x) \leq f * (y)$ । परन्तु यह मात्र यही दर्शाता है कि $f *$ किन्हीं भी दो अवयवों के क्रम को बनाए रखता है, अर्थात यह एकदिष्ट है। फिर से, इसी प्रकार के तर्क से $f *$ की एकरसता उत्पन्न होती है। इस प्रकार एकरसता को स्पष्ट रूप से परिभाषा में सम्मिलित करने की आवश्यकता नहीं है। यद्यपि, एकदिष्टता का उल्लेख करने से गाल्वा संयोजन की दो वैकल्पिक धारणाओं के विषय में भ्रम से बचने में सहायता मिलती है।

गाल्वा संयोजन का एक और मूलभूत गुण यह तथ्य है कि $f * (f * (f * (x))) = f * (x)$ , $B$ में सभी $x$ के लिए। स्पष्ट रूप से हम पाते हैं कि

f * (f * (f * (x))) \geq f * (x)

।

क्योंकि $f * \circ f *$ स्फीतिकारक है जैसा कि ऊपर दिखाया गया है। दूसरी ओर, चूंकि $f * \circ f *$ अपस्फीतिकारक है, जबकि $f *$ एकदिष्टता है, कोई पाता है कि

f * (f * (f * (x))) \leq f * (x)

।

यह वांछित समानता दिखाता है। इसके अतिरिक्त, हम इस गुण का उपयोग यह निष्कर्ष निकालने के लिए कर सकते हैं कि

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

और

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

अर्थात, $f * \circ f *$ और $f * \circ f *$ इदम्पोटेंट हैं।

यह दिखाया जा सकता है (प्रमाण के लिए बेलीथ या एर्ने देखें) कि एक फलन $f$ एक निम्नतर (प्रतिक्रिया उच्चतर) संलग्न है यदि और मात्र यदि $f$ एक अवशिष्ट प्रतिचित्रण (प्रतिक्रिया अवशिष्ट प्रतिचित्रण) है। इसलिए, अवशिष्ट प्रतिचित्रण और एकदिष्ट गाल्वा संयोजन की धारणा अनिवार्य रूप से समान है।

संवरक संक्रियक और गाल्वा संयोजन

उपरोक्त निष्कर्षों को निम्नानुसार संक्षेपित किया जा सकता है: गाल्वा संयोजन के लिए, समग्र $f * \circ f *$ एकदिष्ट है (एकदिष्ट फलनों का सम्मिश्रण होने के कारण), स्फीतिकारी और निष्क्रिय है। यह बताता है कि $f * \circ f *$ वस्तुतः $A$ पर संवरक संक्रियक है। दैनिक रूप से, $f * \circ f *$ एकदिष्ट, अपस्फीति और इदम्पोटेंट है। ऐसे प्रतिचित्रण को कभी-कभी मूल संक्रियक कहा जाता है। फ्रेम और अवस्थिति के संदर्भ में, समग्र $f * \circ f *$ को $f$ द्वारा प्रेरित नाभिक कहा जाता है। नाभिक प्रेरित फ्रेम समरूपता; अवस्थिति के एक उपसमुच्चय को उपअवस्थिति कहा जाता है यदि यह एक नाभिक द्वारा दिया जाता है।

विरूपण (तर्क), किसी क्रमित समुच्चय $A$ पर कोई संवरक संक्रियक $c$ गाल्वा संयोजन को निम्नतर सन्निकट $f *$ के साथ जन्म देते है, जो कि $c$ के प्रतिबिंब के लिए $c$ का सह प्रतिबंध है (अर्थात संवरक प्रणाली $c (A)$ के एक विशेषण प्रतिचित्रण के रूप में)। उच्चतर संलग्नक $f *$ फिर $c (A)$ को $A$ में समावेशन करके दिया जाता है, जो प्रत्येक संवृत अवयव को $A$ के अवयव के रूप में माना जाता है। प्रत्येक दूसरे के एक उदाहरण को निर्दिष्ट करते है। इसी प्रकार के निष्कर्ष मूल संक्रियकों के लिए सत्य हैं।

उपरोक्त विचार यह भी दिखाते हैं कि $A$ के संवृत अवयव (अवयव $x$ के साथ $f * (f * (x)) = x$ ) मूल संक्रियक $f * \circ f *$ की सीमा के भीतर अवयवों के लिए प्रतिचित्रित किए गए हैं, और इसके विपरीत।

गाल्वा संयोजन का अस्तित्व और विशिष्टता

गाल्वा संयोजन की एक और महत्वपूर्ण गुण यह है कि निम्नतर संलग्न सीमा (क्रम सिद्धांत) को संरक्षित करते हैं जो कि एक फलन के अपने प्रांत के भीतर स्थित हैं। दैनिक रूप से, उच्चतर अनुलग्न सभी स्थिता निम्नतम को संरक्षित करते हैं। इन गुणों से, कोई भी तुरंत संलग्नों की एकरसता का निष्कर्ष निकाल सकता है। संलग्न प्रकार्यक प्रमेय (क्रम सिद्धांत) कहता है कि कुछ स्थितियों में व्युत्क्रमणीय निहितार्थ भी मान्य है: विशेष रूप से, पूर्ण जालक के बीच कोई प्रतिचित्रण जो सभी उच्चतम को संरक्षित करते है, गाल्वा संयोजन का निम्नतर संलग्न है।

इस स्थिति में, गाल्वा संयोजन की एक महत्वपूर्ण विशेषता यह है कि एक संलग्न दूसरे को विशिष्ट रूप से निर्धारित करते है। इसलिए उपरोक्त कथन को दृढ करने के लिए यह गारंटी दी जा सकती है कि पूर्ण जालक के बीच कोई सर्वोच्च-संरक्षित प्रतिचित्र एक अद्वितीय गाल्वा संयोजन का निम्नतर भाग है। इस अद्वितीयता को प्राप्त करने की मुख्य विशेषता निम्नलिखित है: $A$ में प्रत्येक $x$ के लिए, $f * (x)$ $B$ का निम्नतम अवयव $y$ है जैसे कि $x \leq f * (y)$ । वस्तुतः, $B$ में प्रत्येक $y$ के लिए, $f * (y)$ $A$ में सबसे बड़ा $x$ है जैसे कि ऐसा है कि $f * (x) \leq y$ । एक निश्चित गाल्वा संयोजन का अस्तित्व अब संबंधित निम्नतम या सबसे बड़े अवयवों के अस्तित्व का अर्थ है, चाहे संबंधित क्रमित समुच्चय किसी पूर्णता (क्रम सिद्धांत) को संतुष्ट करते हों। इस प्रकार, जब गाल्वा संयोजन का एक उच्चतर संलग्नक दिया जाता है, तो दूसरे उच्चतर संलग्नक को इसी गुण के माध्यम से परिभाषित किया जा सकता है।

दूसरी ओर, कुछ एकदिष्ट फलन $f$ एक निम्नतर संलग्न है यदि और मात्र यदि प्रत्येक समुच्चय ${x \in A | f (x) \leq b},$ $b$ के लिए $B$ में, सबसे बड़ा अवयव होता है। दोबारा, यह उच्चतर संलग्न के लिए दोहरा हो सकता है।

गाल्वा संयोजन आकारिता के रूप में

गाल्वा संयोजन क्रमित समुच्चयों के बीच प्रतिचित्रण का एक रुचिपूर्ण वर्ग भी प्रदान करते है जिसका उपयोग क्रमित समुच्चयों की श्रेणी (गणित) प्राप्त करने के लिए किया जा सकता है। विशेष रूप से, गाल्वा संयोजन बनाना संभव है: दिए गए गाल्वा संयोजन $(f *, f *)$ क्रमित समुच्चय $A$ और $B$ के बीच और $(g *, g *)$ $B$ और $C$ बीच, समग्र $(g * \circ f *, f * \circ g *)$ भी गाल्वा संयोजन है। जब पूर्ण जालक की श्रेणियों पर विचार किया जाता है, तो इसे सभी उच्चतम (या, वैकल्पिक रूप से, निम्नतम) को संरक्षित करने वाले प्रतिचित्रण पर विचार करने के लिए सरल बनाया जा सकता है। अपने द्वैत के लिए पूर्ण जालक का प्रतिचित्रण, ये श्रेणियां स्वत: द्वैत (श्रेणी सिद्धांत) प्रदर्शित करती हैं, जो अन्य द्वैत प्रमेयों को प्राप्त करने के लिए अत्यधिक मौलिक हैं। अधिक विशेष प्रकार के आकारिता जो दूसरी दिशा में संलग्न प्रतिचित्रण को प्रेरित करते हैं वे आकारिता हैं जिन्हें सामान्यतः पूर्ण हेटिंग बीजगणित (या अवस्थिति) के लिए माना जाता है।

श्रेणी सिद्धांत से संबंध

प्रत्येक आंशिक रूप से क्रमित समुच्चय को प्राकृतिक तरीके से एक श्रेणी के रूप में देखा जा सकता है: x से y तक एक अद्वितीय रूपवाद है यदि और मात्र यदि $x \leq y$ । एकदिष्ट गाल्वा संयोजन फिर आंशिक रूप से क्रमित समुच्चय से उत्पन्न होने वाली दो श्रेणियों के बीच संलग्न प्रकार्यक की एक संलग्नक के अतिरिक्त कुछ भी नहीं है। इस संदर्भ में, उच्चतर संलग्नक दाहिनी ओर है जबकि निम्नतर संलग्नक बाएं संलग्न है। यद्यपि, इस पदावली को गाल्वा संयोजन के लिए टाला जाता है, क्योंकि एक समय था जब क्रमित समुच्चयों को दोहरी शैली में श्रेणियों में बदल दिया गया था, अर्थात विपरीत दिशा में संकेत करते हुए आकारिकी के साथ। इससे बाएँ और दाएँ सन्निकटों से संबंधित एक पूरक अंकन हुआ, जो आज अस्पष्ट है।

प्रोग्रामिंग के सिद्धांत में अनुप्रयोग

प्रोग्रामिंग भाषाओं की अमूर्त व्याख्या के सिद्धांत में अमूर्तता के कई रूपों का वर्णन करने के लिए गाल्वा संयोजन का उपयोग किया जा सकता है।^[10]^[11]

↑ Monotonicity follows from the following condition. See the discussion of the properties. It is only explicit in the definition to distinguish it from the alternative antitone definition. One can also define Galois connections as a pair of monotone functions that satisfy the laxer condition that for all $x$ in $A$ , $x \leq g (f (x))$ and for all $y$ in $B$ , $f (g (y)) \leq y$ .
↑ Gierz, p. 23
↑ Bistarelli, Stefano (2004). सॉफ्ट कंस्ट्रेंट सॉल्विंग एंड प्रोग्रामिंग के लिए सेमीरिंग्स. Lecture Notes in Computer Science. Vol. 2962. Springer-Verlag. p. 102. arXiv:cs/0208008. doi:10.1007/978-3-540-25925-1_8. ISBN 3-540-21181-0. ISSN 0302-9743.
↑ Galatos, p. 145
↑ See Alperin, Bell, Groups and Representations (GTM 162), p. 32
↑ William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.
↑ Birkhoff, 1st edition (1940): §32, 3rd edition (1967): Ch. V, §7 and §8
↑ Ganter, B. and Wille, R. Formal Concept Analysis -- Mathematical Foundations, Springer (1999), ISBN 978-3-540-627715
↑ Ganter, B. and Obiedkov, S. Conceptual Exploration, Springer (2016), ISBN 978-3-662-49290-1
↑ Patrick Cousot; Radhia Cousot (Jan 1977). "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" (PDF). Proc. 4th ACM Symp. on Principles of Programming Languages (POPL). pp. 238–252.
For a counterexample for the false theorem in Sect.7 (p.243 top right), see: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Dec 2000). Isomorphism of Galois Embeddings (Technical report). Vol. 122. GMD. p. 9-14. ISSN 1435-2702. (However the original article only considers complete lattices)
↑ Patrick Cousot; Radhia Cousot (Jan 1979). "Systematic Design of Program Analysis Frameworks" (PDF). Proc. 6th ACM Symp. on Principles of Programming Languages (POPL). ACM Press. pp. 269–282.

संदर्भ

The following books and survey articles include गाल्वा connections using the monotone definition:

Brian A। Davey and Hilary A। Priestley: Introduction to Lattices and Order, Cambridge University Press, 2002।
Gerhard Gierz, Karl H। Hofmann, Klaus Keimel, Jimmie D। Lawson, Michael W। Mislove, Dana S। Scott: Continuous Lattices and Domains, Cambridge University Press, 2003।
Marcel Erné, Jürgen Koslowski, Austin Melton, George E। Strecker, A primer on गाल्वा connections, in: Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences, Vol। 704, 1993, pp। 103–125। (Freely available online in various file formats PS।GZ PS, it presents many examples and results, as well as notes on the different notations and definitions that arose in this area।)

Some publications using the original (antitone) definition:

Mac Lane, Saunders (September 1998). Categories for the Working Mathematician (Second ed.). Springer. ISBN 0-387-98403-8.
Thomas Scott Blyth, Lattices and Ordered Algebraic Structures, Springer, 2005, ISBN 1-85233-905-5।
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono (2007), Residuated Lattices। An Algebraic Glimpse at Substructural Logics, Elsevier, ISBN 978-0-444-52141-5।
Garrett Birkhoff: Lattice Theory, Amer। Math। Soc। Coll। Pub।, Vol 25, 1940
Ore, Øystein (1944), "Galois Connexions", Transactions of the American Mathematical Society, 55 (3): 493–513, doi:10.2307/1990305, JSTOR 1990305

[1] Monotonicity follows from the following condition. See the discussion of the properties. It is only explicit in the definition to distinguish it from the alternative antitone definition. One can also define Galois connections as a pair of monotone functions that satisfy the laxer condition that for all $x$ in $A$ , $x \leq g (f (x))$ and for all $y$ in $B$ , $f (g (y)) \leq y$ .

[2] Gierz, p. 23

[3] Bistarelli, Stefano (2004). सॉफ्ट कंस्ट्रेंट सॉल्विंग एंड प्रोग्रामिंग के लिए सेमीरिंग्स. Lecture Notes in Computer Science. Vol. 2962. Springer-Verlag. p. 102. arXiv:cs/0208008. doi:10.1007/978-3-540-25925-1_8. ISBN 3-540-21181-0. ISSN 0302-9743.

[4] Galatos, p. 145

[5] See Alperin, Bell, Groups and Representations (GTM 162), p. 32

[6] William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.

[7] Birkhoff, 1st edition (1940): §32, 3rd edition (1967): Ch. V, §7 and §8

[8] Ganter, B. and Wille, R. Formal Concept Analysis -- Mathematical Foundations, Springer (1999), ISBN 978-3-540-627715

[9] Ganter, B. and Obiedkov, S. Conceptual Exploration, Springer (2016), ISBN 978-3-662-49290-1

[10] Patrick Cousot; Radhia Cousot (Jan 1977). "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" (PDF). Proc. 4th ACM Symp. on Principles of Programming Languages (POPL). pp. 238–252.
For a counterexample for the false theorem in Sect.7 (p.243 top right), see: Jochen Burghardt; Florian Kammüller; Jeff W. Sanders (Dec 2000). Isomorphism of Galois Embeddings (Technical report). Vol. 122. GMD. p. 9-14. ISSN 1435-2702. (However the original article only considers complete lattices)

[11] Patrick Cousot; Radhia Cousot (Jan 1979). "Systematic Design of Program Analysis Frameworks" (PDF). Proc. 6th ACM Symp. on Principles of Programming Languages (POPL). ACM Press. pp. 269–282.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
-गणित में, विशेष रूप से क्रम सिद्धांत में, गैलोज़ कनेक्शन दो [[आंशिक रूप से आदेशित सेट]] (पॉसेट) के बीच एक विशेष पत्राचार (आमतौर पर) होता है। Galois कनेक्शन विभिन्न गणितीय सिद्धांतों में अनुप्रयोग खोजते हैं। वे [[उपसमूह]]ों और क्षेत्र विस्तार के बीच पत्राचार के बारे में [[गैल्वा सिद्धांत के मौलिक प्रमेय]] को सामान्यीकृत करते हैं, जिसे फ्रांसीसी गणितज्ञ इवरिस्टे गैलोइस द्वारा खोजा गया था।
+गणित में, विशेष रूप से क्रम सिद्धांत में, गाल्वा संयोजन दो [[आंशिक रूप से आदेशित सेट|आंशिक रूप से क्रमित समुच्चय]] (क्रमित समुच्चय) के बीच एक विशेष संगति (सामान्यतः) होते है। गाल्वा संयोजन विभिन्न गणितीय सिद्धांतों में अनुप्रयोग खोजते हैं। वे [[उपसमूह|उपसमूहों]] और क्षेत्र विस्तार के बीच संगति के वस्तु में [[गैल्वा सिद्धांत के मौलिक प्रमेय|गाल्वा सिद्धांत के मौलिक प्रमेय]] को सामान्यीकृत करते हैं, जिसे फ्रांसीसी गणितज्ञ इवरिस्टे गाल्वा द्वारा खोजा गया था।
-गैलोज़ कनेक्शन को पहले से ऑर्डर किए गए सेट या पहले से ऑर्डर किए गए वर्ग पर भी परिभाषित किया जा सकता है; यह लेख पोसेट्स के सामान्य मामले को प्रस्तुत करता है।
+गाल्वा संयोजन को पहले से क्रमित किए गए समुच्चय या पहले से क्रमित किए गए वर्ग पर भी परिभाषित किया जा सकता है; यह लेख क्रमित समुच्चयों के सामान्य स्थिति को प्रस्तुत करते है। साहित्य में गाल्वा संयोजन की दो निकट संबंधी धारणाएँ हैं। इस लेख में, हम उन्हें (एकदिष्ट) गाल्वा संयोजन और एंटीटोन गाल्वा संयोजन के रूप में संदर्भित करेंगे।
-साहित्य में गाल्वा कनेक्शन की दो निकट संबंधी धारणाएँ हैं। इस लेख में, हम उन्हें (मोनोटोन) गैलोज़ कनेक्शन और एंटीटोन गैलोज़ कनेक्शन के रूप में संदर्भित करेंगे।
-शामिल पॉसेट्स के बीच एक ऑर्डर आइसोमोर्फिज़्म की तुलना में गैलोज़ कनेक्शन अपेक्षाकृत कमजोर है, लेकिन प्रत्येक गैलोज़ कनेक्शन कुछ उप-पॉसेट्स के आइसोमोर्फिज़्म को जन्म देता है, जैसा कि नीचे बताया जाएगा।
+सम्मिलित क्रमित समुच्चयों के बीच एक क्रम समरूपता की तुलना में गाल्वा संयोजन अपेक्षाकृत दुर्बल है, परन्तु प्रत्येक गाल्वा संयोजन कुछ उप-क्रमित समुच्चयों के समरूपता को जन्म देता है, जैसा कि नीचे बताया जाएगा। गाल्वा संगति पद का प्रयोग कभी-कभी विशेषण ''गाल्वा संयोजन'' के अर्थ में किया जाता है; यह मात्र एक [[ आदेश समरूपता |क्रम समरूपता]] है (या द्वैत क्रम समरूपता, इस पर निर्भर करते है कि क्या हम एकदिष्ट या एंटीटोन गाल्वा संयोजन लेते हैं)।
-गाल्वा पत्राचार शब्द का प्रयोग कभी-कभी विशेषण ''गैलोइस कनेक्शन'' के अर्थ में किया जाता है; यह बस एक [[ आदेश समरूपता ]] है (या डुअल ऑर्डर आइसोमोर्फिज्म, इस पर निर्भर करता है कि क्या हम मोनोटोन या एंटीटोन गैलोज कनेक्शन लेते हैं)।
 == परिभाषाएँ ==
-=== (मोनोटोन) गाल्वा कनेक्शन ===
+=== (एकदिष्ट) गाल्वा संयोजन ===
-होने देना {{math|(''A'', ≤)}} और {{math|(''B'', ≤)}} दो आंशिक रूप से ऑर्डर किए गए सेट हों। इन पॉसेट्स के बीच एक मोनोटोन गैलोज़ कनेक्शन में दो [[मोनोटोन समारोह]] होते हैं<ref>Monotonicity follows from the following condition. See the discussion of the [[#Properties|properties]]. It is only explicit in the definition to distinguish it from the alternative ''antitone'' definition. One can also define Galois connections as a pair of monotone functions that satisfy the laxer condition that for all {{mvar|x}} in {{mvar|A}}, {{math|''x'' ≤ ''g''(&thinsp;''f''&thinsp;(''x''))}} and for all {{mvar|y}} in {{mvar|B}}, {{math|''f''&thinsp;(''g''(''y'')) ≤ ''y''}}.</ref> [[समारोह (गणित)]]: {{math|''F'' : ''A'' → ''B''}} और {{math|''G'' : ''B'' → ''A''}}, ऐसा कि सभी के लिए {{mvar|a}} में {{mvar|A}} और {{mvar|b}} में {{mvar|B}}, अपने पास
+बता दें कि {{math|(''A'', ≤)}} और {{math|(''B'', ≤)}} दो आंशिक रूप से क्रमित किए गए समुच्चय हैं। इन क्रमित समुच्चयों के बीच एकदिष्ट गाल्वा संयोजन में दो [[मोनोटोन समारोह|एकदिष्ट फलन]] होते हैं<ref>Monotonicity follows from the following condition. See the discussion of the [[#Properties|properties]]. It is only explicit in the definition to distinguish it from the alternative ''antitone'' definition. One can also define Galois connections as a pair of monotone functions that satisfy the laxer condition that for all {{mvar|x}} in {{mvar|A}}, {{math|''x'' ≤ ''g''(&thinsp;''f''&thinsp;(''x''))}} and for all {{mvar|y}} in {{mvar|B}}, {{math|''f''&thinsp;(''g''(''y'')) ≤ ''y''}}.</ref> [[समारोह (गणित)|फलन (गणित)]] : {{math|''F'' : ''A'' → ''B''}} और {{math|''G'' : ''B'' → ''A''}}, जैसे कि {{mvar|A}} में सभी {{mvar|a}} और {{mvar|B}} में {{mvar|b}} के लिए, अपने निकट
-:{{math|''F''(''a'') ≤ ''b''}} [[अगर और केवल अगर]] {{math|''a'' ≤ ''G''(''b'')}}.
+:{{math|''F''(''a'') ≤ ''b''}} है [[अगर और केवल अगर|यदि और मात्र यदि]] {{math|''a'' ≤ ''G''(''b'')}} {{math|''a'' ≤ ''G''(''b'')}}।
-इस स्थिति में, {{mvar|F}} का निचला संलग्नक कहा जाता है {{mvar|G}} और {{mvar|G}} को ''A'' का ऊपरी जोड़ कहा जाता है। सिमेंटिक रूप से, ऊपरी/निचली शब्दावली से तात्पर्य है जहां फ़ंक्शन एप्लिकेशन ≤ के सापेक्ष प्रकट होता है।<ref>Gierz, p. 23</ref> आसन्न शब्द इस तथ्य को संदर्भित करता है कि मोनोटोन गैलोज़ कनेक्शन [[श्रेणी सिद्धांत]] में आसन्न फ़ैक्टरों के जोड़े के विशेष मामले हैं जैसा कि नीचे चर्चा की गई है। यहाँ अन्य शब्दावली का सामना निम्न (उत्तर. ऊपरी) आसन्न के लिए बाएँ आसन्न (उत्तर दाएँ संलग्न) से होता है।
+इस स्थिति में, {{mvar|F}} को {{mvar|G}} का निम्नतर संलग्नक कहा जाता है और {{mvar|G}} को ''F'' का उच्चतर संलग्नक कहा जाता है। स्मरणीय रूप से, उच्चतर/निचली पदावली से तात्पर्य है जहां फलन अनुप्रयोग ≤ के सापेक्ष प्रकट होते है।<ref>Gierz, p. 23</ref> संलग्न पद इस तथ्य को संदर्भित करते है कि एकदिष्ट गाल्वा संयोजन [[श्रेणी सिद्धांत]] में संलग्न प्रकार्यक के संलग्नक की विशेष स्थिति हैं जैसा कि नीचे चर्चा की गई है। यहाँ अन्य पदावली का सामना निम्न (उत्तर. उच्चतर) संलग्न के लिए बाएँ संलग्न (उत्तर दाएँ संलग्न) से होता है।
-गैलोज़ कनेक्शन की एक आवश्यक संपत्ति यह है कि गैलोज़ कनेक्शन का एक ऊपरी/निचला जोड़ ''विशिष्ट'' दूसरे को निर्धारित करता है:
+गाल्वा संयोजन का आवश्यक गुण यह है कि गाल्वा संयोजन का एक उच्चतर / निम्नतर संलग्नक ''विशिष्ट'' दूसरे को निर्धारित करते है:
-:{{math|''F''(''a'')}} सबसे कम तत्व है {{math|{{overset|~|''b''}} }} साथ {{math|''a'' ≤ ''G''({{overset|~|''b''}})}}, और
+:{{math|''F''(''a'')}} {{math|''a'' ≤ ''G''({{overset|~|''b''}})}} के साथ कम से कम अवयव {{math|{{overset|~|''b''}} }} है, और
-:{{math|''G''(''b'')}} सबसे बड़ा तत्व है {{mvar|{{overset|~|''a''}}}} साथ {{math|''F''({{overset|~|''a''}}) ≤ ''b''}}.
+:{{math|''G''(''b'')}} {{math|''F''({{overset|~|''a''}}) ≤ ''b''}} सबसे बड़ा अवयव {{mvar|{{overset|~|''a''}}}} है।
-इसका एक परिणाम यह होता है कि यदि {{mvar|F}} या {{mvar|G}} उलटा है,{{clarify|reason = Does this mean invertible just as a function, or invertible as a monotone map? (i.e. invertible in the category of posets, i.e. invertible such that the inverse is monotone)|date=December 2021}} तो प्रत्येक दूसरे का व्युत्क्रम कार्य है, अर्थात {{math|1=''F'' = ''G''<sup> −1</sup>}}.
+इसका परिणाम यह है कि यदि {{mvar|F}} या {{mvar|G}} व्युत्क्रमणीय है,{{clarify|reason = Does this mean invertible just as a function, or invertible as a monotone map? (i.e. invertible in the category of posets, i.e. invertible such that the inverse is monotone)|date=December 2021}} तो प्रत्येक दूसरे का व्युत्क्रम है, अर्थात {{math|1=''F'' = ''G''<sup> −1</sup>}}।
-निचले आसन्न के साथ गैलोज़ कनेक्शन दिया गया {{mvar|F}} और ऊपरी आसन्न {{mvar|G}}, हम फ़ंक्शन संरचना पर विचार कर सकते हैं {{math|''GF'' : ''A'' → ''A''}}, संबद्ध [[ बंद करने वाला ऑपरेटर ]] के रूप में जाना जाता है, और {{math|''FG'' : ''B'' → ''B''}}, संबद्ध कर्नेल ऑपरेटर के रूप में जाना जाता है। दोनों मोनोटोन और बेवकूफ हैं, और हमारे पास है {{math|''a'' ≤ ''GF''(''a'')}} सभी के लिए {{mvar|a}} में {{mvar|A}} और {{math|''FG''(''b'') ≤ ''b''}} सभी के लिए {{mvar|b}} में {{mvar|B}}.
+निम्नतर संलग्न के साथ गाल्वा संयोजन दिया गया {{mvar|F}} और उच्चतर संलग्न {{mvar|G}}, हम फलन संरचना पर विचार कर सकते हैं {{math|''GF'' : ''A'' → ''A''}}, जिसे संबद्ध [[ बंद करने वाला ऑपरेटर |संवरक संक्रियक]] के रूप में जाना जाता है, और {{math|''FG'' : ''B'' → ''B''}}, संबद्ध मूल संक्रियक के रूप में जाना जाता है। दोनों एकदिष्ट और इदम्पोटेंट हैं, और हमारे निकट {{mvar|A}} में सभी {{mvar|a}} के लिए {{math|''a'' ≤ ''GF''(''a'')}} और {{mvar|B}} में सभी के लिए {{mvar|b}} {{math|''FG''(''b'') ≤ ''b''}} सभी के लिए है।
-का एक गैलोइस सम्मिलन {{mvar|B}} में {{mvar|A}} एक गैलोज़ कनेक्शन है जिसमें कर्नेल ऑपरेटर {{mvar|FG}} पहचान कार्य चालू है {{mvar|B}}, और इसलिए {{mvar|G}} का एक क्रम समरूपता है {{mvar|B}} बंद तत्वों के सेट का [[विशेषण]] {{mvar|GF}}&hairsp;[{{mvar|A}}] का {{mvar|A}}.<ref>{{cite book | title=सॉफ्ट कंस्ट्रेंट सॉल्विंग एंड प्रोग्रामिंग के लिए सेमीरिंग्स| volume=2962 | series=Lecture Notes in Computer Science | issn=0302-9743 | first=Stefano | last=Bistarelli | publisher=[[Springer-Verlag]] | year=2004 | isbn=3-540-21181-0 | page=102 | doi=10.1007/978-3-540-25925-1_8 | arxiv=cs/0208008 }}</ref>
+{{mvar|A}} में {{mvar|B}} का गाल्वा सम्मिलन गाल्वा संयोजन है जिसमें मूल संक्रियक {{mvar|FG}} {{mvar|B}} तत्समक फलन है, और इसलिए {{mvar|G}}, {{mvar|A}} के संवृत अवयवों {{mvar|GF}}&hairsp;[{{mvar|A}}] के समुच्चय पर {{mvar|B}} का एक क्रम समरूपता है।<ref>{{cite book | title=सॉफ्ट कंस्ट्रेंट सॉल्विंग एंड प्रोग्रामिंग के लिए सेमीरिंग्स| volume=2962 | series=Lecture Notes in Computer Science | issn=0302-9743 | first=Stefano | last=Bistarelli | publisher=[[Springer-Verlag]] | year=2004 | isbn=3-540-21181-0 | page=102 | doi=10.1007/978-3-540-25925-1_8 | arxiv=cs/0208008 }}</ref>
-=== एंटीटोन गैलोज़ कनेक्शन ===
+=== एंटीटोन गाल्वा संयोजन ===
-उपरोक्त परिभाषा आज कई अनुप्रयोगों में आम है, और [[जाली (आदेश)]] और [[डोमेन सिद्धांत]] में प्रमुख है। हालाँकि गैलोज़ सिद्धांत में मूल धारणा थोड़ी अलग है। इस वैकल्पिक परिभाषा में, एक गैलोज़ कनेक्शन एंटीटोन की एक जोड़ी है, यानी ऑर्डर-रिवर्सिंग, फ़ंक्शंस {{math|''F'' : ''A'' → ''B''}} और {{math|''G'' : ''B'' → ''A''}} दो पोसेट के बीच {{mvar|A}} और {{mvar|B}}, ऐसा है कि
+उपरोक्त परिभाषा आज कई अनुप्रयोगों में सामान्य है, और [[जाली (आदेश)|जालक (क्रम]]) और [[डोमेन सिद्धांत|प्रांत सिद्धांत]] में प्रमुख है। यद्यपि गाल्वा सिद्धांत में मूल धारणा थोड़ी अलग है। इस वैकल्पिक परिभाषा में, गाल्वा संयोजन एंटीटोन की एक संलग्नक है, अर्थात क्रम-उत्क्रमणीय, फलन {{math|''F'' : ''A'' → ''B''}} और {{math|''G'' : ''B'' → ''A''}} दो क्रमित {{mvar|A}} और {{mvar|B}} के बीच, जैसे कि
-:{{math|''b'' ≤ ''F''(''a'')}} अगर और केवल अगर {{math|''a'' ≤ ''G''(''b'')}}.
+:{{math|''b'' ≤ ''F''(''a'')}} यदि और मात्र यदि {{math|''a'' ≤ ''G''(''b'')}}।
-की समरूपता {{mvar|F}} और {{mvar|G}} इस संस्करण में ऊपरी और निचले के बीच के अंतर को मिटा दिया जाता है, और दो कार्यों को तब आसन्न के बजाय ध्रुवीकरण कहा जाता है।<ref>Galatos, p. 145</ref> चूंकि प्रत्येक ध्रुवता विशिष्ट रूप से दूसरे को निर्धारित करती है
+इस संस्करण में {{mvar|F}} और {{mvar|G}} की समरूपता उच्चतर और निम्नतर के बीच के अंतर को समाप्त कर देती है, और दो फलनों को फिर संलग्न के अतिरिक्त ध्रुवीकरण कहा जाता है।<ref>Galatos, p. 145</ref> चूंकि प्रत्येक ध्रुवता विशिष्ट रूप से दूसरे को निर्धारित करती है
-:{{math|''F''(''a'')}} सबसे बड़ा तत्व है {{mvar|b}} साथ {{math|''a'' ≤ ''G''(''b'')}}, और
+:{{math|''F''(''a'')}} {{math|''a'' ≤ ''G''(''b'')}} के साथ सबसे बड़ा अवयव {{mvar|b}} है, और
-:{{math|''G''(''b'')}} सबसे बड़ा तत्व है {{mvar|a}} साथ {{math|''b'' ≤ ''F''(''a'')}}.
+:{{math|''G''(''b'')}} {{math|''b'' ≤ ''F''(''a'')}} के साथ सबसे बड़ा अवयव {{mvar|a}} है।
-रचनाएँ {{math|''GF'' : ''A'' → ''A''}} और {{math|''FG'' : ''B'' → ''B''}} संबंधित क्लोजर ऑपरेटर हैं; वे संपत्ति के साथ नीरस आदर्श नक्शे हैं {{math|''a'' ≤ ''GF''(''a'')}} सभी के लिए {{mvar|a}} में {{mvar|A}} और {{math|''b'' ≤ ''FG''(''b'')}} सभी के लिए {{mvar|b}} में {{mvar|B}}.
+रचनाएँ {{math|''GF'' : ''A'' → ''A''}} और {{math|''FG'' : ''B'' → ''B''}} संबंधित संवरक संक्रियक हैं; वे {{mvar|A}} में सभी {{mvar|a}} के लिए गुण {{math|''a'' ≤ ''GF''(''a'')}} और {{mvar|B}} में सभी {{mvar|b}} के लिए {{math|''b'' ≤ ''FG''(''b'')}} के साथ एकदिष्ट आदर्श इदम्पोटेंट प्रतिचित्र हैं।
-गैलोज़ कनेक्शन की दो परिभाषाओं के निहितार्थ बहुत समान हैं, क्योंकि एंटीटोन गैलोज़ कनेक्शन के बीच है {{mvar|A}} और {{mvar|B}} के बीच बस एक मोनोटोन गैलोज कनेक्शन है {{mvar|A}} और [[द्वैत (आदेश सिद्धांत)]] {{math|''B''<sup>op</sup>}} का {{mvar|B}}. गैलोज़ कनेक्शन पर नीचे दिए गए सभी बयान इस प्रकार आसानी से एंटीटोन गैलोज़ कनेक्शन के बयानों में परिवर्तित किए जा सकते हैं।
+गाल्वा संयोजन की दो परिभाषाओं के निहितार्थ बहुत समान हैं, क्योंकि {{mvar|A}} और {{mvar|B}} के बीच एंटीटोन गाल्वा संयोजन {{mvar|A}} और {{mvar|B}} [[द्वैत (आदेश सिद्धांत)|द्वैत (क्रम सिद्धांत) {{math|''B''<sup>op</sup>}}]] के बीच मात्र एकदिष्ट गाल्वा संयोजन है। गाल्वा संयोजन पर नीचे दिए गए सभी कथन इस प्रकार सरलता से एंटीटोन गाल्वा संयोजन के कथनों में परिवर्तित किए जा सकते हैं।
 == उदाहरण ==
-=== मोनोटोन गैलोज़ कनेक्शन ===
+=== एकदिष्ट गाल्वा संयोजन ===
-==== पावर सेट; निहितार्थ और संयोजन ====
+==== घात समुच्चय; निहितार्थ और संयोजन ====
-आदेश-सैद्धांतिक उदाहरण के लिए, आइए {{mvar|U}} कुछ [[सेट (गणित)]] हो, और चलो {{mvar|A}} और {{mvar|B}} दोनों का [[ सत्ता स्थापित ]] हो {{mvar|U}}, [[[[सबसेट]] समावेशन]] द्वारा आदेशित। एक निश्चित उपसमुच्चय चुनें {{mvar|L}} का {{mvar|U}}. फिर नक्शे {{mvar|F}} और {{mvar|G}}, कहाँ {{math|''F''(''M''&hairsp;) {{=}} ''L'' ∩ ''M''}}, और {{math|''G''(''N''&hairsp;) {{=}} ''N'' ∪ (''U''&thinsp;\&thinsp;''L'')}}, के साथ एक मोनोटोन गैल्वा कनेक्शन बनाएं {{mvar|F}} निचला आसन्न होना। एक समान गैलोज कनेक्शन जिसका निचला आसन्न मीट (न्यूनतम) ऑपरेशन द्वारा दिया गया है, किसी भी [[हेटिंग बीजगणित]] में पाया जा सकता है। विशेष रूप से, यह किसी भी [[बूलियन बीजगणित (संरचना)]] में मौजूद है, जहां दो मैपिंग द्वारा वर्णित किया जा सकता है {{math|''F''(''x'') {{=}} (''a'' ∧ ''x'')}} और {{math|''G''(&hairsp;''y'') {{=}} (&hairsp;''y'' ∨ ¬''a'') {{=}} (''a'' ⇒ ''y'')}}. तार्किक शब्दों में: से निहितार्थ {{mvar|a}} के साथ संयोजन का उपरी जोड़ है {{mvar|a}} .
+क्रम-सैद्धांतिक उदाहरण के लिए, {{mvar|U}} को कुछ [[सेट (गणित)|समुच्चय (गणित]]) होने दें, और {{mvar|A}} और {{mvar|B}} दोनों को {{mvar|U}} की [[ सत्ता स्थापित |घात]] समूहित होने दें, जो अंतर्वेश द्वारा क्रमित किया गया। {{mvar|U}} का एक निश्चित उपसमुच्चय {{mvar|L}} चुनें। फिर प्रतिचित्र {{mvar|F}} और {{mvar|G}}, जहां {{math|''F''(''M''&hairsp;) {{=}} ''L'' ∩ ''M''}}, और {{math|''G''(''N''&hairsp;) {{=}} ''N'' ∪ (''U''&thinsp;\&thinsp;''L'')}}, एकदिष्ट गाल्वा संयोजन बनाते हैं, जिसमें {{mvar|F}} निम्नतर संलग्न है। एक समान गाल्वा संयोजन जिसका निम्नतर संलग्न जोड़ (न्यूनतम) संचालन द्वारा दिया गया है, किसी भी [[हेटिंग बीजगणित]] में पाया जा सकता है। विशेष रूप से, यह किसी भी [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित (संरचना]]) में स्थित है, जहां दो प्रतिचित्रण को {{math|''F''(''x'') {{=}} (''a'' ∧ ''x'')}} और {{math|''G''(&hairsp;''y'') {{=}} (&hairsp;''y'' ∨ ¬''a'') {{=}} (''a'' ⇒ ''y'')}} द्वारा वर्णित किया जा सकता है। तार्किक पदों में: {{mvar|a}} से निहितार्थ "{{mvar|a}}" के साथ संयोजन का उच्चतर संलग्नक है।
-==== जाली ====
+==== जालक ====
-गैल्वा कनेक्शन के लिए और दिलचस्प उदाहरण [[पूर्णता (आदेश सिद्धांत)]] पर लेख में वर्णित हैं। मोटे तौर पर बोलते हुए, यह पता चला है कि सामान्य कार्य ∨ और ∧ विकर्ण मानचित्र के निचले और ऊपरी हिस्से हैं {{math|''X'' → ''X'' × ''X''}}. आंशिक क्रम के सबसे कम और सबसे बड़े तत्व अद्वितीय फ़ंक्शन के निचले और ऊपरी जोड़ों द्वारा दिए गए हैं {{math|''X'' → {1}.}} आगे जाकर, पूर्ण जालकों को भी उपयुक्त संलग्नकों के अस्तित्व द्वारा अभिलक्षित किया जा सकता है। ये विचार ऑर्डर थ्योरी में गैलोज़ कनेक्शन की सर्वव्यापकता का कुछ आभास देते हैं।
+गाल्वा संयोजन के लिए और रुचिपूर्ण उदाहरण [[पूर्णता (आदेश सिद्धांत)|पूर्णता (क्रम सिद्धांत]]) पर लेख में वर्णित हैं। साधारणनिर्धारिता बोलते हुए, यह पता चला है कि सामान्य फलन ∨ और ∧ विकर्ण प्रतिचित्र {{math|''X'' → ''X'' × ''X''}} के निम्नतर और उच्चतर भाग हैं। आंशिक क्रम के निम्नतम और सबसे बड़े अवयव अद्वितीय फलन {{math|''X'' → {1<nowiki>}</nowiki>}} के निम्नतर और उच्चतर संलग्नक द्वारा दिए गए हैं। आगे जाकर, पूर्ण जालकों को भी उपयुक्त संलग्नकों के अस्तित्व द्वारा अभिलक्षित किया जा सकता है। ये विचार क्रम सिद्धांत में गाल्वा संयोजन की सर्वव्यापकता का कुछ अनुप्रभाव देते हैं।
-==== सकर्मक समूह क्रियाएं ====
+==== संक्रामी समूह क्रियाएं ====
-होने देना {{mvar|G}} [[ समूह क्रिया ]] ग्रुप एक्शन#कार्रवाइयों के प्रकार पर {{mvar|X}} और कुछ बिंदु चुनें {{mvar|x}} में {{mvar|X}}. विचार करना
+मान लीजिए कि {{mvar|G}}, {{mvar|X}} पर [[ समूह क्रिया |समूह क्रिया]] से कार्य करता है और {{mvar|X}} में कोई बिंदु {{mvar|x}} चुनता है।
 :<math>\mathcal{B} = \{B \subseteq X : x \in B; \forall g \in G, gB = B \ \mathrm{or} \ gB \cap B = \emptyset\},</math>
-युक्त ब्लॉक का सेट {{mvar|x}}. आगे, चलो <math>\mathcal{G}</math> के उपसमूहों से मिलकर बनता है {{mvar|G}} जिसमें ग्रुप एक्शन#ऑर्बिट्स और स्टेबलाइजर्स शामिल हैं {{mvar|x}}.
+पर विचार करें, {{mvar|x}} युक्त कक्ष का समुच्चय। इसके अतिरिक्त, <math>\mathcal{G}</math> में {{mvar|G}} के उपसमूह होते हैं जिनमें {{mvar|x}} के स्थिरक होते हैं।
-फिर, पत्राचार <math>\mathcal{B} \to \mathcal{G}</math>:
+फिर, संगति <math>\mathcal{B} \to \mathcal{G}</math>:
 :<math> B \mapsto H_B = \{g \in G : gx \in B\}</math>
-एक मोनोटोन, [[इंजेक्शन समारोह]] | एक-से-एक गैलोज़ कनेक्शन है।<ref>See Alperin, Bell, Groups and Representations (GTM 162), p. 32</ref> एक उपप्रमेय के रूप में, कोई यह स्थापित कर सकता है कि द्विगुणित सकर्मक क्रियाओं में तुच्छ लोगों (एकल या संपूर्ण) के अलावा कोई ब्लॉक नहीं है {{mvar|X}}): यह स्टेबलाइजर्स में अधिकतम होने के कारण होता है {{mvar|G}} उस मामले में। आगे की चर्चा के लिए [[2-सकर्मक समूह]] देखें।
+एकदिष्ट, [[इंजेक्शन समारोह|अंतःक्षेप फलन]] गाल्वा संयोजन है।<ref>See Alperin, Bell, Groups and Representations (GTM 162), p. 32</ref> एक उपप्रमेय के रूप में, कोई यह स्थापित कर सकता है कि द्विगुणित संक्रामी क्रियाओं में साधारण लोगों (एकल या संपूर्ण {{mvar|X}}) के अतिरिक्त कोई कक्ष नहीं है: यह उस स्थिति में {{mvar|G}} स्थिरक में अधिकतम होने के कारण होते है। आगे की चर्चा के लिए [[2-सकर्मक समूह|2-संक्रामी समूह]] देखें।
-==== छवि और प्रतिलोम छवि ====
+==== प्रतिबिंब और प्रतिलोम प्रतिबिंब ====
-अगर {{math|&thinsp;''f'' : ''X'' → ''Y''}} एक फ़ंक्शन (गणित) है, फिर किसी भी सबसेट के लिए {{mvar|M}} का {{mvar|X}} हम छवि बना सकते हैं (गणित) {{math|''F''(''M''&hairsp;) {{=}} &thinsp;''f''&thinsp;''M'' {{=}} {&thinsp;''f''&thinsp;(''m'') {{!}} ''m'' ∈ ''M''} }} और किसी भी सबसेट के लिए {{mvar|N}} का {{mvar|Y}} हम [[उलटी छवि]] बना सकते हैं {{math|''G''(''N''&hairsp;) {{=}} &thinsp;''f''&nbsp;<sup>−1</sup>''N'' {{=}} {''x'' ∈ ''X'' {{!}} &thinsp;''f''&thinsp;(''x'') ∈ ''N''}.}} तब {{mvar|F}} और {{mvar|G}} के पावर सेट के बीच एक मोनोटोन गैलोज़ कनेक्शन बनाते हैं {{mvar|X}} और का पावर सेट {{mvar|Y}}, दोनों समावेशन ⊆ द्वारा आदेशित हैं। इस स्थिति में एक और संलग्न जोड़ी है: एक उपसमुच्चय के लिए {{mvar|M}} का {{mvar|X}}, परिभाषित करना {{math|''H''(''M'') {{=}} {''y'' ∈ ''Y'' {{!}} &thinsp;''f''&nbsp;<sup>−1</sup>{''y''} ⊆ ''M''}.}} तब {{mvar|G}} और {{mvar|H}} के पावर सेट के बीच एक मोनोटोन गैलोज़ कनेक्शन बनाते हैं {{mvar|Y}} और का पावर सेट {{mvar|X}}. पहले गैलोज़ कनेक्शन में, {{mvar|G}} ऊपरी संलग्नक है, जबकि दूसरे गाल्वा कनेक्शन में यह निचले संलग्नक के रूप में कार्य करता है।
+यदि {{math|&thinsp;''f'' : ''X'' → ''Y''}} एक फलन (गणित) है, तो {{mvar|X}} के किसी उपसमुच्चय {{mvar|M}} के लिए का हम प्रतिबिंब {{math|''F''(''M''&hairsp;) {{=}} &thinsp;''f''&thinsp;''M'' {{=}} {&thinsp;''f''&thinsp;(''m'') {{!}} ''m'' ∈ ''M''} }} बना सकते हैं (गणित) और {{mvar|Y}} के किसी उपसमुच्चय {{mvar|N}} के लिए हम [[उलटी छवि|प्रतिलोम प्रतिबिंब]] {{math|''G''(''N''&hairsp;) {{=}} &thinsp;''f''&nbsp;<sup>−1</sup>''N'' {{=}} {''x'' ∈ ''X'' {{!}} &thinsp;''f''&thinsp;(''x'') ∈ ''N''<nowiki>}</nowiki>}} बना सकते हैं। फिर {{mvar|F}} और {{mvar|G}}, {{mvar|X}} की घात समुच्चय {{mvar|Y}} की घात समुच्चय के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं और का घात समुच्चय, दोनों समावेशन ⊆ द्वारा क्रमित होते हैं। इस स्थिति में एक और संलग्न युग्म है: {{mvar|X}} के उपसमुच्चय {{mvar|M}} के लिए, {{math|''H''(''M'') {{=}} {''y'' ∈ ''Y'' {{!}} &thinsp;''f''&nbsp;<sup>−1</sup>{''y''} ⊆ ''M''<nowiki>}</nowiki>}} परिभाषित करें। फिर {{mvar|G}} और {{mvar|H}}, {{mvar|Y}} की घात समुच्चय और {{mvar|X}} की घात समुच्चय के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं। पहले गाल्वा संयोजन में, {{mvar|G}} उच्चतर संलग्नक है, जबकि दूसरे गाल्वा संयोजन में यह निम्नतर संलग्नक के रूप में कार्य करते है।
-बीजगणितीय वस्तुओं (जैसे [[समूह (गणित)]]) के बीच एक अंश समूह के मामले में, इस कनेक्शन को [[जाली प्रमेय]] कहा जाता है: के उपसमूह {{mvar|G}} के उपसमूहों से कनेक्ट करें {{math|''G''/''N''}}, और उपसमूहों पर क्लोजर ऑपरेटर {{mvar|G}} द्वारा दिया गया है {{math|{{overline|''H''}} {{=}} ''HN''}}.
+बीजगणितीय वस्तुओं (जैसे [[समूह (गणित)]] ) के बीच एक अंश समूह की स्थिति में, इस संयोजन को [[जाली प्रमेय|जालक प्रमेय]] कहा जाता है: {{mvar|G}} के उपसमूह {{math|''G''/''N''}} के उपसमूहों से संबद्ध हैं, और {{mvar|G}} के उपसमूहों पर संवरक संक्रियक {{math|{{overline|''H''}} {{=}} ''HN''}} द्वारा दिया जाता है।
-==== स्पैन और क्लोजर ====
+==== विस्तृति और संवरक ====
-कुछ गणितीय वस्तु उठाओ {{mvar|X}} जिसमें एक [[अंतर्निहित सेट]] है, उदाहरण के लिए एक समूह, [[अंगूठी (गणित)]], [[ सदिश स्थल ]] इत्यादि। किसी भी सबसेट के लिए {{mvar|S}} का {{mvar|X}}, होने देना {{math|''F''(''S''&hairsp;)}} का सबसे छोटा विषय हो {{mvar|X}} उसमें सम्मिलित है {{mvar|S}}, यानी उपसमूह, उपसमूह या रैखिक उपस्थान द्वारा उत्पन्न {{mvar|S}}. किसी भी विषय के लिए {{mvar|U}} का {{mvar|X}}, होने देना {{math|''G''(''U''&hairsp;)}} का अंतर्निहित सेट हो {{mvar|U}}. (हम भी ले सकते हैं {{mvar|X}} एक [[टोपोलॉजिकल स्पेस]] होने दें {{math|''F''(''S''&hairsp;)}} का [[क्लोजर (टोपोलॉजी)]]। {{mvar|S}}, और के सबऑब्जेक्ट्स के रूप में लें {{mvar|X}}  के [[बंद उपसमुच्चय]] {{mvar|X}}।) अब {{mvar|F}} और {{mvar|G}} के सबसेट के बीच एक मोनोटोन गैलोज़ कनेक्शन बनाते हैं {{mvar|X}} और के विषय {{mvar|X}}, यदि दोनों को समावेशन द्वारा आदेशित किया गया है। {{mvar|F}} निचला सन्निकट है।
+कुछ गणितीय वस्तु {{mvar|X}} चुनें जिसमें एक [[अंतर्निहित सेट|अंतर्निहित समुच्चय]] हो, उदाहरण के लिए समूह, [[अंगूठी (गणित)|वलय (गणित]]), [[ सदिश स्थल |सदिश समष्टि]] इत्यादि। {{mvar|X}} के किसी भी उपसमुच्चय {{mvar|S}} के लिए, {{math|''F''(''S''&hairsp;)}} को {{mvar|X}} का सबसे छोटा उपवस्तु होने दें जिसमें {{mvar|S}} सम्मिलित हो, अर्थात {{mvar|S}} द्वारा उत्पन्न उपसमूह, उपसमूह या उपसमष्टि। {{mvar|X}} के किसी भी वस्तु {{mvar|U}} के लिए, {{math|''G''(''U''&hairsp;)}} को {{mvar|U}} का अंतर्निहित समुच्चय होने दें। (हम {{mvar|X}} को एक [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] भी ले सकते हैं, {{math|''F''(''S''&hairsp;)}} को {{mvar|S}} के [[क्लोजर (टोपोलॉजी)|संवरक (सांस्थिति]]) होने दें, और {{mvar|X}} के [[बंद उपसमुच्चय|संवृत उपसमुच्चय]] {{mvar|X}} के उपवस्तु के रूप में लें।) अब {{mvar|F}} और {{mvar|G}} {{mvar|X}} के उपवस्तु के बीच एकदिष्ट गाल्वा संयोजन बनाते हैं, यदि दोनों को समावेशन द्वारा क्रमित किया गया है। {{mvar|F}} निम्नतर सन्निकट है।
 ====वाक्यविन्यास और शब्दार्थ ====
-[[विलियम लॉवरे]] की एक बहुत ही सामान्य टिप्पणी<ref>[[William Lawvere]], Adjointness in foundations, Dialectica, 1969, [http://www.tac.mta.ca/tac/reprints/articles/16/tr16abs.html available here]. The notation is different nowadays; an easier introduction by Peter Smith [http://www.logicmatters.net/resources/pdfs/Galois.pdf in these lecture notes], which also attribute the concept to the article cited.</ref> यह है कि वाक्य रचना और शब्दार्थ आसन्न हैं: take {{mvar|A}} सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) का सेट होना, और {{mvar|B}} सभी गणितीय संरचनाओं के सेट का पावर सेट। एक सिद्धांत के लिए {{math|''T'' ∈ ''A''}}, होने देना {{math|Mod(''T''&hairsp;)}} [[स्वयंसिद्ध]]ों को संतुष्ट करने वाली सभी संरचनाओं का समुच्चय हो {{mvar|T}}&hairsp;; गणितीय संरचनाओं के एक सेट के लिए {{math|''S'' ∈ ''B''}}, होने देना {{math|Th(''S''&hairsp;)}} कम से कम स्वयंसिद्ध हों जो अनुमानित हों {{mvar|S}} (पहले क्रम के तर्क में, यह उन वाक्यों का समूह है जो सभी संरचनाओं में सत्य हैं {{mvar|S}}). हम तब कह सकते हैं {{math|Mod(''T''&hairsp;)}} का उपसमुच्चय है {{mvar|S}} अगर और केवल अगर {{mvar|T}} तार्किक रूप से तात्पर्य है {{math|Th(''S''&hairsp;)}}: सिमेंटिक्स फ़ैक्टर {{math|Mod}} और सिंटैक्स फ़ैक्टर {{math|Th}} एक मोनोटोन गैलोज़ कनेक्शन बनाते हैं, जिसमें शब्दार्थ ऊपरी आसन्न होता है।
+[[विलियम लॉवरे]] की एक बहुत ही सामान्य टिप्पणी<ref>[[William Lawvere]], Adjointness in foundations, Dialectica, 1969, [http://www.tac.mta.ca/tac/reprints/articles/16/tr16abs.html available here]. The notation is different nowadays; an easier introduction by Peter Smith [http://www.logicmatters.net/resources/pdfs/Galois.pdf in these lecture notes], which also attribute the concept to the article cited.</ref> यह है कि वाक्य रचना और शब्दार्थ संलग्न हैं: {{mvar|A}} को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) के के रूप में लें, और {{mvar|B}} को सभी गणितीय संरचनाओं के समुच्चय की घात समुच्चय मानें। सिद्धांत {{math|''T'' ∈ ''A''}} के लिए, मान लीजिए {{math|Mod(''T''&hairsp;)}} उन सभी संरचनाओं का समुच्चय है जो सिद्धांतों {{mvar|T}} को संतुष्ट करते हैं; गणितीय संरचनाओं के एक समुच्चय {{math|''S'' ∈ ''B''}} के लिए, {{math|Th(''S''&hairsp;)}} को कम से कम [[स्वयंसिद्ध|स्वयंसिद्धीकरण]] हो जो लगभग {{mvar|S}} हो (प्रथम-क्रम तर्क में, यह वाक्यों का समुच्चय है जो {{mvar|S}} में सभी संरचनाओं में सत्य हैं)। हम फिर कह सकते हैं कि {{math|Mod(''T''&hairsp;)}} {{mvar|S}} का उपसमुच्चय है यदि और मात्र यदि {{mvar|T}} तार्किक रूप से {{math|Th(''S''&hairsp;)}} का तात्पर्य है: स्मरणीय प्रकार्यक {{math|Mod}} और वाक्यविन्यास प्रकार्यक {{math|Th}} एकदिष्ट गाल्वा संयोजन बनाते हैं, जिसमें शब्दार्थ उच्चतर संलग्न होते है।
-=== एंटीटोन गैलोज़ कनेक्शन ===
+=== एंटीटोन गाल्वा संयोजन ===
-==== गैलोइस थ्योरी ====
+==== गाल्वा सिद्धांत ====
-प्रेरक उदाहरण गाल्वा सिद्धांत से आता है: मान लीजिए {{math|''L''/''K''}} एक फील्ड एक्सटेंशन है। होने देना {{mvar|A}} के सभी उपक्षेत्रों का समुच्चय हो {{mvar|L}} जिसमें शामिल है {{mvar|K}}, समावेशन ⊆ द्वारा आदेशित। अगर {{mvar|E}} ऐसा ही एक सबफील्ड है, लिखो {{math|Gal(''L''/''E'')}} [[फील्ड ऑटोमोर्फिज्म]] के समूह के लिए {{mvar|L}} जो धारण करता है {{mvar|E}} हल किया गया। होने देना {{mvar|B}} के उपसमूहों का समुच्चय हो {{math|Gal(''L''/''K'')}}, समावेशन ⊆ द्वारा आदेशित। ऐसे उपसमूह के लिए {{mvar|G}}, परिभाषित करना {{math|Fix(''G'')}} सभी तत्वों से युक्त क्षेत्र होना {{mvar|L}} जो सभी तत्वों द्वारा तय किए गए हैं {{mvar|G}}. फिर नक्शे {{math|''E'' {{mapsto}} Gal(''L''/''E'')}} और {{math|''G'' {{mapsto}} Fix(''G'')}} एक एंटीटोन गैलोज़ कनेक्शन बनाते हैं।
+प्रेरक उदाहरण गाल्वा सिद्धांत से आता है: मान लीजिए {{math|''L''/''K''}} एक क्षेत्र विस्तार है। मान लीजिए {{mvar|A}}, {{mvar|L}} के सभी उपक्षेत्रों का समुच्चय हो जिसमें {{mvar|K}} सम्मिलित है, समावेशन ⊆ द्वारा क्रमित। यदि एक {{mvar|E}} ऐसा उपक्षेत्र है, तो {{mvar|L}} के [[फील्ड ऑटोमोर्फिज्म|क्षेत्र स्वसमाकृतिकता]] के समूह के लिए {{math|Gal(''L''/''E'')}} लिखें जो {{mvar|E}} को स्थिर रखता है। {{mvar|B}} को समावेशन ⊆ द्वारा क्रमित {{math|Gal(''L''/''K'')}} के उपसमूहों का समुच्चय होने दें। ऐसे उपसमूह {{mvar|G}} के लिए, {{math|Fix(''G'')}} को {{mvar|L}} के सभी अवयवों से युक्त क्षेत्र के रूप में परिभाषित करें जो {{mvar|G}} के सभी अवयवों द्वारा निर्धारित किए गए हैं। फिर प्रतिचित्र {{math|''E'' {{mapsto}} Gal(''L''/''E'')}} और {{math|''G'' {{mapsto}} Fix(''G'')}} एंटीटोन गाल्वा संयोजन बनाते हैं।
-==== बीजगणितीय टोपोलॉजी: रिक्त स्थान को कवर करना ====
+==== बीजगणितीय सांस्थिति: रिक्त समष्टि को आच्छादित करना ====
-अनुरूप रूप से, एक पथ-जुड़ा स्थलीय स्थान दिया गया {{mvar|X}}, [[मौलिक समूह]] के उपसमूहों के बीच एक एंटीटोन गैलोज कनेक्शन है {{math|''π''<sub>1</sub>(''X'')}} और पाथ-कनेक्टेड [[ अंतरिक्ष को कवर करना ]] ऑफ़ {{mvar|X}}. विशेष रूप से, अगर {{mvar|X}} अर्ध-स्थानीय रूप से बस जुड़ा हुआ है, फिर प्रत्येक उपसमूह के लिए {{mvar|G}} का {{math|''π''<sub>1</sub>(''X'')}}, के साथ एक कवरिंग स्पेस है {{mvar|G}} इसके मौलिक समूह के रूप में।
+समान रूप से, एक पथ-संयोजित सांस्थितिक समष्टि {{mvar|X}} दिया गया, [[मौलिक समूह]] {{math|''π''<sub>1</sub>(''X'')}} के उपसमूहों और {{mvar|X}} के पथ संबद्ध [[ अंतरिक्ष को कवर करना |आच्छादित रिक्त समष्टि]] के बीच एक एंटीटोन गाल्वा संयोजन है। विशेष रूप से, यदि {{mvar|X}} अर्ध- सांस्थितिक रूप से मात्र संयोजित है, तो {{math|''π''<sub>1</sub>(''X'')}} के प्रत्येक उपसमूह {{mvar|G}} के लिए, इसके मूलभूत समूह के रूप में {{mvar|G}} के साथ एक आवरण समष्टि है।
-==== रेखीय बीजगणित: विनाशक और ऑर्थोगोनल पूरक ====
+==== रेखीय बीजगणित: समुच्छेदक और लाम्बिक पूरक ====
-एक [[आंतरिक उत्पाद स्थान]] दिया गया {{mvar|V}}, हम ओर्थोगोनल पूरक बना सकते हैं {{math|''F''(''X''&hairsp;)}} किसी भी उप-स्थान का {{mvar|X}} का {{mvar|V}}. यह उप-स्थानों के सेट के बीच एक एंटीटोन गैलोज़ कनेक्शन उत्पन्न करता है {{mvar|V}} और स्वयं, समावेशन द्वारा आदेशित; दोनों ध्रुवताएं बराबर हैं {{mvar|F}}.
+एक [[आंतरिक उत्पाद स्थान|आंतरिक उत्पाद समष्टि]] {{mvar|V}} दिया गया है, हम {{mvar|V}} के किसी भी उप-समष्टि {{mvar|X}} के लाम्बिक पूरक {{math|''F''(''X''&hairsp;)}} बना सकते हैं। यह {{mvar|V}} और स्वयं उप-समष्टि के समुच्चय के बीच एक एंटीटोन गाल्वा संयोजन उत्पन्न करते है, जो समावेशन द्वारा क्रमित होते है; दोनों ध्रुवताएं {{mvar|F}} बराबर हैं।
-एक सदिश स्थान दिया गया है {{mvar|V}} और एक उपसमुच्चय {{mvar|X}} का {{mvar|V}} हम इसके विनाशक को परिभाषित कर सकते हैं {{math|''F''(''X''&hairsp;)}}, दोहरे स्थान के सभी तत्वों से मिलकर {{math|''V''&hairsp;<sup>∗</sup>}} का {{mvar|V}} जो गायब हो जाता है {{mvar|X}}. इसी प्रकार, एक उपसमुच्चय दिया है {{mvar|Y}} का {{math|''V''&hairsp;<sup>∗</sup>}}, हम इसके सर्वनाश को परिभाषित करते हैं {{math|''G''(''Y''&thinsp;) {{=}} {&hairsp;''x'' ∈ ''V'' {{!}} ''φ''(''x'') {{=}} 0 ∀''φ'' ∈ ''Y''&hairsp;}.}} यह सबसेट के बीच एक एंटीटोन गैलोज़ कनेक्शन देता है {{mvar|V}} और के सबसेट {{math|''V''&hairsp;<sup>∗</sup>}}.
+सदिश समष्टि {{mvar|V}} और {{mvar|V}} का एक उपसमुच्चय {{mvar|X}} दिया गया है, हम इसके समुच्छेदक {{math|''F''(''X''&hairsp;)}} को परिभाषित कर सकते हैं, जिसमें {{mvar|V}} के दोहरे समष्टि {{math|''V''&hairsp;<sup>∗</sup>}} के सभी अवयव सम्मिलित हैं जो {{mvar|X}} पर गायब हो जाते हैं। इसी प्रकार, {{math|''V''&hairsp;<sup>∗</sup>}} का उपसमुच्चय {{mvar|Y}} दिया गया है, इसके समुच्छेदक {{math|''G''(''Y''&thinsp;) {{=}} {&hairsp;''x'' ∈ ''V'' {{!}} ''φ''(''x'') {{=}} 0 ∀''φ'' ∈ ''Y''&hairsp;<nowiki>}</nowiki>}} को परिभाषित करते। यह {{mvar|V}} के उपसमुच्चय और {{math|''V''&hairsp;<sup>∗</sup>}} के उपसमुच्चय के बीच एक एंटीटोन गाल्वा संयोजन देते है।
 ==== [[बीजगणितीय ज्यामिति]] ====
-बीजगणितीय ज्यामिति में, [[बहुपद]]ों के सेट और उनके शून्य सेट के बीच का संबंध एंटीटोन गैलोइस कनेक्शन है।
+बीजगणितीय ज्यामिति में, [[बहुपद|बहुपदों]] के समुच्चय और उनके शून्य समुच्चय के बीच का संबंध एंटीटोन गाल्वा संयोजन है।
-एक [[प्राकृतिक संख्या]] तय करें {{mvar|n}} और एक [[क्षेत्र (गणित)]] {{mvar|K}} और जाने {{mvar|A}} बहुपद वलय के सभी उपसमुच्चयों का समुच्चय हो {{math|''K''[''X''<sub>1</sub>, ..., ''X<sub>n</sub>'']}} समावेशन द्वारा आदेशित ⊆, और चलो {{mvar|B}} के सभी उपसमूहों का समुच्चय हो {{math|''K''<sup>&hairsp;''n''</sup>}} समावेश ⊆ द्वारा आदेशित। अगर {{mvar|S}} बहुपदों का एक समूह है, बीजगणितीय ज्यामिति#Affine किस्मों को शून्य के रूप में परिभाषित करें
+एक [[प्राकृतिक संख्या]] {{mvar|n}} और एक [[क्षेत्र (गणित)|क्षेत्र (गणित]]) {{mvar|K}} को ठीक करें और {{mvar|A}} को बहुपद वलय {{math|''K''[''X''<sub>1</sub>, ..., ''X<sub>n</sub>'']}} के सभी उपसमुच्चयों का समुच्चय होने दें, जो समावेशन ⊆ द्वारा क्रमित है, और {{mvar|B}} को समावेशन ⊆ द्वारा क्रमित {{math|''K''<sup>&hairsp;''n''</sup>}} के सभी उपसमुच्चयों का समुच्चय होने दें। यदि {{mvar|S}} बहुपदों का एक समुच्चय है, तो विभिन्न प्रकार के शून्यों को
 :<math>V(S) = \{x \in K^n : f(x) = 0 \mbox{ for all } f \in S\},</math>
-बहुपदों के एक बहुपद के उभयनिष्ठ मूल का समुच्चय {{mvar|S}}. अगर {{mvar|U}} का उपसमुच्चय है {{math|''K''<sup>&hairsp;''n''</sup>}}, परिभाषित करना {{math|''I''(''U''&hairsp;)}} लुप्त हो रहे बहुपदों के आदर्श (रिंग थ्योरी) के रूप में {{mvar|U}}, वह है
+के रूप में परिभाषित करें, {{mvar|S}} में बहुपदों के सामान्य शून्यों का समुच्चय है। यदि {{mvar|U}}, {{math|''K''<sup>&hairsp;''n''</sup>}} का उपसमुच्चय है, तो {{math|''I''(''U''&hairsp;)}} को {{mvar|U}} पर लुप्त होने वाले बहुपदों के आदर्श (वलय सिद्धांत) के रूप में परिभाषित करें, जो कि
-:<math>I(U) = \{f \in K[X_1,\dots,X_n] : f(x) = 0 \mbox{ for all } x \in U\}.</math>
+:<math>I(U) = \{f \in K[X_1,\dots,X_n] : f(x) = 0 \mbox{ for all } x \in U\}</math> है।
-तब {{mvar|V}} और मैं एक एंटीटोन गैल्वा कनेक्शन बनाता हूं।
+फिर {{mvar|V}} और I एक एंटीटोन गाल्वा संयोजन बनाते हैं।
-बंद चालू {{math|''K''<sup>&hairsp;''n''</sup>}} [[जरिस्की टोपोलॉजी]] में क्लोजर है, और यदि फील्ड है {{mvar|K}} [[बीजगणितीय रूप से बंद क्षेत्र]] है, तो बहुपद वलय पर बंद होने से उत्पन्न आदर्श के एक आदर्श का रेडिकल है {{mvar|S}}.
+{{math|''K''<sup>&hairsp;''n''</sup>}} पर संवरक [[जरिस्की टोपोलॉजी|जरिस्की सांस्थिति]] में संवरक है, और यदि क्षेत्र {{mvar|K}} [[बीजगणितीय रूप से बंद क्षेत्र|बीजगणितीय रूप से संवृत क्षेत्र]] है, तो बहुपद वलय पर संवृत होना {{mvar|S}} द्वारा उत्पन्न आदर्श का मूलांक है।
-अधिक आम तौर पर, एक [[क्रमविनिमेय अंगूठी]] दी जाती है {{mvar|R}} (अनिवार्य रूप से एक बहुपद अंगूठी), अंगूठी में कट्टरपंथी आदर्शों और बीजगणितीय ज्यामिति की उप-किस्मों के बीच एक एंटीटोन गैलोइस कनेक्शन है#Affine किस्मों {{math|[[Spectrum of a ring|Spec]](''R'')}}.
+अधिक सामान्यतः, एक [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]] {{mvar|R}} (अनिवार्य रूप से एक बहुपद वलय) दिया गया हो, वलय में मूलांक आदर्शों और बीजगणितीय ज्यामिति के सजातीय उप-प्रकारों {{math|[[Spectrum of a ring|Spec]](''R'')}} के बीच एक एंटीटोन गाल्वा संयोजन होते है।
-अधिक आम तौर पर, रिंग में आदर्शों और संबंधित बीजगणितीय ज्यामिति #Affine किस्मों की उपयोजनाओं के बीच एक एंटीटोन गैलोज़ कनेक्शन होता है।
+अधिक सामान्यतः, वलय में आदर्शों और संबंधित बीजगणितीय ज्यामिति सजातीय प्रकारों की उपयोजनाओं के बीच एक एंटीटोन गाल्वा संयोजन होते है।
+==== बाइनरी संबंधों से उत्पन्न होने वाले घात समुच्चय पर संयोजन ====
+मान लीजिए {{mvar|X}} और {{mvar|Y}} स्वेच्छ समुच्चय हैं और {{mvar|X}} और {{mvar|Y}} पर एक [[द्विआधारी संबंध]] {{mvar|R}} दिया हुआ है। {{mvar|X}} के किसी उपसमुच्चय {{mvar|M}} के लिए, हम {{math|''F''(''M''&hairsp;) {{=}} {&hairsp;''y'' ∈ ''Y'' {{!}} ''mRy'' ∀''m'' ∈ ''M''&hairsp;<nowiki>}</nowiki>}} परिभाषित करते हैं। इसी प्रकार, {{mvar|Y}} के किसी उपसमुच्चय {{mvar|N}} के लिए, {{math|''G''(''N''&hairsp;) {{=}} {&hairsp;''x'' ∈ ''X'' {{!}} ''xRn'' ∀''n'' ∈ ''N''&hairsp;<nowiki>}</nowiki>}} परिभाषित करना। फिर {{mvar|F}} और {{mvar|G}}, {{mvar|X}} और {{mvar|Y}} की घात समुच्चय के बीच एक एंटीटोन गाल्वा संयोजन उत्पन्न करते हैं, दोनों समावेशन ⊆ द्वारा क्रमित होते हैं।<ref>Birkhoff, 1st edition (1940): §32, 3rd edition (1967): Ch. V, §7 and §8</ref>
+समरूपता तक घात समुच्चय के बीच सभी एंटीटोन गाल्वा संयोजन इस प्रकार से उत्पन्न होते हैं। यह अवधारणा जालक पर मूलभूत प्रमेय से आता है।<ref>Ganter, B. and Wille, R. ''Formal Concept Analysis -- Mathematical Foundations'', Springer (1999), {{ISBN|978-3-540-627715}}</ref> [[औपचारिक अवधारणा विश्लेषण]] में द्विआधारी संबंधों से उत्पन्न होने वाले गाल्वा संयोजन के सिद्धांत और अनुप्रयोगों का अध्ययन किया जाता है। वह क्षेत्र गणितीय डेटा विश्लेषण के लिए गाल्वा संयोजन का उपयोग करते है। संबंधित साहित्य में गाल्वा संयोजन के लिए कई एल्गोरिदम पाए जा सकते हैं, उदाहरण के लिए।<ref>Ganter, B. and Obiedkov, S. ''Conceptual Exploration'', Springer (2016), {{ISBN|978-3-662-49290-1}}</ref>
-==== बाइनरी संबंधों से उत्पन्न होने वाले पावर सेट पर कनेक्शन ====
-कल्पना करना {{mvar|X}} और {{mvar|Y}} मनमाना सेट और एक [[द्विआधारी संबंध]] हैं {{mvar|R}} ऊपर {{mvar|X}} और {{mvar|Y}} दिया हुआ है। किसी उपसमुच्चय के लिए {{mvar|M}} का {{mvar|X}}, हम परिभाषित करते हैं {{math|''F''(''M''&hairsp;) {{=}} {&hairsp;''y'' ∈ ''Y'' {{!}} ''mRy'' ∀''m'' ∈ ''M''&hairsp;}.}} इसी तरह, किसी उपसमुच्चय के लिए {{mvar|N}} का {{mvar|Y}}, परिभाषित करना {{math|''G''(''N''&hairsp;) {{=}} {&hairsp;''x'' ∈ ''X'' {{!}} ''xRn'' ∀''n'' ∈ ''N''&hairsp;}.}} तब {{mvar|F}} और {{mvar|G}} के पावर सेट के बीच एक एंटीटोन गैलोज़ कनेक्शन प्राप्त करें {{mvar|X}} और {{mvar|Y}}, दोनों समावेशन ⊆ द्वारा आदेशित हैं।<ref>Birkhoff, 1st edition (1940): §32, 3rd edition (1967): Ch. V, §7 and §8</ref>
-समरूपता तक पावर सेट के बीच सभी एंटीटोन गैलोज कनेक्शन इस तरह से उत्पन्न होते हैं। यह कॉन्सेप्ट लैटिस पर बेसिक प्रमेय से आता है।<ref>Ganter, B. and Wille, R. ''Formal Concept Analysis -- Mathematical Foundations'', Springer (1999), {{ISBN|978-3-540-627715}}</ref> [[औपचारिक अवधारणा विश्लेषण]] में द्विआधारी संबंधों से उत्पन्न होने वाले गैलोज़ कनेक्शन के सिद्धांत और अनुप्रयोगों का अध्ययन किया जाता है। वह फ़ील्ड गणितीय डेटा विश्लेषण के लिए Galois कनेक्शन का उपयोग करता है। संबंधित साहित्य में गैल्वा कनेक्शन के लिए कई एल्गोरिदम पाए जा सकते हैं, उदाहरण के लिए।<ref>Ganter, B. and Obiedkov, S. ''Conceptual Exploration'', Springer (2016), {{ISBN|978-3-662-49290-1}}</ref>
 == गुण ==
-निम्नलिखित में, हम एक (मोनोटोन) गैलोज़ कनेक्शन पर विचार करते हैं {{math|&thinsp;''f'' {{=}} (&thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub>)}}, कहाँ {{math|&thinsp;''f''&nbsp;<sup>∗</sup> : ''A'' → ''B''}जैसा कि ऊपर प्रस्तुत किया गया है } निचला संलग्नक है। कुछ सहायक और शिक्षाप्रद बुनियादी गुणों को तुरंत प्राप्त किया जा सकता है। गैल्वा कनेक्शन की परिभाषित संपत्ति से, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ &thinsp;''f''&nbsp;<sup>∗</sup>(''x'')}} के बराबर है {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x''))}}, सभी के लिए {{mvar|x}} में {{mvar|A}}. इसी तरह के तर्क से (या केवल द्वैत (आदेश सिद्धांत) को लागू करके), कोई यह पाता है {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''y'')) ≤ ''y''}}, सभी के लिए {{mvar|y}} में {{mvar|B}}. इन गुणों का वर्णन संयुक्त कह कर किया जा सकता है {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} अपस्फीतिकारक है, जबकि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} मुद्रास्फीति (या व्यापक) है।
+निम्नलिखित में, हम एक (एकदिष्ट) गाल्वा संयोजन {{math|&thinsp;''f'' {{=}} (&thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub>)}} पर विचार करते हैं, जहां &thinsp;''f''&nbsp;<sup>∗</sup> : ''A'' → ''B'' जैसा कि ऊपर प्रस्तुत किया गया है, निम्नतर संलग्नक है। कुछ सहायक और शिक्षाप्रद मूलभूत गुणों को तुरंत प्राप्त किया जा सकता है। गाल्वा संयोजन के परिभाषित गुण द्वारा, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ &thinsp;''f''&nbsp;<sup>∗</sup>(''x'')}}, {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x''))}} के बराबर है, {{mvar|A}} में सभी {{mvar|x}} के लिए। इसी प्रकार के तर्क से (या मात्र द्वैत (क्रम सिद्धांत) को लागू करके), कोई यह पाता है कि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''y'')) ≤ ''y''}}, {{mvar|B}} में सभी {{mvar|y}} के लिए। संयुक्त {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} कहकर इन गुणों का वर्णन किया जा सकता है, जबकि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} स्फीति (या व्यापक) है।
-अब विचार करें {{math|''x'', ''y'' ∈ ''A''}} ऐसा है कि {{math|''x'' ≤ ''y''}}. फिर उपरोक्त का उपयोग करके प्राप्त करता है {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''y''))}}. गैल्वा कनेक्शन की मूल संपत्ति को लागू करने से अब यह निष्कर्ष निकाला जा सकता है {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ &thinsp;''f''&nbsp;<sup>∗</sup>(''y'')}}. लेकिन यह सिर्फ यही दर्शाता है {{math|&thinsp;''f''&nbsp;<sup>∗</sup>}} किन्हीं भी दो तत्वों के क्रम को बनाए रखता है, यानी यह मोनोटोन है। फिर से, इसी तरह के तर्क से एकरसता पैदा होती है {{math|&thinsp;''f''<sub>∗</sub>}}. इस प्रकार एकरसता को स्पष्ट रूप से परिभाषा में शामिल करने की आवश्यकता नहीं है। हालांकि, मोनोटोनिकिटी का उल्लेख करने से गैलोज़ कनेक्शन की दो वैकल्पिक धारणाओं के बारे में भ्रम से बचने में मदद मिलती है।
+अब {{math|''x'', ''y'' ∈ ''A''}} पर विचार करें कि {{math|''x'' ≤ ''y''}}। फिर उपरोक्त का उपयोग करके {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''y''))}} प्राप्त होते है। गाल्वा संयोजन के मूल गुण को लागू करने से अब यह निष्कर्ष निकाला जा सकता है कि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ &thinsp;''f''&nbsp;<sup>∗</sup>(''y'')}}। परन्तु यह मात्र यही दर्शाता है कि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>}} किन्हीं भी दो अवयवों के क्रम को बनाए रखता है, अर्थात यह एकदिष्ट है। फिर से, इसी प्रकार के तर्क से {{math|&thinsp;''f''<sub>∗</sub>}} की एकरसता उत्पन्न होती है। इस प्रकार एकरसता को स्पष्ट रूप से परिभाषा में सम्मिलित करने की आवश्यकता नहीं है। यद्यपि, एकदिष्टता का उल्लेख करने से गाल्वा संयोजन की दो वैकल्पिक धारणाओं के विषय में भ्रम से बचने में सहायता मिलती है।
-गैलोज़ कनेक्शन की एक और बुनियादी संपत्ति यह तथ्य है कि {{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) {{=}} &thinsp;''f''<sub>∗</sub>(''x'')}}, सभी के लिए {{mvar|x}} में {{mvar|B}}. स्पष्ट रूप से हम पाते हैं
+गाल्वा संयोजन का एक और मूलभूत गुण यह तथ्य है कि {{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) {{=}} &thinsp;''f''<sub>∗</sub>(''x'')}}, {{mvar|B}} में सभी {{mvar|x}} के लिए। स्पष्ट रूप से हम पाते हैं कि
-:{{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) ≥ &thinsp;''f''<sub>∗</sub>(''x'')}}.
+:{{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) ≥ &thinsp;''f''<sub>∗</sub>(''x'')}}।
-क्योंकि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} स्फीतिकारक है जैसा कि ऊपर दिखाया गया है। दूसरी ओर, चूंकि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} अपस्फीतिकारक है, जबकि {{math|&thinsp;''f''<sub>∗</sub>}} मोनोटोनिक है, कोई पाता है
+क्योंकि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} स्फीतिकारक है जैसा कि ऊपर दिखाया गया है। दूसरी ओर, चूंकि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} अपस्फीतिकारक है, जबकि {{math|&thinsp;''f''<sub>∗</sub>}} एकदिष्टता है, कोई पाता है कि
-:{{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) ≤ &thinsp;''f''<sub>∗</sub>(''x'')}}.
+:{{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))) ≤ &thinsp;''f''<sub>∗</sub>(''x'')}}।
-यह वांछित समानता दिखाता है। इसके अलावा, हम इस संपत्ति का उपयोग यह निष्कर्ष निकालने के लिए कर सकते हैं
+यह वांछित समानता दिखाता है। इसके अतिरिक्त, हम इस गुण का उपयोग यह निष्कर्ष निकालने के लिए कर सकते हैं कि
 :{{math|&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x'')))) {{=}} &thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(''x''))}}
@@ Line 129: / Line 129: @@
 :{{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')))) {{=}} &thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x''))}}
-अर्थात।, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} और {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} निष्पाप हैं।
+अर्थात, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} और {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} इदम्पोटेंट हैं।
-यह दिखाया जा सकता है (प्रमाण के लिए ब्लीथ या एर्ने देखें) कि एक समारोह {{math|&thinsp;''f''&thinsp;}} एक निचला (प्रतिक्रिया ऊपरी) आसन्न है अगर और केवल अगर {{math|&thinsp;''f''&thinsp;}} एक अवशिष्ट मानचित्रण (प्रतिक्रिया अवशिष्ट मानचित्रण) है। इसलिए, अवशिष्ट मानचित्रण और मोनोटोन गैलोइस कनेक्शन की धारणा अनिवार्य रूप से समान है।
+यह दिखाया जा सकता है (प्रमाण के लिए बेलीथ या एर्ने देखें) कि एक फलन {{math|&thinsp;''f''&thinsp;}} एक निम्नतर (प्रतिक्रिया उच्चतर) संलग्न है यदि और मात्र यदि {{math|&thinsp;''f''&thinsp;}} एक अवशिष्ट प्रतिचित्रण (प्रतिक्रिया अवशिष्ट प्रतिचित्रण) है। इसलिए, अवशिष्ट प्रतिचित्रण और एकदिष्ट गाल्वा संयोजन की धारणा अनिवार्य रूप से समान है।
-== क्लोजर ऑपरेटर और गैलोज़ कनेक्शन ==
+== संवरक संक्रियक और गाल्वा संयोजन ==
-उपरोक्त निष्कर्षों को निम्नानुसार संक्षेपित किया जा सकता है: गैलोज़ कनेक्शन के लिए, समग्र {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} मोनोटोन है (मोनोटोन कार्यों का सम्मिश्रण होने के नाते), स्फीतिकारी और निष्क्रिय है। यह बताता है कि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} वास्तव में एक क्लोजर ऑपरेटर है {{mvar|A}}. दैनिक रूप से, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} मोनोटोन, डिफ्लेशनरी और इडेम्पोटेंट है। ऐसे मैपिंग को कभी-कभी कर्नेल ऑपरेटर कहा जाता है। फ़्रेम और लोकेशंस के संदर्भ में, समग्र {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} द्वारा प्रेरित नाभिक कहा जाता है {{math|&thinsp;''f''&nbsp;}}. नाभिक प्रेरित फ्रेम समरूपता; लोकेल के एक उपसमुच्चय को सबलोकेल कहा जाता है यदि यह एक नाभिक द्वारा दिया जाता है।
+उपरोक्त निष्कर्षों को निम्नानुसार संक्षेपित किया जा सकता है: गाल्वा संयोजन के लिए, समग्र {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} एकदिष्ट है (एकदिष्ट फलनों का सम्मिश्रण होने के कारण), स्फीतिकारी और निष्क्रिय है। यह बताता है कि {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} वस्तुतः {{mvar|A}} पर संवरक संक्रियक है। दैनिक रूप से, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} एकदिष्ट, अपस्फीति और इदम्पोटेंट है। ऐसे प्रतिचित्रण को कभी-कभी मूल संक्रियक कहा जाता है। फ्रेम और अवस्थिति के संदर्भ में, समग्र {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} को {{math|&thinsp;''f''&nbsp;}} द्वारा प्रेरित नाभिक कहा जाता है। नाभिक प्रेरित फ्रेम समरूपता; अवस्थिति के एक उपसमुच्चय को उपअवस्थिति कहा जाता है यदि यह एक नाभिक द्वारा दिया जाता है।
-[[बातचीत (तर्क)]], कोई क्लोजर ऑपरेटर {{mvar|c}} किसी पोसेट पर {{mvar|A}} निचले सन्निकट के साथ गैलोज़ कनेक्शन को जन्म देता है {{math|&thinsp;''f''&nbsp;<sup>∗</sup>}} का केवल प्रतिबंध है {{mvar|c}} की छवि के लिए {{mvar|c}} (अर्थात क्लोजर सिस्टम की विशेषण मैपिंग के रूप में {{math|''c''(''A'')}}). ऊपरी जोड़ {{math|&thinsp;''f''<sub>∗</sub>}} तब के समावेशन मानचित्र द्वारा दिया जाता है {{math|''c''(''A'')}} में {{mvar|A}}, जो प्रत्येक बंद तत्व को स्वयं के लिए मैप करता है, जिसे एक तत्व माना जाता है {{mvar|A}}. इस तरह, क्लोजर ऑपरेटर्स और गैलोज़ कनेक्शनों को बारीकी से संबंधित देखा जाता है, प्रत्येक दूसरे के एक उदाहरण को निर्दिष्ट करता है। इसी तरह के निष्कर्ष कर्नेल ऑपरेटरों के लिए सही हैं।
+[[बातचीत (तर्क)|विरूपण (तर्क]]), किसी क्रमित समुच्चय {{mvar|A}} पर कोई संवरक संक्रियक {{mvar|c}} गाल्वा संयोजन को निम्नतर सन्निकट {{math|&thinsp;''f''&nbsp;<sup>∗</sup>}} के साथ जन्म देते है, जो कि {{mvar|c}} के प्रतिबिंब के लिए {{mvar|c}} का सह प्रतिबंध है (अर्थात संवरक प्रणाली {{math|''c''(''A'')}} के एक विशेषण प्रतिचित्रण के रूप में)। उच्चतर संलग्नक {{math|&thinsp;''f''<sub>∗</sub>}} फिर {{math|''c''(''A'')}} को {{mvar|A}} में समावेशन करके दिया जाता है, जो प्रत्येक संवृत अवयव को {{mvar|A}} के अवयव के रूप में माना जाता है। प्रत्येक दूसरे के एक उदाहरण को निर्दिष्ट करते है। इसी प्रकार के निष्कर्ष मूल संक्रियकों के लिए सत्य हैं।
-उपरोक्त विचार यह भी दिखाते हैं कि बंद तत्व {{mvar|A}} (तत्व {{mvar|x}} साथ {{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')) {{=}} ''x''}}) कर्नेल ऑपरेटर की सीमा के भीतर तत्वों के लिए मैप किए गए हैं {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}}, और इसके विपरीत।
+उपरोक्त विचार यह भी दिखाते हैं कि {{mvar|A}} के संवृत अवयव (अवयव {{mvar|x}} के साथ {{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')) {{=}} ''x''}}) मूल संक्रियक {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} की सीमा के भीतर अवयवों के लिए प्रतिचित्रित किए गए हैं, और इसके विपरीत।
-== गाल्वा कनेक्शन का अस्तित्व और विशिष्टता ==
+== गाल्वा संयोजन का अस्तित्व और विशिष्टता ==
-गैल्वा कनेक्शन की एक और महत्वपूर्ण संपत्ति यह है कि निचले आसन्न सीमा (ऑर्डर थ्योरी) को संरक्षित करते हैं जो कि एक फ़ंक्शन के अपने डोमेन के भीतर मौजूद हैं। दैनिक रूप से, ऊपरी अनुलग्न सभी मौजूदा [[सबसे कम]] को संरक्षित करते हैं। इन गुणों से, कोई भी तुरंत आसन्नों की एकरसता का निष्कर्ष निकाल सकता है। आसन्न फंक्टर प्रमेय (आदेश सिद्धांत) कहता है कि कुछ मामलों में उलटा निहितार्थ भी मान्य है: विशेष रूप से, पूर्ण लैटिस के बीच कोई मैपिंग जो सभी सुपरमा को संरक्षित करता है, गैलोइस कनेक्शन का निचला आसन्न है।
+गाल्वा संयोजन की एक और महत्वपूर्ण गुण यह है कि निम्नतर संलग्न सीमा (क्रम सिद्धांत) को संरक्षित करते हैं जो कि एक फलन के अपने प्रांत के भीतर स्थित हैं। दैनिक रूप से, उच्चतर अनुलग्न सभी स्थिता [[सबसे कम|निम्नतम]] को संरक्षित करते हैं। इन गुणों से, कोई भी तुरंत संलग्नों की एकरसता का निष्कर्ष निकाल सकता है। संलग्न प्रकार्यक प्रमेय (क्रम सिद्धांत) कहता है कि कुछ स्थितियों में व्युत्क्रमणीय निहितार्थ भी मान्य है: विशेष रूप से, पूर्ण जालक के बीच कोई प्रतिचित्रण जो सभी उच्चतम को संरक्षित करते है, गाल्वा संयोजन का निम्नतर संलग्न है।
-इस स्थिति में, गैल्वा कनेक्शन की एक महत्वपूर्ण विशेषता यह है कि एक संलग्न दूसरे को विशिष्ट रूप से निर्धारित करता है। इसलिए उपरोक्त बयान को मजबूत करने के लिए यह गारंटी दी जा सकती है कि पूर्ण जाली के बीच कोई सर्वोच्च-संरक्षित मानचित्र एक अद्वितीय गैलोइस कनेक्शन का निचला हिस्सा है। इस अद्वितीयता को प्राप्त करने की मुख्य विशेषता निम्नलिखित है: प्रत्येक के लिए {{mvar|x}} में {{mvar|A}}, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')}} सबसे कम तत्व है {{mvar|y}} का {{mvar|B}} ऐसा है कि {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(''y'')}}. वास्तव में, प्रत्येक के लिए {{mvar|y}} में {{mvar|B}}, {{math|&thinsp;''f''<sub>∗</sub>(''y'')}} सबसे बड़ा है {{mvar|x}} में {{mvar|A}} ऐसा है कि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ ''y''}}. एक निश्चित गैलोज़ कनेक्शन का अस्तित्व अब संबंधित सबसे कम या सबसे बड़े तत्वों के अस्तित्व का अर्थ है, चाहे संबंधित पोसेट किसी पूर्णता (आदेश सिद्धांत) को संतुष्ट करते हों। इस प्रकार, जब गैलोज़ कनेक्शन का एक ऊपरी जोड़ दिया जाता है, तो दूसरे ऊपरी जोड़ को इसी संपत्ति के माध्यम से परिभाषित किया जा सकता है।
+इस स्थिति में, गाल्वा संयोजन की एक महत्वपूर्ण विशेषता यह है कि एक संलग्न दूसरे को विशिष्ट रूप से निर्धारित करते है। इसलिए उपरोक्त कथन को दृढ करने के लिए यह गारंटी दी जा सकती है कि पूर्ण जालक के बीच कोई सर्वोच्च-संरक्षित प्रतिचित्र एक अद्वितीय गाल्वा संयोजन का निम्नतर भाग है। इस अद्वितीयता को प्राप्त करने की मुख्य विशेषता निम्नलिखित है: {{mvar|A}} में प्रत्येक {{mvar|x}} के लिए, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')}} {{mvar|B}} का निम्नतम अवयव {{mvar|y}} है जैसे कि {{math|''x'' ≤ &thinsp;''f''<sub>∗</sub>(''y'')}}। वस्तुतः, {{mvar|B}} में प्रत्येक {{mvar|y}} के लिए, {{math|&thinsp;''f''<sub>∗</sub>(''y'')}} {{mvar|A}} में सबसे बड़ा {{mvar|x}} है जैसे कि ऐसा है कि {{math|&thinsp;''f''&nbsp;<sup>∗</sup>(''x'') ≤ ''y''}}। एक निश्चित गाल्वा संयोजन का अस्तित्व अब संबंधित निम्नतम या सबसे बड़े अवयवों के अस्तित्व का अर्थ है, चाहे संबंधित क्रमित समुच्चय किसी पूर्णता (क्रम सिद्धांत) को संतुष्ट करते हों। इस प्रकार, जब गाल्वा संयोजन का एक उच्चतर संलग्नक दिया जाता है, तो दूसरे उच्चतर संलग्नक को इसी गुण के माध्यम से परिभाषित किया जा सकता है।
-दूसरी ओर, कुछ मोनोटोन फ़ंक्शन {{math|&thinsp;''f''&nbsp;}} यदि और केवल यदि फॉर्म का प्रत्येक सेट है तो एक निचला आसन्न है {{math|{&hairsp;''x'' ∈ ''A'' {{!}} &thinsp;''f''&nbsp;(''x'') ≤ ''b''&hairsp;},}} के लिए {{mvar|b}} में {{mvar|B}}, सबसे बड़ा तत्व होता है। दोबारा, यह ऊपरी आसन्न के लिए दोहरा हो सकता है।
+दूसरी ओर, कुछ एकदिष्ट फलन {{math|&thinsp;''f''&nbsp;}} एक निम्नतर संलग्न है यदि और मात्र यदि प्रत्येक समुच्चय {{math|{&hairsp;''x'' ∈ ''A'' {{!}} &thinsp;''f''&nbsp;(''x'') ≤ ''b''&hairsp;},}} {{mvar|b}} के लिए {{mvar|B}} में, सबसे बड़ा अवयव होता है। दोबारा, यह उच्चतर संलग्न के लिए दोहरा हो सकता है।
-== गाल्वा कनेक्शन morphisms के रूप में ==
+== गाल्वा संयोजन आकारिता के रूप में ==
-गैलोज कनेक्शन पोसेट्स के बीच मैपिंग का एक दिलचस्प वर्ग भी प्रदान करता है जिसका उपयोग पोसेट्स की [[श्रेणी (गणित)]] प्राप्त करने के लिए किया जा सकता है। विशेष रूप से, गैलोज़ कनेक्शन बनाना संभव है: दिए गए गैलोज़ कनेक्शन {{math|(&thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub>)}} पोज़ के बीच {{mvar|A}} और {{mvar|B}} और {{math|(''g''<sup>∗</sup>, ''g''<sub>∗</sub>)}} बीच में {{mvar|B}} और {{mvar|C}}, समग्र {{math|(''g''<sup>∗</sup> ∘ &thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub> ∘ ''g''<sub>∗</sub>)}} भी गैलोज़ कनेक्शन है। जब पूर्ण जाली की श्रेणियों पर विचार किया जाता है, तो इसे सभी सुपरमा (या, वैकल्पिक रूप से, इन्फिमा) को संरक्षित करने वाले मैपिंग पर विचार करने के लिए सरल बनाया जा सकता है। अपने द्वैत के लिए पूर्ण जाली का मानचित्रण, ये श्रेणियां ऑटो द्वैत (श्रेणी सिद्धांत) प्रदर्शित करती हैं, जो अन्य द्वैत प्रमेयों को प्राप्त करने के लिए काफी मौलिक हैं। अधिक विशेष प्रकार के [[morphism]]s जो दूसरी दिशा में आसन्न मैपिंग को प्रेरित करते हैं वे morphisms हैं जिन्हें आमतौर पर पूर्ण Heyting बीजगणित (या लोकेल) के लिए माना जाता है।
+गाल्वा संयोजन क्रमित समुच्चयों के बीच प्रतिचित्रण का एक रुचिपूर्ण वर्ग भी प्रदान करते है जिसका उपयोग क्रमित समुच्चयों की [[श्रेणी (गणित)|श्रेणी (गणित]]) प्राप्त करने के लिए किया जा सकता है। विशेष रूप से, गाल्वा संयोजन बनाना संभव है: दिए गए गाल्वा संयोजन {{math|(&thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub>)}} क्रमित समुच्चय {{mvar|A}} और {{mvar|B}} के बीच और {{math|(''g''<sup>∗</sup>, ''g''<sub>∗</sub>)}} {{mvar|B}} और {{mvar|C}} बीच, समग्र {{math|(''g''<sup>∗</sup> ∘ &thinsp;''f''&nbsp;<sup>∗</sup>, &thinsp;''f''<sub>∗</sub> ∘ ''g''<sub>∗</sub>)}} भी गाल्वा संयोजन है। जब पूर्ण जालक की श्रेणियों पर विचार किया जाता है, तो इसे सभी उच्चतम (या, वैकल्पिक रूप से, निम्नतम) को संरक्षित करने वाले प्रतिचित्रण पर विचार करने के लिए सरल बनाया जा सकता है। अपने द्वैत के लिए पूर्ण जालक का प्रतिचित्रण, ये श्रेणियां स्वत: द्वैत (श्रेणी सिद्धांत) प्रदर्शित करती हैं, जो अन्य द्वैत प्रमेयों को प्राप्त करने के लिए अत्यधिक मौलिक हैं। अधिक विशेष प्रकार के [[morphism|आकारिता]] जो दूसरी दिशा में संलग्न प्रतिचित्रण को प्रेरित करते हैं वे आकारिता हैं जिन्हें सामान्यतः पूर्ण हेटिंग बीजगणित (या अवस्थिति) के लिए माना जाता है।
 == श्रेणी सिद्धांत से संबंध ==
-प्रत्येक आंशिक रूप से आदेशित सेट को प्राकृतिक तरीके से एक श्रेणी के रूप में देखा जा सकता है: x से y तक एक अद्वितीय रूपवाद है यदि और केवल यदि {{math|''x'' ≤ ''y''}}. एक मोनोटोन गैलोज़ कनेक्शन तब आंशिक रूप से आदेशित सेट से उत्पन्न होने वाली दो श्रेणियों के बीच आसन्न फ़ैक्टरों की एक जोड़ी के अलावा कुछ भी नहीं है। इस संदर्भ में, ऊपरी संलग्नक दाहिनी ओर है जबकि निचला संलग्नक बाएं आसन्न है। हालांकि, इस शब्दावली को गैलोज़ कनेक्शन के लिए टाला जाता है, क्योंकि एक समय था जब पोसेट्स को दोहरी शैली में श्रेणियों में बदल दिया गया था, यानी विपरीत दिशा में इशारा करते हुए आकारिकी के साथ। इससे बाएँ और दाएँ सन्निकटों से संबंधित एक पूरक अंकन हुआ, जो आज अस्पष्ट है।
+प्रत्येक आंशिक रूप से क्रमित समुच्चय को प्राकृतिक तरीके से एक श्रेणी के रूप में देखा जा सकता है: x से y तक एक अद्वितीय रूपवाद है यदि और मात्र यदि {{math|''x'' ≤ ''y''}}। एकदिष्ट गाल्वा संयोजन फिर आंशिक रूप से क्रमित समुच्चय से उत्पन्न होने वाली दो श्रेणियों के बीच संलग्न प्रकार्यक की एक संलग्नक के अतिरिक्त कुछ भी नहीं है। इस संदर्भ में, उच्चतर संलग्नक दाहिनी ओर है जबकि निम्नतर संलग्नक बाएं संलग्न है। यद्यपि, इस पदावली को गाल्वा संयोजन के लिए टाला जाता है, क्योंकि एक समय था जब क्रमित समुच्चयों को दोहरी शैली में श्रेणियों में बदल दिया गया था, अर्थात विपरीत दिशा में संकेत करते हुए आकारिकी के साथ। इससे बाएँ और दाएँ सन्निकटों से संबंधित एक पूरक अंकन हुआ, जो आज अस्पष्ट है।
 == प्रोग्रामिंग के सिद्धांत में अनुप्रयोग ==
-[[प्रोग्रामिंग भाषा]]ओं की अमूर्त व्याख्या के सिद्धांत में अमूर्तता के कई रूपों का वर्णन करने के लिए गैलोज़ कनेक्शन का उपयोग किया जा सकता है।<ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints| title=Proc. 4th ACM Symp. on Principles of Programming Languages (POPL)|date=Jan 1977| pages=238–252 |chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf}}<BR>For a counterexample for the false theorem in Sect.7 (p.243 top right), see: {{cite techreport|author1=Jochen Burghardt |author2=Florian Kammüller |author3=Jeff W. Sanders | title=Isomorphism of Galois Embeddings|date=Dec 2000| volume=122| page=9-14| institution=[[Gesellschaft für Mathematik und Datenverarbeitung |GMD]]| issn=1435-2702| url=http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CAA7D4E037C54173D8EE894D00020684?doi=10.1.1.27.9114&rep=rep1&type=pdf}} (However the original article only considers complete lattices)</ref><ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Systematic Design of Program Analysis Frameworks| title=Proc. 6th ACM Symp. on Principles of Programming Languages (POPL)|date=Jan 1979| pages=269–282| publisher=ACM Press| chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-79-ACM-p269--282-1979.pdf}}</ref>
+[[प्रोग्रामिंग भाषा|प्रोग्रामिंग भाषाओं]] की अमूर्त व्याख्या के सिद्धांत में अमूर्तता के कई रूपों का वर्णन करने के लिए गाल्वा संयोजन का उपयोग किया जा सकता है।<ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints| title=Proc. 4th ACM Symp. on Principles of Programming Languages (POPL)|date=Jan 1977| pages=238–252 |chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf}}<BR>For a counterexample for the false theorem in Sect.7 (p.243 top right), see: {{cite techreport|author1=Jochen Burghardt |author2=Florian Kammüller |author3=Jeff W. Sanders | title=Isomorphism of Galois Embeddings|date=Dec 2000| volume=122| page=9-14| institution=[[Gesellschaft für Mathematik und Datenverarbeitung |GMD]]| issn=1435-2702| url=http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CAA7D4E037C54173D8EE894D00020684?doi=10.1.1.27.9114&rep=rep1&type=pdf}} (However the original article only considers complete lattices)</ref><ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Systematic Design of Program Analysis Frameworks| title=Proc. 6th ACM Symp. on Principles of Programming Languages (POPL)|date=Jan 1979| pages=269–282| publisher=ACM Press| chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-79-ACM-p269--282-1979.pdf}}</ref>
@@ Line 162: / Line 162: @@
 == संदर्भ ==
-''The following books and survey articles include Galois connections using the monotone definition:''
+''The following books and survey articles include गाल्वा connections using the monotone definition:''
-* Brian A. Davey and Hilary A. Priestley: ''[[Introduction to Lattices and Order]]'', Cambridge University Press, 2002.
+* Brian A। Davey and Hilary A। Priestley: ''[[Introduction to Lattices and Order]]'', Cambridge University Press, 2002।
-* Gerhard Gierz, Karl H. Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott: ''Continuous Lattices and Domains'', Cambridge University Press, 2003.
+* Gerhard Gierz, Karl H। Hofmann, Klaus Keimel, Jimmie D। Lawson, Michael W। Mislove, Dana S। Scott: ''Continuous Lattices and Domains'', Cambridge University Press, 2003।
-* Marcel Erné, Jürgen Koslowski, Austin Melton, George E. Strecker, ''A primer on Galois connections'', in: Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences, Vol. 704, 1993, pp.&nbsp;103–125. (Freely available online in various file formats [https://web.archive.org/web/20060108063506/http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal_bw.ps.gz PS.GZ] [http://www.math.ksu.edu/~strecker/primer.ps PS], it presents many examples and results, as well as  notes on the different notations and definitions that arose in this area.)
+* Marcel Erné, Jürgen Koslowski, Austin Melton, George E। Strecker, ''A primer on गाल्वा connections'', in: Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences, Vol। 704, 1993, pp।&nbsp;103–125। (Freely available online in various file formats [https://web.archive.org/web/20060108063506/http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal_bw.ps.gz PS।GZ] [http://www.math.ksu.edu/~strecker/primer.ps PS], it presents many examples and results, as well as notes on the different notations and definitions that arose in this area।)
 ''Some publications using the original (antitone) definition:''
 * {{cite book |first=Saunders |last=Mac Lane |author-link=Saunders Mac Lane|title=Categories for the Working Mathematician | edition=Second |date=September 1998 |publisher=Springer |isbn=0-387-98403-8}}
-* Thomas Scott Blyth, ''Lattices and Ordered Algebraic Structures'', Springer, 2005, {{isbn|1-85233-905-5}}.
+* Thomas Scott Blyth, ''Lattices and Ordered Algebraic Structures'', Springer, 2005, {{isbn|1-85233-905-5}}।
-* Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono (2007), ''Residuated Lattices. An Algebraic Glimpse at Substructural Logics'', Elsevier, {{isbn|978-0-444-52141-5}}.
+* Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono (2007), ''Residuated Lattices। An Algebraic Glimpse at Substructural Logics'', Elsevier, {{isbn|978-0-444-52141-5}}।
-* Garrett Birkhoff: ''Lattice Theory'', Amer. Math. Soc. Coll. Pub., Vol 25, 1940
+* Garrett Birkhoff: ''Lattice Theory'', Amer। Math। Soc। Coll। Pub।, Vol 25, 1940
 * {{citation|first=Øystein|last= Ore|author-link=Øystein Ore|title= Galois Connexions|journal=[[Transactions of the American Mathematical Society]]| volume=55 |issue= 3|year=1944|pages=493–513|doi=10.2307/1990305|jstor= 1990305}}
-{{DEFAULTSORT:Galois Connection}}[[Category: गाल्वा सिद्धांत]] [[Category: आदेश सिद्धांत]] [[Category: सार व्याख्या]] [[Category: क्लोजर ऑपरेटर्स]]
+{{DEFAULTSORT:Galois Connection}}
-[[Category: Machine Translated Page]]
+[[Category:Created On 01/05/2023|Galois Connection]]
-[[Category:Created On 01/05/2023]]
+[[Category:Machine Translated Page|Galois Connection]]
+[[Category:Pages with script errors|Galois Connection]]
+[[Category:Templates Vigyan Ready|Galois Connection]]
+[[Category:Wikipedia articles needing clarification from December 2021|Galois Connection]]
+[[Category:आदेश सिद्धांत|Galois Connection]]
+[[Category:क्लोजर ऑपरेटर्स|Galois Connection]]
+[[Category:गाल्वा सिद्धांत|Galois Connection]]
+[[Category:सार व्याख्या|Galois Connection]]

Anonymous

Search

गैलोइस कनेक्शन: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:49, 10 October 2023

Contents

परिभाषाएँ

(एकदिष्ट) गाल्वा संयोजन

एंटीटोन गाल्वा संयोजन

उदाहरण

एकदिष्ट गाल्वा संयोजन

घात समुच्चय; निहितार्थ और संयोजन

जालक

संक्रामी समूह क्रियाएं

प्रतिबिंब और प्रतिलोम प्रतिबिंब

विस्तृति और संवरक

वाक्यविन्यास और शब्दार्थ

एंटीटोन गाल्वा संयोजन

गाल्वा सिद्धांत

बीजगणितीय सांस्थिति: रिक्त समष्टि को आच्छादित करना

रेखीय बीजगणित: समुच्छेदक और लाम्बिक पूरक

बीजगणितीय ज्यामिति

बाइनरी संबंधों से उत्पन्न होने वाले घात समुच्चय पर संयोजन

गुण

संवरक संक्रियक और गाल्वा संयोजन

गाल्वा संयोजन का अस्तित्व और विशिष्टता

गाल्वा संयोजन आकारिता के रूप में

श्रेणी सिद्धांत से संबंध

प्रोग्रामिंग के सिद्धांत में अनुप्रयोग

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

गैलोइस कनेक्शन: Difference between revisions

Latest revision as of 16:49, 10 October 2023

परिभाषाएँ

(एकदिष्ट) गाल्वा संयोजन

एंटीटोन गाल्वा संयोजन

उदाहरण

एकदिष्ट गाल्वा संयोजन

घात समुच्चय; निहितार्थ और संयोजन

जालक

संक्रामी समूह क्रियाएं

प्रतिबिंब और प्रतिलोम प्रतिबिंब

विस्तृति और संवरक

वाक्यविन्यास और शब्दार्थ

एंटीटोन गाल्वा संयोजन

गाल्वा सिद्धांत

बीजगणितीय सांस्थिति: रिक्त समष्टि को आच्छादित करना

रेखीय बीजगणित: समुच्छेदक और लाम्बिक पूरक

बीजगणितीय ज्यामिति

बाइनरी संबंधों से उत्पन्न होने वाले घात समुच्चय पर संयोजन

गुण

संवरक संक्रियक और गाल्वा संयोजन

गाल्वा संयोजन का अस्तित्व और विशिष्टता

गाल्वा संयोजन आकारिता के रूप में

श्रेणी सिद्धांत से संबंध

प्रोग्रामिंग के सिद्धांत में अनुप्रयोग

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories