बाइनरी ऑपरेशन

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

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

एरीटी दो की संक्रिया है जिसमें कई समुच्चय सम्मिलित होते हैं, कभी-कभी 'द्विआधारी संक्रिया' भी कहा जाता है। उदाहरण के लिए, सदिश समष्टि का अदिश गुणन सदिश उत्पन्न करने के लिए अदिश और एक सदिश लेते है, और अदिश गुणनफल अदिश उत्पन्न करने के लिए दो सदिश लेते है। ऐसे द्विआधारी संक्रियाों को मात्र द्विआधारी फलन कहा जा सकता है।

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

शब्दावली
अधिक यथार्थ रूप से, समुच्चय (गणित) $$S$$ पर द्विआधारी संक्रिया कार्तीय गुणनफल $$S \times S$$ से $$S$$:
 * $$\,f \colon S \times S \rightarrow S$$ के अवयवों का प्रतिचित्र (गणित) है।

क्योंकि $$S$$ के अवयवों के युग्म पर संक्रिया करने के परिणाम पुन: $$S$$ के अंग है, संक्रिया को $$S$$ पर संवृत (या आंतरिक) द्विआधारी संक्रिया कहा जाता है (या कभी-कभी संवृत होने के गुण के रूप में व्यक्त किया जाता है)।

यदि $$f$$ फलन (गणित) नहीं है, परन्तु आंशिक फलन है तो $$f$$ को आंशिक द्विआधारी संक्रिया कहते हैं। उदाहरण के लिए, वास्तविक संख्याओं का विभाजन आंशिक द्विआधारी संक्रिया है, क्योंकि शून्य से विभाजन नहीं किया जा सकता है: प्रत्येक वास्तविक संख्या $$a$$ के लिए $$\frac{a}{0}$$ अपरिभाषित है। सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों में, द्विआधारी संक्रियाओं $$S \times S$$ को सभी अवयवों पर परिभाषित करने की आवश्यकता होती है।

कभी-कभी, विशेष रूप से कंप्यूटर विज्ञान में, द्विआधारी संक्रिया शब्द का उपयोग किसी द्विआधारी फलन के लिए किया जाता है।

गुण और उदाहरण
द्विआधारी संक्रियाओं के विशिष्ट उदाहरण संख्या और आव्यूह (गणित) के योग ($$+$$) और गुणा ($$\times$$) के साथ-साथ एक समुच्चय पर फलनों की संरचना हैं। उदाहरण के लिए,
 * वास्तविक संख्या $$\mathbb R$$ के समुच्चय पर, $$f(a,b)=a+b$$ द्विआधारी संक्रिया है क्योंकि दो वास्तविक संख्याओं का योग एक वास्तविक संख्या है।
 * प्राकृतिक संख्या $$\mathbb N$$ के समुच्चय पर, $$f(a,b)=a+b$$ द्विआधारी संक्रिया है क्योंकि दो प्राकृतिक संख्याओं का योग एक प्राकृतिक संख्या है। यह पिछले वाले की तुलना में अलग द्विआधारी संक्रिया है क्योंकि समुच्चय अलग हैं।
 * वास्तविक प्रविष्टियों के साथ $$2 \times 2$$ आव्यूह के समुच्चय $$M(2,\mathbb R)$$ पर, $$f(A,B)=A+B$$ द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का योग $$2 \times 2$$ आव्यूह है।
 * वास्तविक प्रविष्टियों के साथ $$2 \times 2$$ आव्यूह के समुच्चय $$M(2,\mathbb R)$$ पर, $$f(A,B)=AB$$ द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का गुणनफल $$2 \times 2$$ आव्यूह है।
 * किसी दिए गए समुच्चय $$C$$के लिए, $$S$$ को सभी फलनों $$h \colon C \rightarrow C$$ का समुच्चय होने दें। सभी $$c \in C$$ के लिए $$f \colon S \times S \rightarrow S$$ से$$f(h_1,h_2)(c)=(h_1 \circ h_2)(c)=h_1(h_2(c))$$ परिभाषित करें, $$S$$ में दो फलनों $$h_1$$ तथा $$h_2$$ की संरचना। तब $$f$$ द्विआधारी संक्रिया है क्योंकि दो फलनों की संरचना फिर से समुच्चय $$C$$ (जो कि $$S$$ का एक वर्ग है) पर एक फलन है।

बीजगणित और औपचारिक तर्क दोनों में रुचि के कई द्विआधारी संक्रियाएँ क्रमविनिमेय हैं, $$S$$ में सभी अवयवों $$a$$ तथा $$b$$ के लिए $$f(a,b)=f(b,a)$$ को संतुष्ट करते हैं, या साहचर्य, सभी $$S$$ में $$a$$, $$b$$, तथा $$c$$ के लिए $$f(f(a,b),c)=f(a,f(b,c))$$ को संतुष्ट करते हैं। कई में तत्समक अवयव और व्युत्क्रम अवयव भी होते हैं।

उपरोक्त पहले तीन उदाहरण क्रमविनिमेय हैं और उपरोक्त सभी उदाहरण साहचर्य हैं।

वास्तविक संख्या $$\mathbb R$$ के समुच्चय पर, घटाव, अर्थात्, $$f(a,b)=a-b$$, द्विआधारी संक्रिया है जो जो सामान्य रूप से $$a-b \neq b-a$$ के बाद से क्रम विनिमय नहीं है। यह साहचर्य भी नहीं है, क्योंकि, सामान्य रूप से, $$a-(b-c) \neq (a-b)-c$$; उदाहरण के लिए, $$1-(2-3)=2$$ परन्तु $$(1-2)-3=-4$$।

प्राकृतिक संख्या $$\mathbb N$$ के समुच्चय पर, द्विआधारी संक्रिया घातांक, $$f(a,b)=a^b$$, $$a^b \neq b^a$$ (cf. समीकरण x^y = y^x) के बाद से क्रमविनिमेय नहीं है, और $$f(f(a,b),c) \neq f(a,f(b,c))$$के बाद से साहचर्य भी नहीं है। उदाहरण के लिए, $$a=2$$, $$b=3$$, तथा $$c=2$$, $$f(2^3,2)=f(8,2)=8^2=64$$ के साथ, परन्तु $$f(2,3^2)=f(2,9)=2^9=512$$। समुच्चय $$\mathbb N$$ को पूर्णांक $$\mathbb Z$$ के समुच्चय में बदलकर, यह द्विआधारी संक्रिया आंशिक द्विआधारी संक्रिया बन जाता है क्योंकि यह अब अपरिभाषित है जब $$a=0$$ तथा $$b$$ कोई ऋणात्मक पूर्णांक है। किसी भी समुच्चय के लिए, इस संक्रिया का सत्य तत्समक है (जो $$1$$ है) क्योंकि समुच्चय में सभी $$a$$ के लिए $$f(a,1)=a$$ है, जो सामान्य रूप से $$f(1,b) \neq b$$ के बाद से तत्समक (दो पक्षीय तत्समक) नहीं है।

विभाजन (गणित) ($$\div$$), वास्तविक या परिमेय संख्याओं के समुच्चय पर आंशिक द्विआधारी संक्रिया क्रमविनिमेय या साहचर्य नहीं है। टेट्रेशन ($$\uparrow\uparrow$$), प्राकृतिक संख्याओं पर द्विआधारी संक्रिया के रूप में, क्रमविनिमेय या साहचर्य नहीं है और इसमें कोई तत्समक अवयव नहीं है।

संकेतन
द्विआधारी संक्रियाों को प्रायः रूप $$f(a, b)$$ के फलनात्मक संकेतन के अतिरिक्त $$a \ast b$$, $$a+b$$, $$a \cdot b$$ या (बिना किसी प्रतीक के निकटता द्वारा) $$ab$$ जैसे मध्यप्रत्यय संकेतन का उपयोग करके लिखा जाता है। घातें सामान्यतः संक्रियक के बिना भी लिखी जाती हैं, परन्तु दूसरे तर्क के साथ मूर्धांक के रूप में।

द्विआधारी संक्रियाों को कभी-कभी उपसर्ग या (अधिक बार) अनुलग्न संकेतन का उपयोग करते हुए लिखा जाता है, जिनमें से दोनों को कोष्ठक से अलग किया जाता है। उन्हें क्रमशः परिष्कृत संकेतन और व्युत्क्रम परिष्कृत संकेतन भी कहा जाता है।

द्विआधारी संक्रियाों त्रिचर संबंध के रूप में
समुच्चय $$S$$ पर द्विआधारी संक्रिया $$f$$ को $$S$$ पर त्रिचर संबंध के रूप में देखा जा सकता है, अर्थात, $$S$$ में सभी $$a$$ तथा $$b$$ के लिए $$S \times S \times S$$ में त्रिचर $$(a, b, f(a,b))$$ का समुच्चय।

बाहरी द्विआधारी संक्रिया
एक बाहरी द्विआधारी संक्रिया $$K \times S$$ से $$S$$ तक द्विआधारी फलन है। यह एक समुच्चय पर द्विआधारी संक्रिया से इस अर्थ में भिन्न होता है कि $$K$$ को $$S$$ होने की आवश्यकता नहीं है; इसके अवयव बाहर से आते हैं।

बाह्य द्विआधारी संक्रिया का उदाहरण रेखीय बीजगणित में अदिश गुणन है। यहां $$K$$ एक क्षेत्र (गणित) है और $$S$$ उस क्षेत्र पर एक सदिश समष्टि है।

कुछ बाहरी द्विआधारी संक्रियाओं को वैकल्पिक रूप से $$S$$ पर $$K$$ की समूह क्रिया (गणित) के रूप में देखा जा सकता है। इसके लिए $$K$$ में एक साहचर्य गुणन के अस्तित्व की आवश्यकता होती है, और रूप $$a(bs)=(ab)s$$ का संगतता नियम, जहाँ $$a,b\in K$$ तथा $$s\in S$$ (यहाँ, बाह्य संक्रिया और $$K$$ में गुणन दोनों को संयोजन द्वारा निरूपित किया जाता है)।

दो सदिशों का बिंदु गुणनफल $$S \times S$$ से $$K$$तक है, जहाँ $$K$$ क्षेत्र है और $$S$$, $$K$$ एक सदिश समष्टि है। यह लेखकों पर निर्भर करता है कि क्या इसे द्विआधारी संक्रिया माना जाता है।

यह भी देखें

 * :श्रेणी:द्विआधारी संक्रियाओं के गुण
 * पुनरावृत्त द्विआधारी संक्रिया
 * संक्रियक (प्रोग्रामिंग)
 * त्रिचर संचालन
 * ट्रुथ तालिका# द्विआधारी संक्रिया
 * एकल संक्रिया
 * मैग्मा (बीजगणित), द्विआधारी संक्रिया से लैस एक समुच्चय।

इस पेज में लापता आंतरिक लिंक की सूची

 * क्षेत्र (गणित)
 * योग
 * अंकगणितीय आपरेशनस
 * अवयव (गणित)
 * सदिश योग
 * अंक शास्त्र
 * अदिश उत्पाद
 * अंगूठी (बीजगणित)
 * स्केलर गुणज
 * सदिश स्थल
 * किसी फलन का डोमेन
 * बीजगणितीय संरचना
 * नक्शा (गणित)
 * समापन (गणित)
 * आंशिक समारोह
 * समारोह (गणित)
 * जोड़नेवाला
 * त्रैमासिक संबंध
 * लीनियर अलजेब्रा
 * मेग्मा (बीजगणित)
 * त्रिचर संक्रिया