ऑपेराड: Difference between revisions

Latest revision as of 17:12, 29 August 2023

गणित में, ऑपेराड एक संरचना है जिसमें एब्स्ट्रैक्ट (संक्षेप) ऑपरेशन (गणित) होते हैं, प्रत्येक में निश्चित परिमित संख्या में इनपुट और आउटपुट होता है, साथ ही इन ऑपरेशनों को बनाने के प्रकार का विनिर्देश होता है। ओपेरा O दिया गया है $O$ इस समूह पर ठोस ऑपरेशंस के साथ सेट होने के लिए बीजगणित को परिभाषित करता है जो कि संक्षेप ऑपरेशन की तरह ही व्यवहार करता है उदाहरण के लिए, ऑपेराड L जैसे L के ऊपर बीजगणित लाई बीजगणित है; अर्थ में L संक्षेप प्रकार से उन ऑपरेशनों को स्कैनकोड करता है जो सभी लाई बीजगणित के लिए सामान्य है। ऑपेराड अपने बीजगणित के लिए समूह (गणित) के रूप में अपने समूह के प्रतिनिधित्व के लिए है।

इतिहास

ऑपरेशंस बीजगणितीय टोपोलॉजी में उत्पन्न होते हैं ऑपेराड; 1969 में जे माइकल बोर्डमैन और रेनर एम. वोग्ट^[1]^[2] और 1970 मई जे. पीटर मे द्वारा प्रस्तुत किया गया था।^[3] ऑपेराड शब्द मई द्वारा संचालन और मोनड (श्रेणी सिद्धांत) के पोर्टमंतेऊ के रूप में बनाया गया था (और इसलिए भी कि उनकी मां एक ऑपेरा गायक थीं)।^[4] 90 के दशक की प्रारम्भ में ऑपेराड में रुचि अधिकांशतः नवीनीकृत हो गई थी, जब मैक्सिम कोंटेसेविच, विक्टर गिन्ज़बर्ग और मिखाइल कापरानोव की प्रारंभिक अंतर्दृष्टि के आधार पर पता चला कि तर्कसंगत होमोटोपी सिद्धांत में कुछ द्वंद (गणित) घटनाओं को ऑपेराड के कोज़ुल द्वंद का उपयोग करके समझाया जा सकता है।^[5]^[6] इसके बाद से ऑपरेड्स ने कई अनुप्रयोगों को पाया है, जैसे जहर कई गुना के विरूपण परिमाणीकरण में, डेलिग्ने अनुमान,^[7] या मैक्सिम कोंटसेविच और थॉमस विलवाकर के कार्य में ग्राफ (असतत गणित) होमोलॉजी (गणित) में किया गया है।

अभ्यास

माना X एक समूह है और

n\in \mathbb {N}

को परिभाषित करता है

और

P(n):=\{f:X^{n}\to X\}

,

कार्टेशियन प्रोडक्ट से सभी फलन का समूह $n$ की प्रतिरूप $X$ को $X$ है।

हम इन फलन की रचना कर सकते हैं: दिया गया $f\in P(n)$ , $f_{1}\in P(k_{1}),\ldots ,f_{n}\in P(k_{n})$ , फलन

f\circ (f_{1},\ldots ,f_{n})\in P(k_{1}+\cdots +k_{n})

निम्नानुसार परिभाषित किया गया है: दिया गया $k_{1}+\cdots +k_{n}$ से तर्क $X$ , हम उन्हें विभाजित करते हैं $n$ ब्लॉक, पहले वाला $k_{1}$ तर्क, दूसरा $k_{2}$ तर्क, इत्यादि, और फिर क्रियान्वित करें $f_{1}$ पहले ब्लॉक के लिए, $f_{2}$ दूसरे ब्लॉक इत्यादि के लिए है। फिर हम मान X से प्राप्त एन मानों की सूचि में एफ को इस प्रकार क्रियान्वित करते हैं |

हम तर्कों को भी अनुमति दे सकते हैं, अर्थात हमारे पास समूह क्रिया है $*$ सममित समूह का $S_{n}$ पर $P(n)$ , द्वारा परिभाषित

(f*s)(x_{1},\ldots ,x_{n})=f(x_{s^{-1}(1)},\ldots ,x_{s^{-1}(n)})

के लिए $f\in P(n)$ , $s\in S_{n}$ और $x_{1},\ldots ,x_{n}\in X$ .

नीचे दी गई सममित ऑपेराड की परिभाषा इन दो आपरेशनों के आवश्यक गुणों को पकड़ती है $\circ$ और $*$ .

परिभाषा

असममित ऑपेराड असममित ऑपेराड (कभी-कभी क्रमचय के बिना ऑपेराड कहा जाता है, या गैर- $\Sigma$ या प्लेन ऑपेराड) में निम्नलिखित सम्मिलित हैं:

अनुक्रम $(P(n))_{n\in \mathbb {N} }$ समूह के, जिनके तत्व कहलाते हैं एन-एरी ऑपरेशन ,
अवयव $1$ में $P(1)$ पहचान कहते हैं,
सभी धन पूर्णांक के लिए $n$ , ${\textstyle k_{1},\ldots ,k_{n}}$ , संघटन फलन

{\begin{aligned}\circ :P(n)\times P(k_{1})\times \cdots \times P(k_{n})&\to P(k_{1}+\cdots +k_{n})\\(\theta ,\theta _{1},\ldots ,\theta _{n})&\mapsto \theta \circ (\theta _{1},\ldots ,\theta _{n}),\end{aligned}}

निम्नलिखित सुसंगतता सिद्धांतों को संतुष्ट करना:

पहचान: $\theta \circ (1,\ldots ,1)=\theta =1\circ \theta$
साहचर्य:

{\begin{aligned}&\theta \circ {\Big (}\theta _{1}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}}),\ldots ,\theta _{n}\circ (\theta _{n,1},\ldots ,\theta _{n,k_{n}}){\Big )}\\={}&{\Big (}\theta \circ (\theta _{1},\ldots ,\theta _{n}){\Big )}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}},\ldots ,\theta _{n,1},\ldots ,\theta _{n,k_{n}})\end{aligned}}

सममित ऑपरैड

सममित ऑपेराड (अधिकांशतः ऑपेराड कहा जाता है) असममित ऑपेराड है $P$ ऊपर के रूप में, साथ सममित समूह $S_{n}$ पर $P(n)$ के एक समान क्रिया के लिए $n\in \mathbb {N}$ , द्वारा चिह्नित $*$ और संतुष्ट करना है

समतुल्यता: क्रमचय दिया गया $t\in S_{n}$ ,

(\theta *t)\circ (\theta _{t(1)},\ldots ,\theta _{t(n)})=(\theta \circ (\theta _{1},\ldots ,\theta _{n}))*t'

(जहाँ

t'

दाहिने पक्ष की ओर के अवयव को संदर्भित करता है

S_{k_{1}+\dots +k_{n}}

जो समूह पर कार्य करता है

\{1,2,\dots ,k_{1}+\dots +k_{n}\}

इसे तोड़कर एन ब्लॉक, आकार का पहला

k_{1}

, आकार का दूसरा

k_{2}

, के माध्यम से एनवें आकार का ब्लॉक

k_{n}

, और फिर इन्हें परमिट करता है एन द्वारा ब्लॉक करता है टी , प्रत्येक ब्लॉक को जोड़े रखते) हैं |

और दिया एन क्रमचय

s_{i}\in S_{k_{i}}

,

\theta \circ (\theta _{1}*s_{1},\ldots ,\theta _{n}*s_{n})=(\theta \circ (\theta _{1},\ldots ,\theta _{n}))*(s_{1},\ldots ,s_{n})

( जहाँ

(s_{1},\ldots ,s_{n})

के अवयव को दर्शाता है

S_{k_{1}+\dots +k_{n}}

जो इन ब्लॉकों में से पहले

s_{1}

परमिट करता है, दूसरा

s_{2}

द्वारा, इत्यादि, और उनके सभी क्रम को उपस्थित रखता है)।

इस परिभाषा में क्रमचय क्रियाएं अधिकांश अनुप्रयोगों के लिए महत्वपूर्ण हैं, जिनमें मूल अनुप्रयोग से लेकर लूप स्पेस तक सम्मिलित हैं।

आकारिकी

ऑपेराड की व्याख्या $f:P\to Q$ यहाँ पर अनुक्रम होते हैं के होते हैं

(f_{n}:P(n)\to Q(n))_{n\in \mathbb {N} }

वह:

पहचान रखता है: $f(1)=1$
संरचना को संरक्षित करता है: प्रत्येक एन-आरी ऑपरेशन के लिए $\theta$ और संचालन $\theta _{1},\ldots ,\theta _{n}$ ,

f(\theta \circ (\theta _{1},\ldots ,\theta _{n}))=f(\theta )\circ (f(\theta _{1}),\ldots ,f(\theta _{n}))

क्रमचय क्रियाओं को संरक्षित करता है: $f(x*s)=f(x)*s$ .
ऑपेराड इसलिए श्रेणी (गणित) बनाते हैं जिसे ऑपेराड द्वारा निरूपित किया जाता है .

अन्य श्रेणियों में

अब तक ऑपेराड को सिर्फ समूह के श्रेणी सिद्धांत में ही माना जाता है। अत्यधिक सामान्यतः, किसी भी सममित मोनोइडल श्रेणी सी में ऑपेराड को परिभाषित करना संभव है। ऐसे में प्रत्येक $P(n)$ सी की ऑब्जेक्ट है, रचना $\circ$ व्याख्या है $P(n)\otimes P(k_{1})\otimes \cdots \otimes P(k_{n})\to P(k_{1}+\cdots +k_{n})$ सी में (जहां $\otimes$ मोनोइडल श्रेणी के टेंसर प्रोडक्ट्स को दर्शाता है), और सममित समूह के अवयव की क्रियाएं सी में समरूपता द्वारा दी जाती हैं।

कार्टेशियन प्रोडक्ट द्वारा दिए गए मोनोइडल प्रोडक्ट के साथ सामान्य उदाहरण टोपोलॉजिकल स्पेस और निरंतर मानचित्र की श्रेणी है। इस कथन में, टोपोलॉजिकल ऑपेराड स्पेस (समूह के विपरीत) के अनुक्रम द्वारा दिया जाता है $\{P(n)\}_{n\geq 0}$ . ऑपेराड के संरचना मानचित्र (सममित समूहों की रचना और क्रियाएं) को तब निरंतर माना जाता है। परिणाम को टोपोलॉजिकल ऑपेराड कहा जाता है। इसी मानचित्र, ऑपेराड के आकारिकी की परिभाषा में, यह मान लेना आवश्यक होगा कि इसमें प्रकार सम्मिलित मानचित्र निरंतर हैं।

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

बीजगणित की परिभाषा

क्रमविनिमेय वलय आर दिया गया है हम आर से अत्यधिक मॉड्यूल की श्रेणी आर-मॉड पर विचार करते हैं। आर पर ऑपेराड को मोनॉइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है $(T,\gamma ,\eta )$ एंडोफंक्टर्स की मोनोइडल श्रेणी में आर-मॉड (यह मोनाड (श्रेणी सिद्धांत) है) कुछ परिमित स्थिति को संतुष्ट करता है।उदाहरण के लिए, बहुपद एंडोफंक्टर्स की श्रेणी में मोनोइड ऑब्जेक्ट आर-मॉड ऑपेराड है।^[7] इसी प्रकार, सममित ऑपेराड को एस-ऑब्जेक्ट की श्रेणी में मोनोइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है $\mathbb {S}$ -ऑब्जेक्ट्स, जहां $\mathbb {S}$ अर्थ सममित समूह है।^[8] संयोजी प्रजातियों की श्रेणी में मोनोइड ऑब्जेक्ट परिमित समूहों में ऑपेराड है।

उपरोक्त अर्थ में ऑपेराड को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। समूह जो फ़िल्टर्ड कोलिमिट्स के साथ चलता है।^[9] यह वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय R मोनाड को परिभाषित करता है $\Sigma _{R}:{\textbf {Set}}\to {\textbf {Set}}$ जो फ्री मॉड्यूल है | फ्री आर-मॉड्यूल के अंतर्निहित समूह को समूह एक्स भेजता है जो $R^{(X)}$ X द्वारा उत्पन्न होता है।

अभिगृहित को समझना

साहचर्य अभिगृहित

साहचर्य का अर्थ है कि ऑपेराड का संयोजन साहचर्य है (कार्यक्रम $\circ$ साहचर्य है), श्रेणी सिद्धांत में अभिगृहित के अनुरूप है $f\circ (g\circ h)=(f\circ g)\circ h$ ; इसका अर्थ यह नहीं है कि ऑपेराड स्वयं ऑपेराड के रूप में साहचर्य हैं। नीचे साहचर्य ऑपेराड के साथ तुलना करें।

ऑपेराड सिद्धांत में सहयोगीता का अर्थ है कि व्यंजक (गणित) को छोड़े गए रचनाओं से अस्पष्टता के बिना संचालन सम्मिलित किया जा सकता है, जैसे संचालन के लिए सहयोगीता प्रोडक्ट्स को छोड़े गए कोष्ठकों से अस्पष्टता के बिना लिखे जाने की अनुमति देती है।

उदाहरण के लिए, यदि $\theta$ बाइनरी ऑपरेशन है, जिसे लिखा जाता है $\theta (a,b)$ या $(ab)$ . जिससे $\theta$ सहयोगी हो सकता है या नहीं भी हो सकता है।

फिर जो सामान्य तौर पर लिखा जाता है $((ab)c)$ स्पष्ट प्रकार से $\theta \circ (\theta ,1)$ के रूप में लिखा जाता है। यह भेजता है $(a,b,c)$ को $(ab,c)$ (आवेदन करना $\theta$ पहले दो पर, और तीसरे पर पहचान), और फिर $\theta$ बाईं ओर गुणा करता है $ab$ द्वारा $c$ . पेड़ के रूप में चित्रित करने पर यह स्पष्ट हो जाता है:

जो एक 3-एरी ऑपरेशन देता है:

चूँकि, व्यंजक, $(((ab)c)d)$ प्राथमिक अस्पष्ट है: इसका यदि अर्थ हो सकता है $\theta \circ ((\theta ,1)\circ ((\theta ,1),1))$ , यदि आंतरिक रचनाएँ पहले की जाती हैं, या इसका अर्थ हो सकता है $(\theta \circ (\theta ,1))\circ ((\theta ,1),1)$ , यदि बाहरी रचनाएँ पहले की जाती हैं (संचालन दाएं से बाएं पढ़े जाते हैं)। लिखना $x=\theta ,y=(\theta ,1),z=((\theta ,1),1)$ , यह है $x\circ (y\circ z)$ बनाम $(x\circ y)\circ z$ . यही है, पेड़ में लंबवत कोष्ठक अनुपस्थित हैं:

यदि संचालन की शीर्ष दो पंक्तियों को पहले बनाया जाता है (पर ऊपर की ओर कोष्ठक लगाता है $(ab)c\ \ d$ पंक्ति; आंतरिक रचना पहले करता है), निम्नलिखित परिणाम:

जो तब 4-एरी ऑपरेशन के लिए स्पष्ट प्रकार से मूल्यांकन करता है। एनोटेटेड व्यंजक के रूप में:

\theta _{(ab)c\cdot d}\circ ((\theta _{ab\cdot c},1_{d})\circ ((\theta _{a\cdot b},1_{c}),1_{d}))

यदि संचालन की निचली दो पंक्तियों को पहले बनाया जाता है (नीचे की ओर कोष्ठक डालता है $ab\quad c\ \ d$ पंक्ति; पहले बाहरी रचना करता है), निम्नलिखित परिणाम:

जो तब 4-एरी ऑपरेशन उत्पन्न करने के लिए स्पष्ट प्रकार से मूल्यांकन करता है:

साहचर्य का यह है कि ये एक ही परिणाम देते हैं, और इस प्रकार यह व्यंजक $(((ab)c)d)$ असंदिग्ध है।

पहचान अभिगृहित

पहचान अभिगृहित (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:

जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से अंतर नहीं पड़ता है। श्रेणियों के लिए, $1\circ 1=1$ पहचान अभिगृहित का परिणाम है।

उदाहरण

आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है

आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है ऊपर दिए गए अनुभव पर अनुभाग में दिए गए सबसे आकारिकी ऑपेराड हैं। किसी भी समूह के लिए $X$ , हम ${\mathcal {End}}_{X}$ सभी फलन से मिलकर $X^{n}\to X$ आकारिकी ऑपेराड प्राप्त करते हैं। ये ऑपेराड महत्वपूर्ण हैं क्योंकि वे ऑपेराड बीजगणित को परिभाषित करने के लिए कार्य करते हैं। यदि ${\mathcal {O}}$ ऑपेराड है, ऑपेराड बीजगणित ${\mathcal {O}}$ है $X$ समूह द्वारा दिया जाता और ऑपेराड व्याख्या ${\mathcal {O}}\to {\mathcal {End}}_{X}$ है। सरल प्रकार से, इस प्रकार की व्याख्या के प्रत्येक संक्षेप संचालन को बदल देता है ${\mathcal {O}}(n)$ ठोस में $n$ समूह एन-एरी ऑपरेशन $X$ है। O पर ऑपेराड बीजगणित इस प्रकार X पर ठोस संचालन के साथ समूह X होता है जो ऑपेराड O द्वारा स्पष्ट प्रकार से निर्दिष्ट नियमों का पालन करता है।

वेक्टर स्पेस में आकारिकी ऑपेराड और ऑपेराड बीजगणित

यदि के क्षेत्र (गणित) है, तो हम के पर परिमित-विमीय सदिश समष्टियों की श्रेणी पर विचार कर सकते हैं; यह के पर साधारण टेंसर उत्पाद का उपयोग करके मोनोइडल श्रेणी बन जाती है। हम इस श्रेणी में आकारिकी ऑपरेशंस को निम्नानुसार परिभाषित कर सकते हैं। चलो वी परिमित- विमीय वेक्टर स्पेस हो आकारिकी ऑपेराड ${\mathcal {End}}_{V}=\{{\mathcal {End}}_{V}(n)\}$ वी के होते हैं^[10]

${\mathcal {End}}_{V}(n)$ = रैखिक मानचित्रों का स्थान $V^{\otimes n}\to V$ ,
(रचना) दिया गया $f\in {\mathcal {End}}_{V}(n)$ , $g_{1}\in {\mathcal {End}}_{V}(k_{1})$ , ..., $g_{n}\in {\mathcal {End}}_{V}(k_{n})$ , उनकी रचना मानचित्र द्वारा दी गई है $V^{\otimes k_{1}}\otimes \cdots \otimes V^{\otimes k_{n}}\ {\overset {g_{1}\otimes \cdots \otimes g_{n}}{\longrightarrow }}\ V^{\otimes n}\ {\overset {f}{\to }}\ V$ ,
(पहचान) में पहचान अवयव ${\mathcal {End}}_{V}(1)$ पहचान मानचित्र है $\operatorname {id} _{V}$ ,
(सममित समूह क्रिया) $S_{n}$ $V^{\otimes n}$ में टेंसर के घटकों की अनुमति देकर ${\mathcal {End}}_{V}(n)$ पर कार्य करता है।

यदि ${\mathcal {O}}$ ऑपेराड है, के-रैखिक ऑपेराड बीजगणितीय ओवर ${\mathcal {O}}$ परिमित- विमीय वेक्टर स्पेस वी ओवर के और ऑपेराड व्याख्या द्वारा दिया जाता है ${\mathcal {O}}\to {\mathcal {End}}_{V}$ ; यह वी पर ठोस बहुरेखीक ऑपरेशंस को निर्दिष्ट करने की मात्रा है जो ${\mathcal {O}}$ के ऑपरेशंस की तरह व्यवहार करती है. (ऑपेराड्स और ऑपेराड बीजगणित और रिंग्स और मॉड्यूल के बीच समानता पर ध्यान दें: रिंग आर पर मॉड्यूल एबेलियन समूह एम द्वारा रिंग $R\to \operatorname {End} (M)$ समरूपता के साथ दिया जाता है) |

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

थोड़ा कुछ ऑपेराड

File:Composition in the little discs operad.svg

छोटे 2-डिस्क ऑपरैड में ऑपेरडिक रचना, पाठ में समझाया गया है।

छोटा 2-डिस्क ऑपेराड सामयिक ऑपेराड है जहां $P(n)$ की यूनिट डिस्क के अंदर एन डिसजॉइंट डिस्क (गणित) की ऑर्डर की गई सूचियाँ सम्मिलित हैं $\mathbb {R} ^{2}$ मूल पर केन्द्रित है। सममित समूह छोटे डिस्क की सूची को क्रमपरिवर्तन करके ऐसे विन्यास पर कार्य करता है। छोटी डिस्क के लिए ऑपेराड रचना को साथ में दाईं ओर दिए गए चित्र में दर्शाया गया है, जहां अवयव $\theta \in P(3)$ अवयव $(\theta _{1},\theta _{2},\theta _{3})\in P(2)\times P(3)\times P(4)$ के साथ बना है और $\theta \circ (\theta _{1},\theta _{2},\theta _{3})\in P(9)$ के विन्यास को सिकोड़ कर प्राप्त किया $\theta _{i}$ और इसे i-th डिस्क में सम्मिलित किया जाता है $\theta$ , $i=1,2,3$ के लिए किया जाता है।

समान प्रकार से, $\mathbb {R} ^{n}$ यूनिट बॉल के अंदर असम्बद्ध एन-बॉल्स के विन्यास पर विचार करके छोटे एन-डिस्क ऑपेराड को परिभाषित कर सकता है ^[11]. मुख्य प्रकार से छोटे एन-क्यूब्स ऑपेराड या छोटे अंतराल ऑपेराड (प्रारम्भ में छोटे एन-क्यूब्स पीआरओ (श्रेणी सिद्धांत) कहा जाता है) को माइकल बोर्डमैन और रेनर वोग्ट द्वारा इसी तरह परिभाषित किया गया था, असम्बद्ध अक्ष-संरेखित एन-के विन्यास के संदर्भ में किया गया था। यूनिट अतिविमय के अंदर विमय हाइपरक्यूब्स (एन-विमय इंटरवल (गणित)) है।^[12] बाद में इसे मई तक सामान्य कर दिया गया था ^[13] छोटे उत्तल निकायों के लिए ऑपेराड और छोटी डिस्क छोटे उत्तल निकायों से प्राप्त लोककथाओं का कथन है।^[14]

जड़ वाले पेड़

ग्राफ थ्योरी में, जड़ वाले पेड़ प्राकृतिक ऑपेराड बनाते हैं। यहाँ, $P(n)$ n पत्तों वाले सभी जड़ वाले वृक्षों का समुच्चय है, जहाँ पत्तियाँ 1 से एन तक क्रमांकित हैं। समूह $S_{n}$ लीफ लेबल्स को क्रमपरिवर्तन करके इस समूह पर कार्य करता है। ऑपरेटिव रचना $T\circ (S_{1},\ldots ,S_{n})$ के i-वें पत्ते को बदलकर दिया जाता है $T$ i-वें पेड़ की जड़ से $S_{i}$ , के लिए $i=1,\ldots ,n$ , इस प्रकार एन पेड़ों को संलग्न करना $T$ और एक बड़ा पेड़ बनाते हैं, जिसकी जड़ को जड़ के समान ही लिया जाता है $T$ और जिनकी पत्तियाँ क्रम से क्रमांकित हैं।

स्विस-चिज ऑपेराड

स्विस-चीज़ ऑपेराड दो-रंग का टोपोलॉजिकल ऑपेराड है, जो यूनिट एन-सेमीडिस्क और एन के अंदर डिसजॉइंट एन-क्रमपरिवर्तन डिस्क (गणित) के विन्यास के संदर्भ में परिभाषित किया गया है। '-डायमेंशनल सेमीडिस्क, यूनिट सेमीडिस्क के आधार पर केंद्रित है और इसके भीतर अधिवेशन है। ऑपेराडिक रचना यूनिट डिस्क के अंदर छोटी डिस्क के ग्लूइंग विन्यास से दूसरी यूनिट सेमीडिस्क में छोटी डिस्क और यूनिट सेमीडिस्क के अंदर छोटी डिस्क और विन्यास से दूसरी यूनिट सेमीडिस्क में आती है।

स्विस-चीज़ ऑपेराड को अलेक्जेंडर ए वोरोनोव द्वारा परिभाषित किया गया था।^[15] इसका उपयोग मैक्सिम कोंटेसेविच द्वारा डेलिग्ने अनुमान के स्विस-चीज़ संस्करण को तैयार करने के लिए किया गया था। होशचाइल्ड कोहोलॉजी पर डेलिग्ने का अनुमान में किया गया था।^[16] कोन्टसेविच का अनुमान पो मैं, इगोर क्रिज़ और अलेक्जेंडर ए वोरोनोव द्वारा आंशिक रूप से सिद्ध किया गया था^[17] और फिर पूरी तरह से जस्टिन थॉमस (गणितज्ञ) द्वारा सिद्ध किया गया था।^[18]

साहचर्य ऑपेराड

ऑपेराड के उदाहरणों का अन्य वर्ग बीजगणितीय संरचनाओं की संरचनाओं पर अधिकार कर रहा है, जैसे साहचर्य बीजगणित, क्रमविनिमेय बीजगणित और लाई बीजगणित है। इनमें से प्रत्येक को बाइनरी ऑपरेशंस द्वारा उत्पन्न इन तीनों में से प्रत्येक में सूक्ष्म प्रकार से प्रस्तुत ऑपेराड के रूप में प्रदर्शित किया जा सकता है।

उदाहरण के लिए, साहचर्य ऑपेराड बाइनरी ऑपरेशंस द्वारा उत्पन्न सममित ऑपेराड है $\psi$ , केवल इस अवस्था पर आधारित है

\psi \circ (\psi ,1)=\psi \circ (1,\psi ).

यह स्थिति बाइनरी ऑपरेशन की साहचर्यता से मिलता है $\psi$ ; लिखना $\psi (a,b)$ गुणात्मक प्रकार से, उपरोक्त स्थिति $(ab)c=a(bc)$ है। ऑपेराड की इस साहचर्यता को संघटन की साहचर्यता के साथ भ्रमित नहीं किया जाना चाहिए जो किसी ऑपेराड में धारण करती है; ऊपर साहचर्य का सूक्ति देखें।

साहचर्य ऑपेराड में, प्रत्येक $P(n)$ सममित समूह $S_{n}$ द्वारा दिया गया है जिस पर $S_{n}$ सही गुणन द्वारा कार्य करता है। समग्र $\sigma \circ (\tau _{1},\dots ,\tau _{n})$ के अनुसार ब्लॉक में $\sigma$ इसके इनपुट की अनुमति देता है, और $\tau _{i}$ उपयुक्त के अनुसार ब्लॉकों के भीतर है।

साहचर्य ऑपेराड पर बीजगणित सही प्रकार से अर्धसमूह होते हैं: एकल द्विआधारी साहचर्य ऑपेराड के साथ समूह होते हैं। साहचर्य ऑपेराड पर के-रैखिक बीजगणित वास्तव में साहचर्य बीजगणित हैं |

टर्मिनल सममित ऑपेराड

टर्मिनल सममित ऑपेराड वह ऑपेराड है जिसमें प्रत्येक एन के लिए प्रत्येक एन-आरी ऑपरेशन होता है $S_{n}$ नगण्य क्रिया है। इस ऑपेराड पर बीजगणित क्रमविनिमेय अर्धसमूह हैं; के-रेखीय बीजगणित क्रमविनिमेय साहचर्य के-बीजगणित हैं।

ब्रेड समूहों से संचालित होता है

इसी प्रकार, अप- $\Sigma$ ऑपेराड जिसके लिए प्रत्येक पी(एन) आर्टिन ब्रेड समूह B_n द्वारा दिया गया है। इसके अतिरिक्त, यह अप- $\Sigma$ ऑपेराड में ब्रेडेड ऑपेराड की संरचना होती है, जो ऑपेराड की धारणा को सममित से ब्रेड समूहों तक सामान्यीकृत करती है।

रेखीय बीजगणित

रेखीय बीजगणित में, वास्तविक वेक्टर स्पेस को ऑपेराड के ऊपर बीजगणित माना जा सकता है $\mathbb {R} ^{\infty }$ सभी रैखिक संयोजनों की तरह है। $\mathbb {R} ^{\infty }(n)=\mathbb {R} ^{n}$ के लिए $n\in \mathbb {N}$ इस ऑपेराड द्वारा परिभाषित किया गया है, $S_{n}$ क्रमचय घटकों के उचित कदम के साथ, और संरचना ${\vec {x}}\circ ({\vec {y_{1}}},\ldots ,{\vec {y_{n}}})$ वैक्टर के संयोजन द्वारा दिया गया $x^{(1)}{\vec {y_{1}}},\ldots ,x^{(n)}{\vec {y_{n}}}$ , जहाँ ${\vec {x}}=(x^{(1)},\ldots ,x^{(n)})\in \mathbb {R} ^{n}$ है। सदिश ${\vec {x}}=(2,3,-5,0,\dots )$ है। उदाहरण के लिए गुणांक 2,3,-5,0,... के साथ रैखिक संयोजन बनाने के संचालन को प्रदर्शित करता है।

यह दृष्टिकोण इस धारणा को औपचारिक रूप देता है कि रैखिक संयोजन सदिश स्पेस पर सबसे सामान्य प्रकार का ऑपरेशन है - यह कहना कि सदिश स्थान रैखिक संयोजनों के ऑपेराड पर बीजगणित है, ठीक इसी प्रकार यह कथन है कि सदिश स्थान में सभी संभव बीजगणितीय ऑपेराड रैखिक संयोजन है। सदिश जोड़ और अदिश गुणन के संबंधित ऑपेराड सभी रैखिक संयोजनों के ऑपेराड के लिए जनरेटिंग समूह हैं, जबकि रैखिक संयोजन ऑपेराड सदिश स्पेस पर सभी संभावित संचालनों को सांकेतिक प्रकार से एनकोड करता है।

इसी प्रकार, अफ्फिन संयोजनों, शंक्वाकार संयोजनों और उत्तल संयोजनों को उप-ऑपेराड के अनुरूप माना जा सकता है जहां सदिश ${\vec {x}}$ के पदों का योग 1 है, सभी पद क्रमशः अऋणात्मक या दोनों हैं। रेखांकन प्रकार से, इनफिनिट अफ्फिन इनफिनिट हाइपरप्लेन, हाइपर-ऑक्टेंट इनफिनिट और सिम्प्लेक्स हैं। यह औपचारिकता करता है कि $\mathbb {R} ^{n}$ होने का क्या अर्थ है या मानक सिम्पलेक्स मॉडल स्पेस है, और इस प्रकार के टिप्पणियां जैसे कि प्रत्येक बाध्य उत्तल पॉलीटॉप सिंप्लेक्स की इमेज है। यहां सबऑपराड्स अत्यधिक प्रतिबंधित ऑपेराड और इस प्रकार अधिक सामान्य सिद्धांतों के अनुरूप हैं।

क्रमविनिमेय-रिंग ऑपेराड और लाई ऑपेराड

क्रमविनिमेय-रिंग ऑपेराड है जिसका बीजगणितीय क्रमविनिमेय वलय है। यह $P(n)=\mathbb {Z} [x_{1},\ldots ,x_{n}]$ द्वारा परिभाषित किया गया है, $S_{n}$ उचित कदम के साथ और चर के लिए बहुपदों (पुनः क्रमांकित चर के साथ) को प्रतिस्थापित करके दी गई ऑपेरैडिक रचना है। समान ऑपरैड को परिभाषित किया जा सकता है जिसका बीजगणित कुछ निश्चित आधार क्षेत्र पर साहचर्य, क्रमविनिमेय बीजगणित हैं। इस ऑपरैड का कॉसज़ुल-डुअल लाइ ऑपरैड है (जिसका बीजगणित लाइबीजगणित है), और इसके विपरीत है।

फ्री ऑपरेशंस

विशिष्ट बीजगणितीय निर्माण (जैसे, फ्री बीजगणित निर्माण) को ऑपेराड तक बढ़ाया जा सकता है। समुच्चय^Sn उस श्रेणी को निरूपित करें जिसकी ऑब्जेक्ट समूह पर होता है जिस पर समूह $S_{n}$ कार्य करता है। फिर नगण्य करक है ओपेर, जो ऑपेराड सामान्यतः नगण्य हो जाता है | सहायक फ़ैक्टर्स का निर्माण संभव है $\Gamma :\prod _{n\in \mathbb {N} }\mathbf {Set} ^{S_{n}}\to {\mathsf {Oper}}$ इस नगण्य कारक के लिए (यह फ्री कारक की सामान्य परिभाषा है)। संचालन ई के संकलन को देखते हुए, $\Gamma (E)$ ई पर फ्री ऑपेरड है।

समूह या रिंग की तरह, नि: शुल्क निर्माण जनरेटर और संबंधों के संदर्भ में ओपेरा को व्यक्त करने की अनुमति देता है। ओपेरा के मुक्त प्रदर्शित ${\mathcal {O}}$ द्वारा, हमारा अर्थ लिखना है ${\mathcal {O}}$ मुफ्त ओपेरा के भागफल के रूप में ${\mathcal {F}}=\Gamma (E)$ जहां ई के जनरेटर का वर्णन करता है ${\mathcal {O}}$ और अधिरूपता की मूल ${\mathcal {F}}\to {\mathcal {O}}$ संबंधों का वर्णन करता है।

ए (सममित) ऑपेराड ${\mathcal {O}}=\{{\mathcal {O}}(n)\}$ द्विघात कहा जाता है यदि इसकी मुक्त प्रस्तुति है जैसे कि $E={\mathcal {O}}(2)$ जनरेटर है और संबंध इसमें निहित है $\Gamma (E)(3)$ .^[19]

होमोटॉपी थ्योरी में ऑपरेशंस

स्टैशेफ़ (2004) में, स्टैशेफ़ लिखते हैं:

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

यह भी देखें

↑ Boardman, J. M.; Vogt, R. M. (1 November 1968). "होमोटॉपी-सब कुछ $H$-स्पेस". Bulletin of the American Mathematical Society (in English). 74 (6): 1117–1123. doi:10.1090/S0002-9904-1968-12070-1. ISSN 0002-9904.
↑ Boardman, J. M.; Vogt, R. M. (1973). टोपोलॉजिकल स्पेस पर होमोटॉपी इनवेरिएंट बीजगणितीय संरचनाएं. Lecture Notes in Mathematics (in British English). Vol. 347. doi:10.1007/bfb0068547. ISBN 978-3-540-06479-4. ISSN 0075-8434.
↑ May, J. P. (1972). पुनरावृत्त लूप रिक्त स्थान की ज्यामिति. Lecture Notes in Mathematics (in British English). Vol. 271. CiteSeerX 10.1.1.146.3172. doi:10.1007/bfb0067491. ISBN 978-3-540-05904-2. ISSN 0075-8434.
↑ May, J. Peter. "संचालन, बीजगणित और मॉड्यूल" (PDF). math.uchicago.edu. p. 2. Retrieved 28 September 2018.
↑ Ginzburg, Victor; Kapranov, Mikhail (1994). "ओपेरा के लिए द्वंद्व शर्ट". Duke Mathematical Journal (in English). 76 (1): 203–272. doi:10.1215/S0012-7094-94-07608-4. ISSN 0012-7094. MR 1301191. S2CID 115166937. Zbl 0855.18006 – via Project Euclid.
↑ Loday, Jean-Louis (1996). "La renaissance des opérades". www.numdam.org. Séminaire Nicolas Bourbaki (in English). MR 1423619. Zbl 0866.18007. Retrieved 27 September 2018.
↑ ^7.0 ^7.1 Kontsevich, Maxim; Soibelman, Yan (26 January 2000). "ऑपरेड्स और डेलिग्ने के अनुमान पर बीजगणित की विकृति". arXiv:math/0001151.
↑ Jones, J. D. S.; Getzler, Ezra (8 March 1994). "डबल लूप स्पेस के लिए ऑपरेड्स, होमोटॉपी बीजगणित और पुनरावृत्त इंटीग्रल" (in English). arXiv:hep-th/9403055.
↑ N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; arXiv:0704.2030.
↑ Markl, Martin (2006). "ऑपरेशंस और प्रोप". Handbook of Algebra. 5 (1): 87–140. arXiv:math/0601129. doi:10.1016/S1570-7954(07)05002-4. ISBN 9780444531018. S2CID 3239126. Example 2
↑ Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily (2005) Geometric and Algebraic Topological Methods in Quantum Mechanics, ISBN 981-256-129-3, pp. 474,475
↑ Greenlees, J. P. C. (2002). स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत. Proceedings of the NATO Advanced Study Institute on स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत. Cambridge, United Kingdom: Springer Science & Business Media. pp. 154–156. ISBN 978-1-4020-1834-3.
↑ May, J. P. (1977). "अनंत लूप अंतरिक्ष सिद्धांत". Bull. Amer. Math. Soc. 83 (4): 456–494. doi:10.1090/s0002-9904-1977-14318-8.
↑ Stasheff, Jim (1998). "ग्राफ्टिंग बोर्डमैन के चेरी के पेड़ क्वांटम फील्ड थ्योरी के लिए". arXiv:math/9803156.
↑ Voronov, Alexander A. (1999). स्विस-पनीर ओपेरा. Contemporary Mathematics. Baltimore, Maryland, United States: AMS. pp. 365–373. ISBN 978-0-8218-7829-3.
↑ Kontsevich, Maxim (1999). "विरूपण परिमाणीकरण में संचालन और मकसद". Lett. Math. Phys. 48: 35–72. arXiv:math/9904055. Bibcode:1999math......4055K. doi:10.1023/A:1007555725247. S2CID 16838440.
↑ Hu, Po; Kriz, Igor; Voronov, Alexander A. (2006). "कोंटसेविच के होशचाइल्ड कोहोलॉजी अनुमान पर". Compositio Mathematica. 142 (1): 143–168. doi:10.1112/S0010437X05001521.
↑ Thomas, Justin (2016). "Kontsevich का स्विस पनीर अनुमान". Geom. Topol. 20 (1): 1–48. arXiv:1011.1635. doi:10.2140/gt.2016.20.1. S2CID 119320246.
↑ Markl, Martin (2006). "Operads and PROPs". Handbook of Algebra. 5: 87–140. doi:10.1016/S1570-7954(07)05002-4. ISBN 9780444531018. S2CID 3239126. Definition 37

संदर्भ

Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press. arXiv:math/0305049. Bibcode:2004hohc.book.....L. ISBN 978-0-521-53215-0.
Martin Markl, Steve Shnider, Jim Stasheff (2002). Operads in Algebra, Topology and Physics. American Mathematical Society. ISBN 978-0-8218-4362-8.{{cite book}}: CS1 maint: multiple names: authors list (link)
Markl, Martin (June 2006). "Operads and PROPs". arXiv:math/0601129.
Stasheff, Jim (June–July 2004). "What Is...an Operad?" (PDF). Notices of the American Mathematical Society. 51 (6): 630–631. Retrieved 17 January 2008.
Loday, Jean-Louis; Vallette, Bruno (2012), Algebraic Operads (PDF), Grundlehren der Mathematischen Wissenschaften, vol. 346, Berlin, New York: Springer-Verlag, ISBN 978-3-642-30361-6
Zinbiel, Guillaume W. (2012), "Encyclopedia of types of algebras 2010", in Bai, Chengming; Guo, Li; Loday, Jean-Louis (eds.), Operads and universal algebra, Nankai Series in Pure, Applied Mathematics and Theoretical Physics, vol. 9, pp. 217–298, arXiv:1101.0267, Bibcode:2011arXiv1101.0267Z, ISBN 9789814365116
Fresse, Benoit (17 May 2017), Homotopy of Operads and Grothendieck-Teichmüller Groups, Mathematical Surveys and Monographs, American Mathematical Society, ISBN 978-1-4704-3480-9, MR 3643404, Zbl 1373.55014
Miguel A. Mendéz (2015). Set Operads in Combinatorics and Computer Science. SpringerBriefs in Mathematics. ISBN 978-3-319-11712-6.
Samuele Giraudo (2018). Nonsymmetric Operads in Combinatorics. Springer International Publishing. ISBN 978-3-030-02073-6.

बाहरी संबंध

[1] Boardman, J. M.; Vogt, R. M. (1 November 1968). "होमोटॉपी-सब कुछ $H$-स्पेस". Bulletin of the American Mathematical Society (in English). 74 (6): 1117–1123. doi:10.1090/S0002-9904-1968-12070-1. ISSN 0002-9904.

[2] Boardman, J. M.; Vogt, R. M. (1973). टोपोलॉजिकल स्पेस पर होमोटॉपी इनवेरिएंट बीजगणितीय संरचनाएं. Lecture Notes in Mathematics (in British English). Vol. 347. doi:10.1007/bfb0068547. ISBN 978-3-540-06479-4. ISSN 0075-8434.

[3] May, J. P. (1972). पुनरावृत्त लूप रिक्त स्थान की ज्यामिति. Lecture Notes in Mathematics (in British English). Vol. 271. CiteSeerX 10.1.1.146.3172. doi:10.1007/bfb0067491. ISBN 978-3-540-05904-2. ISSN 0075-8434.

[4] May, J. Peter. "संचालन, बीजगणित और मॉड्यूल" (PDF). math.uchicago.edu. p. 2. Retrieved 28 September 2018.

[5] Ginzburg, Victor; Kapranov, Mikhail (1994). "ओपेरा के लिए द्वंद्व शर्ट". Duke Mathematical Journal (in English). 76 (1): 203–272. doi:10.1215/S0012-7094-94-07608-4. ISSN 0012-7094. MR 1301191. S2CID 115166937. Zbl 0855.18006 – via Project Euclid.

[6] Loday, Jean-Louis (1996). "La renaissance des opérades". www.numdam.org. Séminaire Nicolas Bourbaki (in English). MR 1423619. Zbl 0866.18007. Retrieved 27 September 2018.

[Deligne-7] 7.0 ^7.1 Kontsevich, Maxim; Soibelman, Yan (26 January 2000). "ऑपरेड्स और डेलिग्ने के अनुमान पर बीजगणित की विकृति". arXiv:math/0001151.

[8] Jones, J. D. S.; Getzler, Ezra (8 March 1994). "डबल लूप स्पेस के लिए ऑपरेड्स, होमोटॉपी बीजगणित और पुनरावृत्त इंटीग्रल" (in English). arXiv:hep-th/9403055.

[9] N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; arXiv:0704.2030.

[10] Markl, Martin (2006). "ऑपरेशंस और प्रोप". Handbook of Algebra. 5 (1): 87–140. arXiv:math/0601129. doi:10.1016/S1570-7954(07)05002-4. ISBN 9780444531018. S2CID 3239126. Example 2

[11] Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily (2005) Geometric and Algebraic Topological Methods in Quantum Mechanics, ISBN 981-256-129-3, pp. 474,475

[12] Greenlees, J. P. C. (2002). स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत. Proceedings of the NATO Advanced Study Institute on स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत. Cambridge, United Kingdom: Springer Science & Business Media. pp. 154–156. ISBN 978-1-4020-1834-3.

[13] May, J. P. (1977). "अनंत लूप अंतरिक्ष सिद्धांत". Bull. Amer. Math. Soc. 83 (4): 456–494. doi:10.1090/s0002-9904-1977-14318-8.

[14] Stasheff, Jim (1998). "ग्राफ्टिंग बोर्डमैन के चेरी के पेड़ क्वांटम फील्ड थ्योरी के लिए". arXiv:math/9803156.

[15] Voronov, Alexander A. (1999). स्विस-पनीर ओपेरा. Contemporary Mathematics. Baltimore, Maryland, United States: AMS. pp. 365–373. ISBN 978-0-8218-7829-3.

[16] Kontsevich, Maxim (1999). "विरूपण परिमाणीकरण में संचालन और मकसद". Lett. Math. Phys. 48: 35–72. arXiv:math/9904055. Bibcode:1999math......4055K. doi:10.1023/A:1007555725247. S2CID 16838440.

[17] Hu, Po; Kriz, Igor; Voronov, Alexander A. (2006). "कोंटसेविच के होशचाइल्ड कोहोलॉजी अनुमान पर". Compositio Mathematica. 142 (1): 143–168. doi:10.1112/S0010437X05001521.

[18] Thomas, Justin (2016). "Kontsevich का स्विस पनीर अनुमान". Geom. Topol. 20 (1): 1–48. arXiv:1011.1635. doi:10.2140/gt.2016.20.1. S2CID 119320246.

[19] Markl, Martin (2006). "Operads and PROPs". Handbook of Algebra. 5: 87–140. doi:10.1016/S1570-7954(07)05002-4. ISBN 9780444531018. S2CID 3239126. Definition 37

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

Anonymous

Search

ऑपेराड: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:12, 29 August 2023

Contents

इतिहास

अभ्यास

परिभाषा

सममित ऑपरैड

आकारिकी

अन्य श्रेणियों में

बीजगणित की परिभाषा

अभिगृहित को समझना

साहचर्य अभिगृहित

पहचान अभिगृहित

उदाहरण

वेक्टर स्पेस में आकारिकी ऑपेराड और ऑपेराड बीजगणित

थोड़ा कुछ ऑपेराड

जड़ वाले पेड़

स्विस-चिज ऑपेराड

साहचर्य ऑपेराड

टर्मिनल सममित ऑपेराड

ब्रेड समूहों से संचालित होता है

रेखीय बीजगणित

क्रमविनिमेय-रिंग ऑपेराड और लाई ऑपेराड

फ्री ऑपरेशंस

होमोटॉपी थ्योरी में ऑपरेशंस

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|Generalization of associativity properties}}
-गणित में, ओपेरा एक संरचना है जिसमें एब्स्ट्रैक्ट (संक्षेप) [[ऑपरेशन (गणित)]] होते हैं, प्रत्येक में निश्चित परिमित संख्या में इनपुट और आउटपुट होता है, साथ ही इन ऑपरेशनों को बनाने के प्रकार का विनिर्देश होता है। ओपेरा '''''O''''' दिया गया है <math>O</math>इस सेट पर कंक्रीट ऑपरेशंस के साथ सेट होने के लिए बीजगणित को परिभाषित करता है जो कि संक्षेप [[ऑपरेशन (गणित)|ऑपरेशन]] की तरह ही व्यवहार करता है उदाहरण के लिए, ओपेरा '''''L''''' जैसे '''''L''''' के ऊपर बीजगणित लाई बीजगणित है; अर्थ में '''''L''''' संक्षेप प्रकार से उन ऑपरेशनों को स्कैनकोड करता है जो सभी लाई बीजगणित के लिए सामान्य है। ओपेरा अपने बीजगणित के लिए [[समूह (गणित)]] के रूप में अपने समूह के प्रतिनिधित्व के लिए है।
+गणित में, '''ऑपेराड''' एक संरचना है जिसमें एब्स्ट्रैक्ट (संक्षेप) [[ऑपरेशन (गणित)]] होते हैं, प्रत्येक में निश्चित परिमित संख्या में इनपुट और आउटपुट होता है, साथ ही इन ऑपरेशनों को बनाने के प्रकार का विनिर्देश होता है। ओपेरा '''''O''''' दिया गया है <math>O</math> इस समूह पर ठोस ऑपरेशंस के साथ सेट होने के लिए बीजगणित को परिभाषित करता है जो कि संक्षेप [[ऑपरेशन (गणित)|ऑपरेशन]] की तरह ही व्यवहार करता है उदाहरण के लिए, ऑपेराड '''''L''''' जैसे '''''L''''' के ऊपर बीजगणित लाई बीजगणित है; अर्थ में '''''L''''' संक्षेप प्रकार से उन ऑपरेशनों को स्कैनकोड करता है जो सभी लाई बीजगणित के लिए सामान्य है। ऑपेराड अपने बीजगणित के लिए [[समूह (गणित)]] के रूप में अपने समूह के प्रतिनिधित्व के लिए है।
 == इतिहास ==
-ऑपरेशंस [[बीजगणितीय टोपोलॉजी]] में उत्पन्न होते हैं; माइकल बोर्डमैन|जे. द्वारा पुनरावृत्त [[लूप स्पेस]] को चिह्नित करने के लिए उनका परिचय कराया गया था। 1969 में माइकल बोर्डमैन और रेनर एम. वोग्ट<ref>{{Cite journal|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1 November 1968|title=होमोटॉपी-सब कुछ $H$-स्पेस|url=https://www.ams.org/journals/bull/1968-74-06/S0002-9904-1968-12070-1/home.html|journal=Bulletin of the American Mathematical Society|language=en-US|volume=74|issue=6|pages=1117–1123|doi=10.1090/S0002-9904-1968-12070-1|issn=0002-9904|doi-access=free}}</ref><ref>{{Cite book|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1973|title=टोपोलॉजिकल स्पेस पर होमोटॉपी इनवेरिएंट बीजगणितीय संरचनाएं|series=Lecture Notes in Mathematics|language=en-gb|volume=347|doi=10.1007/bfb0068547|issn=0075-8434|isbn=978-3-540-06479-4}}</ref> और 1970 में जे. पीटर मे द्वारा।<ref>{{Cite book|last=May|first=J. P.|author-link=J. Peter May|date=1972|title=पुनरावृत्त लूप रिक्त स्थान की ज्यामिति|series=Lecture Notes in Mathematics|language=en-gb|volume=271|doi=10.1007/bfb0067491|issn=0075-8434|isbn=978-3-540-05904-2|citeseerx=10.1.1.146.3172}}</ref> ऑपेराड शब्द मई द्वारा संचालन और मोनड (श्रेणी सिद्धांत) के एक बंदरगाह के रूप में बनाया गया था (और इसलिए भी कि उनकी मां एक ऑपेरा गायक थीं)।<ref>{{Cite web|url=https://www.math.uchicago.edu/~may/PAPERS/mayi.pdf|title=संचालन, बीजगणित और मॉड्यूल|last=May|first=J. Peter|author-link=J. Peter May|website=math.uchicago.edu|page=2|access-date=28 September 2018}}</ref>
+ऑपरेशंस [[बीजगणितीय टोपोलॉजी]] में उत्पन्न होते हैं ऑपेराड; 1969 में जे माइकल बोर्डमैन और रेनर एम. वोग्ट<ref>{{Cite journal|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1 November 1968|title=होमोटॉपी-सब कुछ $H$-स्पेस|url=https://www.ams.org/journals/bull/1968-74-06/S0002-9904-1968-12070-1/home.html|journal=Bulletin of the American Mathematical Society|language=en-US|volume=74|issue=6|pages=1117–1123|doi=10.1090/S0002-9904-1968-12070-1|issn=0002-9904|doi-access=free}}</ref><ref>{{Cite book|last1=Boardman|first1=J. M.|author-link=Michael Boardman|last2=Vogt|first2=R. M.|date=1973|title=टोपोलॉजिकल स्पेस पर होमोटॉपी इनवेरिएंट बीजगणितीय संरचनाएं|series=Lecture Notes in Mathematics|language=en-gb|volume=347|doi=10.1007/bfb0068547|issn=0075-8434|isbn=978-3-540-06479-4}}</ref> और 1970 मई जे. पीटर मे द्वारा प्रस्तुत किया  गया था।<ref>{{Cite book|last=May|first=J. P.|author-link=J. Peter May|date=1972|title=पुनरावृत्त लूप रिक्त स्थान की ज्यामिति|series=Lecture Notes in Mathematics|language=en-gb|volume=271|doi=10.1007/bfb0067491|issn=0075-8434|isbn=978-3-540-05904-2|citeseerx=10.1.1.146.3172}}</ref> ऑपेराड शब्द मई द्वारा संचालन और मोनड (श्रेणी सिद्धांत) के पोर्टमंतेऊ के रूप में बनाया गया था (और इसलिए भी कि उनकी मां एक ऑपेरा गायक थीं)।<ref>{{Cite web|url=https://www.math.uchicago.edu/~may/PAPERS/mayi.pdf|title=संचालन, बीजगणित और मॉड्यूल|last=May|first=J. Peter|author-link=J. Peter May|website=math.uchicago.edu|page=2|access-date=28 September 2018}}</ref> 90 के दशक की प्रारम्भ में ऑपेराड में रुचि अधिकांशतः नवीनीकृत हो गई थी, जब [[मैक्सिम कोंटेसेविच]], [[विक्टर गिन्ज़बर्ग]] और [[मिखाइल कापरानोव]] की  प्रारंभिक अंतर्दृष्टि के आधार पर पता चला कि तर्कसंगत होमोटोपी सिद्धांत में कुछ द्वंद [[द्वैत (गणित)|(गणित)]] घटनाओं को ऑपेराड के कोज़ुल द्वंद का उपयोग करके समझाया जा सकता है।<ref>{{Cite journal|last1=Ginzburg|first1=Victor|author-link=Victor Ginzburg|last2=Kapranov|first2=Mikhail|date=1994|title=ओपेरा के लिए द्वंद्व शर्ट|url=https://projecteuclid.org/euclid.dmj/1077286744|journal=Duke Mathematical Journal|language=en|volume=76|issue=1|pages=203–272|doi=10.1215/S0012-7094-94-07608-4|issn=0012-7094|mr=1301191|zbl=0855.18006|s2cid=115166937|via=[[Project Euclid]]}}</ref><ref>{{Cite web|url=http://www.numdam.org/item/SB_1994-1995__37__47_0|title=La renaissance des opérades|last=Loday|first=Jean-Louis|author-link=Jean-Louis Loday|year=1996|website=www.numdam.org|series=[[Séminaire Nicolas Bourbaki]]|language=en|mr=1423619|zbl=0866.18007|access-date=27 September 2018}}</ref> इसके बाद से ऑपरेड्स ने कई अनुप्रयोगों को पाया है, जैसे [[जहर कई गुना]] के [[विरूपण परिमाणीकरण]] में, डेलिग्ने अनुमान,<ref name="Deligne">{{cite arXiv|last1=Kontsevich|first1=Maxim|last2=Soibelman|first2=Yan|date=26 January 2000|title=ऑपरेड्स और डेलिग्ने के अनुमान पर बीजगणित की विकृति|eprint=math/0001151}}</ref> या मैक्सिम कोंटसेविच और [[ थॉमस विलवाकर |थॉमस विलवाकर]] के कार्य में [[ग्राफ (असतत गणित)]] होमोलॉजी (गणित) में किया गया है।
-के दशक की शुरुआत में ओपेरा में रुचि काफी हद तक नवीनीकृत हो गई थी, जब [[मैक्सिम कोंटेसेविच]], [[विक्टर गिन्ज़बर्ग]] और [[मिखाइल कापरानोव]] की शुरुआती अंतर्दृष्टि के आधार पर पता चला कि तर्कसंगत होमोटोपी सिद्धांत में कुछ [[द्वैत (गणित)]] घटनाओं को ओपेरा के कोज़ुल द्वैत का उपयोग करके समझाया जा सकता है।<ref>{{Cite journal|last1=Ginzburg|first1=Victor|author-link=Victor Ginzburg|last2=Kapranov|first2=Mikhail|date=1994|title=ओपेरा के लिए द्वंद्व शर्ट|url=https://projecteuclid.org/euclid.dmj/1077286744|journal=Duke Mathematical Journal|language=en|volume=76|issue=1|pages=203–272|doi=10.1215/S0012-7094-94-07608-4|issn=0012-7094|mr=1301191|zbl=0855.18006|s2cid=115166937|via=[[Project Euclid]]}}</ref><ref>{{Cite web|url=http://www.numdam.org/item/SB_1994-1995__37__47_0|title=La renaissance des opérades|last=Loday|first=Jean-Louis|author-link=Jean-Louis Loday|year=1996|website=www.numdam.org|series=[[Séminaire Nicolas Bourbaki]]|language=en|mr=1423619|zbl=0866.18007|access-date=27 September 2018}}</ref> इसके बाद से ऑपरेड्स ने कई अनुप्रयोगों को पाया है, जैसे [[जहर कई गुना]] के [[विरूपण परिमाणीकरण]] में, डेलिग्ने अनुमान,<ref name="Deligne">{{cite arXiv|last1=Kontsevich|first1=Maxim|last2=Soibelman|first2=Yan|date=26 January 2000|title=ऑपरेड्स और डेलिग्ने के अनुमान पर बीजगणित की विकृति|eprint=math/0001151}}</ref> या मैक्सिम कोंटसेविच और [[ थॉमस विलवाकर ]] के काम में [[ग्राफ (असतत गणित)]] होमोलॉजी (गणित)।
-== अंतर्ज्ञान ==
+== अभ्यास ==
-कल्पना करना <math>X</math> एक सेट है और के लिए <math>n\in\N</math> हम परिभाषित करते हैं
+:माना X एक समूह है और <math>n\in\N</math> को परिभाषित करता है
+:और <math>P(n):=\{f:X^n\to X\}</math>,
-:<math>P(n):=\{f:X^n\to X\}</math>,
+कार्टेशियन प्रोडक्ट से सभी फलन का समूह <math>n</math> की प्रतिरूप <math>X</math> को <math>X</math> है।
-के कार्टेशियन उत्पाद से सभी कार्यों का सेट <math>n</math> की प्रतियां <math>X</math> को <math>X</math>.
+हम इन फलन की रचना कर सकते हैं: दिया गया <math>f\in P(n)</math>, <math>f_1\in P(k_1),\ldots,f_n\in P(k_n)</math>, फलन
-हम इन कार्यों की रचना कर सकते हैं: दिया गया <math>f\in P(n)</math>, <math>f_1\in P(k_1),\ldots,f_n\in P(k_n)</math>, कार्यक्रम
 :<math>f \circ (f_1,\ldots,f_n)\in P(k_1+\cdots+k_n)</math>
-निम्नानुसार परिभाषित किया गया है: दिया गया <math>k_1+\cdots+k_n</math> से तर्क <math>X</math>, हम उन्हें विभाजित करते हैं <math>n</math> ब्लॉक, पहले वाला <math>k_1</math> तर्क, दूसरा <math>k_2</math> तर्क, आदि, और फिर लागू करें <math>f_1</math> पहले ब्लॉक के लिए, <math>f_2</math> दूसरे ब्लॉक आदि के लिए। फिर हम आवेदन करते हैं <math>f</math> की सूची में <math>n</math> से प्राप्त मान <math>X</math> ऐसे कि।
+निम्नानुसार परिभाषित किया गया है: दिया गया <math>k_1+\cdots+k_n</math> से तर्क <math>X</math>, हम उन्हें विभाजित करते हैं <math>n</math> ब्लॉक, पहले वाला <math>k_1</math>तर्क, दूसरा <math>k_2</math> तर्क, इत्यादि, और फिर क्रियान्वित करें <math>f_1</math>पहले ब्लॉक के लिए, <math>f_2</math> दूसरे ब्लॉक इत्यादि के लिए है। फिर हम मान '''''X''''' से प्राप्त एन मानों की सूचि में एफ को इस प्रकार क्रियान्वित करते हैं |
-हम तर्कों को भी अनुमति दे सकते हैं, यानी हमारे पास [[समूह क्रिया]] है <math>*</math> [[सममित समूह]] का <math>S_n</math> पर <math>P(n)</math>, द्वारा परिभाषित
+हम तर्कों को भी अनुमति दे सकते हैं, अर्थात हमारे पास [[समूह क्रिया]] है <math>*</math> सममित [[सममित समूह|समूह]] का <math>S_n</math> पर <math>P(n)</math>, द्वारा परिभाषित
 :<math>(f*s)(x_1,\ldots,x_n) = f(x_{s^{-1}(1)},\ldots,x_{s^{-1}(n)})</math>
 के लिए <math>f\in P(n)</math>, <math>s\in S_n</math> और <math>x_1,\ldots,x_n\in X</math>.
-नीचे दी गई एक सममित ऑपरैड की परिभाषा इन दो परिचालनों के आवश्यक गुणों को पकड़ती है <math>\circ</math> और <math>*</math>.
+नीचे दी गई सममित ऑपेराड की परिभाषा इन दो आपरेशनों के आवश्यक गुणों को पकड़ती है <math>\circ</math> और <math>*</math>.
 == परिभाषा ==
+असममित ऑपेराड
-=== गैर-सममित संक्रिया ===
+असममित ऑपेराड (कभी-कभी क्रमचय के बिना ऑपेराड कहा जाता है, या गैर-<math>\Sigma</math>या प्लेन ऑपेराड) में निम्नलिखित सम्मिलित हैं:
-एक गैर-सममित ऑपरैड (कभी-कभी क्रमपरिवर्तन के बिना ऑपरैड कहा जाता है, या एक गैर-<math>\Sigma</math>या सादा ऑपरैड) में निम्नलिखित शामिल हैं:
+* अनुक्रम <math>(P(n))_{n\in\mathbb{N}}</math> समूह के, जिनके तत्व कहलाते हैं एन-एरी ऑपरेशन ,
-* एक क्रम <math>(P(n))_{n\in\mathbb{N}}</math> सेट के, जिनके तत्व कहलाते हैं<math>n</math>-एरी संचालन,
+* अवयव <math>1</math> में <math>P(1)</math> पहचान कहते हैं,
-* तत्व <math>1</math> में <math>P(1)</math> पहचान कहते हैं,
+* सभी धन पूर्णांक के लिए <math>n</math>, <math display="inline">k_1,\ldots,k_n</math>, संघटन फलन
-* सभी सकारात्मक पूर्णांकों के लिए <math>n</math>, <math display="inline">k_1,\ldots,k_n</math>, एक रचना समारोह
 :<math>
@@ Line 51: / Line 48: @@
 === सममित ऑपरैड ===
-एक सममित ओपेरा (अक्सर सिर्फ ओपेराड कहा जाता है) एक गैर-सममित ओपेरा है <math>P</math> ऊपर के रूप में, एक साथ सममित समूह की एक सही कार्रवाई के साथ <math>S_n</math> पर <math>P(n)</math> के लिए <math>n\in\N</math>, द्वारा चिह्नित <math>*</math> और संतोषजनक
+सममित ऑपेराड (अधिकांशतः ऑपेराड कहा जाता है) असममित ऑपेराड है <math>P</math> ऊपर के रूप में, साथ सममित समूह <math>S_n</math>पर <math>P(n)</math> के एक समान क्रिया के लिए <math>n\in\N</math>, द्वारा चिह्नित <math>*</math> और संतुष्ट करना है
-*समतुल्यता: एक क्रमचय दिया गया <math>t\in S_n</math>,
+*समतुल्यता: क्रमचय दिया गया <math>t\in S_n</math>,
 :: <math>
 (\theta*t)\circ(\theta_{t(1)},\ldots,\theta_{t(n)}) = (\theta\circ(\theta_1,\ldots,\theta_n))*t'
 </math>
-::(कहाँ  <math>t'</math> दाहिने हाथ की ओर के तत्व को संदर्भित करता है <math>S_{k_1+\dots+k_n}</math> जो सेट पर काम करता है <math>\{1, 2, \dots , k_1+\dots +k_n\}</math> इसे तोड़कर <math>n</math> ब्लॉक, आकार का पहला <math>k_1</math>, आकार का दूसरा <math>k_2</math>, के माध्यम से <math>n</math>वें आकार का ब्लॉक <math>k_n</math>, और फिर इन्हें परमिट करता है <math>n</math> द्वारा ब्लॉक करता है <math>t</math>, प्रत्येक ब्लॉक को अक्षुण्ण रखते हुए)
+::(जहाँ <math>t'</math> दाहिने पक्ष की ओर के अवयव को संदर्भित करता है <math>S_{k_1+\dots+k_n}</math>जो समूह पर कार्य करता है <math>\{1, 2, \dots , k_1+\dots +k_n\}</math> इसे तोड़कर एन  ब्लॉक, आकार का पहला <math>k_1</math>, आकार का दूसरा <math>k_2</math>, के माध्यम से एनवें आकार का ब्लॉक <math>k_n</math>, और फिर इन्हें परमिट करता है एन द्वारा ब्लॉक करता है टी , प्रत्येक ब्लॉक को जोड़े रखते) हैं |
-: और दिया <math>n</math> क्रमपरिवर्तन <math>s_i \in S_{k_i}</math>,
+: और दिया एन क्रमचय <math>s_i \in S_{k_i}</math>,
 ::<math>
 \theta\circ(\theta_1*s_1,\ldots,\theta_n*s_n) = (\theta\circ(\theta_1,\ldots,\theta_n))*(s_1,\ldots,s_n)
 </math>
-::(कहाँ <math>(s_1,\ldots,s_n)</math> के तत्व को दर्शाता है <math>S_{k_1+\dots+k_n}</math> जो इन ब्लॉकों में से पहले को परमिट करता है <math>s_1</math>, दूसरा द्वारा <math>s_2</math>, आदि, और उनके समग्र क्रम को बरकरार रखता है)।
+::( जहाँ <math>(s_1,\ldots,s_n)</math> के अवयव को दर्शाता है <math>S_{k_1+\dots+k_n}</math>जो इन ब्लॉकों में से पहले <math>s_1</math>परमिट करता है, दूसरा <math>s_2</math> द्वारा, इत्यादि, और उनके सभी क्रम को उपस्थित रखता है)।
-इस परिभाषा में क्रमपरिवर्तन क्रियाएं अधिकांश अनुप्रयोगों के लिए महत्वपूर्ण हैं, जिनमें मूल अनुप्रयोग से लेकर लूप स्पेस तक शामिल हैं।
+इस परिभाषा में क्रमचय क्रियाएं अधिकांश अनुप्रयोगों के लिए महत्वपूर्ण हैं, जिनमें मूल अनुप्रयोग से लेकर लूप स्पेस तक सम्मिलित हैं।
 === आकारिकी ===
-ओपेरा का एक रूपवाद <math>f:P\to Q</math> एक क्रम के होते हैं
+ऑपेराड की व्याख्या  <math>f:P\to Q</math> यहाँ पर अनुक्रम होते हैं के होते हैं
 :<math>(f_n:P(n)\to Q(n))_{n\in\mathbb{N}}</math>
 वह:
@@ Line 77: / Line 74: @@
 </math>
 * क्रमचय क्रियाओं को संरक्षित करता है: <math>f(x*s)=f(x)*s</math>.
+*ऑपेराड इसलिए [[श्रेणी (गणित)]] बनाते हैं जिसे ऑपेराड द्वारा निरूपित किया जाता है .
-ऑपेरड्स इसलिए एक [[श्रेणी (गणित)]] बनाते हैं जिसे निरूपित किया जाता है <math>\mathsf{Oper}</math>.
 === अन्य श्रेणियों में ===
-अब तक ऑपरेड्स को केवल सेट के [[श्रेणी सिद्धांत]] में ही माना जाता है। अधिक सामान्यतः, किसी भी [[सममित मोनोइडल श्रेणी]] सी में ओपेरा को परिभाषित करना संभव है। ऐसे में प्रत्येक <math>P(n)</math> सी की एक वस्तु है, रचना <math>\circ</math> एक रूपवाद है <math>P(n)\otimes P(k_1)\otimes\cdots\otimes P(k_n) \to P(k_1+\cdots+k_n)</math> सी में (जहां <math>\otimes</math> मोनोइडल श्रेणी के टेंसर उत्पाद को दर्शाता है), और सममित समूह तत्वों की क्रियाएं सी में आइसोमोर्फिज्म द्वारा दी जाती हैं।
+अब तक ऑपेराड को सिर्फ समूह के [[श्रेणी सिद्धांत]] में ही माना जाता है। अत्यधिक सामान्यतः, किसी भी [[सममित मोनोइडल श्रेणी]] सी में ऑपेराड को परिभाषित करना संभव है। ऐसे में प्रत्येक <math>P(n)</math> सी की ऑब्जेक्ट है, रचना <math>\circ</math> व्याख्या है <math>P(n)\otimes P(k_1)\otimes\cdots\otimes P(k_n) \to P(k_1+\cdots+k_n)</math> सी में (जहां <math>\otimes</math> मोनोइडल श्रेणी के टेंसर प्रोडक्ट्स को दर्शाता है), और सममित समूह के अवयव की क्रियाएं सी में समरूपता द्वारा दी जाती हैं।
-कार्टेशियन उत्पाद द्वारा दिए गए मोनोइडल उत्पाद के साथ एक सामान्य उदाहरण [[टोपोलॉजिकल रिक्त स्थान]] और निरंतर मानचित्र की श्रेणी है। इस मामले में, एक टोपोलॉजिकल ऑपरैड ''रिक्त स्थान'' (सेट के बजाय) के अनुक्रम द्वारा दिया जाता है <math>\{ P(n) \}_{n \ge 0}</math>. ओपेरा के संरचना मानचित्र (सममित समूहों की रचना और क्रियाएं) को तब निरंतर माना जाता है। परिणाम को एक टोपोलॉजिकल ओपेरा कहा जाता है। इसी तरह, ऑपरैड्स के आकारिकी की परिभाषा में, यह मान लेना आवश्यक होगा कि इसमें शामिल मानचित्र निरंतर हैं।
+कार्टेशियन प्रोडक्ट द्वारा दिए गए मोनोइडल प्रोडक्ट के साथ सामान्य उदाहरण [[टोपोलॉजिकल रिक्त स्थान|टोपोलॉजिकल स्पेस]] और निरंतर मानचित्र की श्रेणी है। इस कथन में, टोपोलॉजिकल ऑपेराड स्पेस (समूह के विपरीत) के अनुक्रम द्वारा दिया जाता है <math>\{ P(n) \}_{n \ge 0}</math>. ऑपेराड के संरचना मानचित्र (सममित समूहों की रचना और क्रियाएं) को तब निरंतर माना जाता है। परिणाम को टोपोलॉजिकल ऑपेराड कहा जाता है। इसी मानचित्र, ऑपेराड के आकारिकी की परिभाषा में, यह मान लेना आवश्यक होगा कि इसमें प्रकार सम्मिलित मानचित्र निरंतर हैं।
-ऑपरैड्स को परिभाषित करने के लिए अन्य सामान्य सेटिंग्स में शामिल हैं, उदाहरण के लिए, एक [[ क्रमविनिमेय अंगूठी ]], [[चेन कॉम्प्लेक्स]], ग्रुपोइड्स (या यहां तक कि श्रेणियों की श्रेणी), [[कोलजेब्रा]], आदि पर [[मॉड्यूल (गणित)]]।
+ऑपेराड को परिभाषित करने के लिए अन्य सामान्य सेटिंग्स में सम्मिलित हैं, उदाहरण के लिए,[[ क्रमविनिमेय अंगूठी | क्रमविनिमेय रिंग]], [[चेन कॉम्प्लेक्स]], ग्रुपोइड्स (या यहां तक कि श्रेणियों की श्रेणी), [[कोलजेब्रा]], [[मॉड्यूल (गणित)|मॉड्यूल (गणित) इत्यादि हैं]]।
 === बीजगणित की परिभाषा ===
-क्रमविनिमेय वलय R को देखते हुए हम श्रेणी पर विचार करते हैं <math>R\text{-}\mathsf{Mod}</math> आर पर मॉड्यूल का। आर पर एक ऑपरैड को एक [[ मोनॉइड वस्तु ]] के रूप में परिभाषित किया जा सकता है <math>(T, \gamma, \eta)</math> [[एंडोफंक्टर्स की मोनोइडल श्रेणी]] में <math>R\text{-}\mathsf{Mod}</math> (यह एक मोनाड (श्रेणी सिद्धांत) है) कुछ परिमित स्थिति को संतुष्ट करता है।<ref group="note">”finiteness" refers to the fact that only a finite number of inputs are allowed in the definition of an operad. For example, the condition is satisfied if one can write
+क्रमविनिमेय वलय आर दिया गया है हम आर से अत्यधिक मॉड्यूल की श्रेणी आर-मॉड पर विचार करते हैं। आर पर ऑपेराड को[[ मोनॉइड वस्तु | मोनॉइड ऑब्जेक्ट]] के रूप में परिभाषित किया जा सकता है <math>(T, \gamma, \eta)</math> [[एंडोफंक्टर्स की मोनोइडल श्रेणी]] में आर-मॉड (यह मोनाड (श्रेणी सिद्धांत) है) कुछ परिमित स्थिति को संतुष्ट करता है।उदाहरण के लिए, बहुपद एंडोफंक्टर्स की श्रेणी में मोनोइड ऑब्जेक्ट आर-मॉड ऑपेराड है।<ref name=Deligne /> इसी प्रकार, सममित ऑपेराड को एस-ऑब्जेक्ट की श्रेणी में मोनोइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है <math>\mathbb{S}</math>-ऑब्जेक्ट्स, जहां <math>\mathbb{S}</math> अर्थ सममित समूह है।<ref>{{cite arXiv|last1=Jones|first1=J. D. S.|last2=Getzler|first2=Ezra|date=8 March 1994|title=डबल लूप स्पेस के लिए ऑपरेड्स, होमोटॉपी बीजगणित और पुनरावृत्त इंटीग्रल|eprint=hep-th/9403055|language=en}}</ref> संयोजी प्रजातियों की श्रेणी में मोनोइड ऑब्जेक्ट परिमित समूहों में ऑपेराड है।
-:<math>T(V) = \bigoplus_{n=1}^{\infty} T_n \otimes V^{\otimes n}</math>,
-:<math>\gamma(V): T_n \otimes T_{i_1} \otimes \cdots \otimes T_{i_n} \to T_{i_1 + \dots + i_n}</math>.</ref>
-उदाहरण के लिए, बहुपद एंडोफंक्टर्स की श्रेणी में एक मोनोइड वस्तु <math>R\text{-}\mathsf{Mod}</math> एक ओपेरा है।<ref name=Deligne />इसी तरह, एक सममित ऑपरैड को एस-ऑब्जेक्ट की श्रेणी में एक मोनोइड ऑब्जेक्ट के रूप में परिभाषित किया जा सकता है<math>\mathbb{S}</math>-ऑब्जेक्ट्स, जहां <math>\mathbb{S}</math> मतलब एक सममित समूह।<ref>{{cite arXiv|last1=Jones|first1=J. D. S.|last2=Getzler|first2=Ezra|date=8 March 1994|title=डबल लूप स्पेस के लिए ऑपरेड्स, होमोटॉपी बीजगणित और पुनरावृत्त इंटीग्रल|eprint=hep-th/9403055|language=en}}</ref> संयोजी प्रजातियों की श्रेणी में एक मोनोइड वस्तु परिमित सेटों में एक ओपेरा है।
-उपरोक्त अर्थ में एक ओपेरा को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। <math>\textbf{Set}</math> जो फ़िल्टर्ड कोलिमिट्स के साथ यात्रा करता है।<ref>N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; [http://www.arxiv.org/abs/0704.2030 arXiv:0704.2030].</ref> यह एक वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय R एक सन्यासी को परिभाषित करता है <math>\Sigma_R: \textbf{Set} \to \textbf{Set}</math> जो फ्री मॉड्यूल | फ्री आर-मॉड्यूल के अंतर्निहित सेट को एक सेट एक्स भेजता है <math>R^{(X)}</math>X द्वारा उत्पन्न।
+उपरोक्त अर्थ में ऑपेराड को कभी-कभी सामान्यीकृत रिंग के रूप में माना जाता है। उदाहरण के लिए, निकोलाई ड्यूरोव अपने सामान्यीकृत रिंगों को एंडोफंक्टर्स की मोनोइडल श्रेणी में मोनोइड ऑब्जेक्ट्स के रूप में परिभाषित करता है। समूह जो फ़िल्टर्ड कोलिमिट्स के साथ चलता है।<ref>N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; [http://www.arxiv.org/abs/0704.2030 arXiv:0704.2030].</ref> यह वलय का सामान्यीकरण है क्योंकि प्रत्येक साधारण वलय R मोनाड को परिभाषित करता है <math>\Sigma_R: \textbf{Set} \to \textbf{Set}</math> जो फ्री मॉड्यूल है | फ्री आर-मॉड्यूल के अंतर्निहित समूह को समूह एक्स भेजता है  जो <math>R^{(X)}</math>X द्वारा उत्पन्न होता है।
-== स्वयंसिद्धों को समझना ==
+== अभिगृहित को समझना ==
-=== साहचर्य स्वयंसिद्ध ===
+=== साहचर्य अभिगृहित ===
-  साहचर्य का अर्थ है कि संक्रियाओं का संयोजन साहचर्य है
-(कार्यक्रम <math>\circ</math> साहचर्य है), श्रेणी सिद्धांत में स्वयंसिद्ध के अनुरूप है <math>f \circ (g \circ h) = (f \circ g) \circ h</math>; इसका अर्थ यह नहीं है कि संक्रियाएँ स्वयं संक्रियाओं के रूप में साहचर्य हैं।
+साहचर्य का अर्थ है कि ऑपेराड का संयोजन साहचर्य है (कार्यक्रम <math>\circ</math> साहचर्य है), श्रेणी सिद्धांत में अभिगृहित के अनुरूप है <math>f \circ (g \circ h) = (f \circ g) \circ h</math>; इसका अर्थ यह नहीं है कि ऑपेराड स्वयं ऑपेराड के रूप में साहचर्य हैं। नीचे साहचर्य ऑपेराड के साथ तुलना करें।
-नीचे #एसोसिएटिव ओपेरा के साथ तुलना करें।
-ओपेरा सिद्धांत में सहयोगीता का मतलब है कि [[अभिव्यक्ति (गणित)]] को छोड़े गए रचनाओं से अस्पष्टता के बिना संचालन शामिल किया जा सकता है, जैसे संचालन के लिए सहयोगीता उत्पादों को छोड़े गए कोष्ठकों से अस्पष्टता के बिना लिखे जाने की अनुमति देती है।
+ऑपेराड सिद्धांत में सहयोगीता का अर्थ है कि व्यंजक [[अभिव्यक्ति (गणित)|(गणित)]] को छोड़े गए रचनाओं से अस्पष्टता के बिना संचालन सम्मिलित किया जा सकता है, जैसे संचालन के लिए सहयोगीता प्रोडक्ट्स को छोड़े गए कोष्ठकों से अस्पष्टता के बिना लिखे जाने की अनुमति देती है।
-उदाहरण के लिए, अगर <math>\theta</math> एक बाइनरी ऑपरेशन है, जिसे लिखा जाता है <math>\theta(a,b)</math> या <math>(ab)</math>. ताकि <math>\theta</math> सहयोगी हो सकता है या नहीं भी हो सकता है।
+उदाहरण के लिए, यदि <math>\theta</math> बाइनरी ऑपरेशन है, जिसे लिखा जाता है <math>\theta(a,b)</math> या <math>(ab)</math>. जिससे <math>\theta</math> सहयोगी हो सकता है या नहीं भी हो सकता है।
-फिर जो आमतौर पर लिखा जाता है <math>((ab)c)</math> के रूप में स्पष्ट रूप से लिखा गया है <math>\theta \circ (\theta,1)</math> . यह भेजता है <math>(a,b,c)</math> को <math>(ab,c)</math> (आवेदन करना <math>\theta</math> पहले दो पर, और तीसरे पर पहचान), और फिर <math>\theta</math> बाईं ओर गुणा करता है <math>ab</math> द्वारा <math>c</math>.
+फिर जो सामान्य तौर पर लिखा जाता है <math>((ab)c)</math> स्पष्ट प्रकार से <math>\theta \circ (\theta,1)</math> के रूप में  लिखा जाता है। यह भेजता है <math>(a,b,c)</math> को <math>(ab,c)</math> (आवेदन करना <math>\theta</math> पहले दो पर, और तीसरे पर पहचान), और फिर <math>\theta</math> बाईं ओर गुणा करता है <math>ab</math> द्वारा <math>c</math>. पेड़ के रूप में चित्रित करने पर यह स्पष्ट हो जाता है:
-एक पेड़ के रूप में चित्रित करने पर यह स्पष्ट हो जाता है:
 [[File:OperadTreeCompose1.svg|रचना से पहले पेड़]]जो एक 3-एरी ऑपरेशन देता है:
@@ Line 114: / Line 105: @@
 {{Clear}}
-हालाँकि, अभिव्यक्ति <math>(((ab)c)d)</math> एक प्राथमिक अस्पष्ट है:
+चूँकि, व्यंजक, <math>(((ab)c)d)</math> प्राथमिक अस्पष्ट है: इसका यदि अर्थ हो सकता है <math>\theta \circ ((\theta,1) \circ ((\theta,1),1))</math>, यदि आंतरिक रचनाएँ पहले की जाती हैं, या इसका    अर्थ हो सकता है <math>(\theta \circ (\theta,1)) \circ ((\theta,1),1)</math>, यदि बाहरी रचनाएँ पहले की जाती हैं (संचालन दाएं से बाएं पढ़े जाते हैं)। लिखना <math>x=\theta, y=(\theta,1), z=((\theta,1),1)</math>, यह है <math>x \circ (y \circ z)</math> बनाम <math>(x \circ y) \circ z</math>. यही है, पेड़ में लंबवत कोष्ठक अनुपस्थित हैं:
-इसका मतलब हो सकता है <math>\theta \circ ((\theta,1) \circ ((\theta,1),1))</math>, अगर आंतरिक रचनाएँ पहले की जाती हैं, या इसका मतलब हो सकता है <math>(\theta \circ (\theta,1)) \circ ((\theta,1),1)</math>,
-यदि बाहरी रचनाएँ पहले की जाती हैं (संचालन दाएं से बाएं पढ़े जाते हैं)।
-लिखना <math>x=\theta, y=(\theta,1), z=((\theta,1),1)</math>, यह है <math>x \circ (y \circ z)</math> बनाम <math>(x \circ y) \circ z</math>. यही है, पेड़ में लंबवत कोष्ठक गायब हैं:
 [[File:OperadTreeCompose3.svg|रचना से पहले पेड़]]यदि संचालन की शीर्ष दो पंक्तियों को पहले बनाया जाता है (पर ऊपर की ओर कोष्ठक लगाता है <math>(ab)c\ \ d</math> पंक्ति; आंतरिक रचना पहले करता है), निम्नलिखित परिणाम:
-[[File:OperadTreeCompose4.svg|बीच का पेड़]]जो तब 4-एरी ऑपरेशन के लिए स्पष्ट रूप से मूल्यांकन करता है।
+[[File:OperadTreeCompose4.svg|बीच का पेड़]]जो तब 4-एरी ऑपरेशन के लिए स्पष्ट प्रकार से मूल्यांकन करता है। एनोटेटेड व्यंजक के रूप में:
-एक एनोटेटेड अभिव्यक्ति के रूप में:
 :<math>\theta_{(ab)c\cdot d} \circ ((\theta_{ab \cdot c},1_d) \circ ((\theta_{a\cdot b},1_c),1_d))</math>
-[[File:OperadTreeCompose5.svg|रचना के बाद वृक्ष]]यदि संचालन की निचली दो पंक्तियों को पहले बनाया जाता है (नीचे की ओर एक कोष्ठक डालता है <math>ab\quad c\ \ d</math> पंक्ति; पहले बाहरी रचना करता है), निम्नलिखित परिणाम:
+[[File:OperadTreeCompose5.svg|रचना के बाद वृक्ष]]यदि संचालन की निचली दो पंक्तियों को पहले बनाया जाता है (नीचे की ओर कोष्ठक डालता है <math>ab\quad c\ \ d</math> पंक्ति; पहले बाहरी रचना करता है), निम्नलिखित परिणाम:
-[[File:OperadTreeCompose6.svg|बीच का पेड़]]जो तब 4-एरी ऑपरेशन उत्पन्न करने के लिए स्पष्ट रूप से मूल्यांकन करता है:
+[[File:OperadTreeCompose6.svg|बीच का पेड़]]जो तब 4-एरी ऑपरेशन उत्पन्न करने के लिए स्पष्ट प्रकार से मूल्यांकन करता है:
-[[File:OperadTreeCompose5.svg|रचना के बाद वृक्ष]]साहचर्य का संक्रियात्मक अभिगृहीत यह है कि ये एक ही परिणाम देते हैं, और इस प्रकार यह अभिव्यक्ति <math>(((ab)c)d)</math> असंदिग्ध है।
+[[File:OperadTreeCompose5.svg|रचना के बाद वृक्ष]]साहचर्य का यह है कि ये एक ही परिणाम देते हैं, और इस प्रकार यह व्यंजक <math>(((ab)c)d)</math> असंदिग्ध है।
-=== पहचान स्वयंसिद्ध ===
+=== पहचान अभिगृहित ===
-पहचान स्वयंसिद्ध (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:
+पहचान अभिगृहित (बाइनरी ऑपरेशन के लिए) एक पेड़ में कल्पना की जा सकती है:
-[[Image:OperadIdentityAxiom.svg|एक ओपेरा में पहचान का स्वयंसिद्ध]]जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से कोई फर्क नहीं पड़ता। श्रेणियों के लिए, <math>1 \circ 1 = 1</math> पहचान स्वयंसिद्ध का एक परिणाम है।
+[[Image:OperadIdentityAxiom.svg|एक ओपेरा में पहचान का स्वयंसिद्ध]]जिसका अर्थ है कि प्राप्त तीन ऑपरेशन समान हैं: पहचान के साथ पूर्व या बाद की रचना से अंतर नहीं पड़ता है। श्रेणियों के लिए, <math>1 \circ 1 = 1</math> पहचान अभिगृहित का परिणाम है।
 == उदाहरण ==
-=== एंडोमोर्फिज्म सेट और ऑपरैड बीजगणित === में संचालित होता है
+'''आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है'''
-ऊपर दिए गए अंतर्ज्ञान पर अनुभाग में दिए गए सबसे बुनियादी ओपेरा हैं। किसी भी सेट के लिए <math>X</math>, हम एंडोमोर्फिज्म ऑपरैड प्राप्त करते हैं <math>\mathcal{End}_X </math>सभी कार्यों से मिलकर <math>X^n\to X</math>. ये ओपेरा महत्वपूर्ण हैं क्योंकि वे ओपेरा बीजगणित को परिभाषित करने के लिए काम करते हैं। अगर <math>\mathcal{O}</math> एक ओपेरा है, एक ओपेरा बीजगणित है <math>\mathcal{O}</math> सेट द्वारा दिया जाता है <math>X</math> और एक ऑपेरड मोर्फिज़्म <math>\mathcal{O} \to \mathcal{End}_X</math>. सहज रूप से, इस तरह की आकृतिवाद के प्रत्येक अमूर्त संचालन को बदल देता है <math>\mathcal{O}(n)</math> एक ठोस में <math>n</math>सेट पर -एरी ऑपरेशन <math>X</math>. एक ओपेरा बीजगणित खत्म <math>\mathcal{O}</math> इस प्रकार एक सेट होता है <math>X</math> साथ में ठोस संचालन के साथ <math>X</math> जो ओपेरा द्वारा संक्षेप में निर्दिष्ट नियमों का पालन करते हैं <math>\mathcal{O}</math>.
-=== वेक्टर रिक्त स्थान में एंडोमोर्फिज्म ऑपरैड और ऑपरैड अलजेब्रा ===
+आकारिकी समूह और ऑपेराड बीजगणित में संचालित होता है ऊपर दिए गए अनुभव पर अनुभाग में दिए गए सबसे आकारिकी ऑपेराड हैं। किसी भी समूह के लिए <math>X</math>, हम <math>\mathcal{End}_X </math> सभी फलन से मिलकर <math>X^n\to X</math>आकारिकी ऑपेराड प्राप्त करते हैं। ये ऑपेराड महत्वपूर्ण हैं क्योंकि वे ऑपेराड बीजगणित को परिभाषित करने के लिए कार्य करते हैं। यदि <math>\mathcal{O}</math> ऑपेराड है, ऑपेराड बीजगणित <math>\mathcal{O}</math> है <math>X</math> समूह द्वारा दिया जाता और ऑपेराड व्याख्या <math>\mathcal{O} \to \mathcal{End}_X</math> है। सरल प्रकार से, इस प्रकार की व्याख्या के प्रत्येक संक्षेप संचालन को बदल देता है <math>\mathcal{O}(n)</math> ठोस में <math>n</math> समूह एन-एरी ऑपरेशन <math>X</math> है। '''''O''''' पर ऑपेराड बीजगणित इस प्रकार '''''X''''' पर ठोस संचालन के साथ समूह '''''X''''' होता है जो ऑपेराड '''''O''''' द्वारा स्पष्ट प्रकार से निर्दिष्ट नियमों का पालन करता है।
-यदि k एक [[क्षेत्र (गणित)]] है, तो हम k पर परिमित-विम सदिश समष्टियों की श्रेणी पर विचार कर सकते हैं; यह k पर साधारण [[टेंसर उत्पाद]] का उपयोग करके एक मोनोइडल श्रेणी बन जाती है। हम इस श्रेणी में एंडोमोर्फिज्म ऑपरेशंस को निम्नानुसार परिभाषित कर सकते हैं। चलो वी एक परिमित-आयामी वेक्टर अंतरिक्ष हो एंडोमोर्फिज्म ऑपराड <math>\mathcal{End}_V = \{ \mathcal{End}_V(n) \}</math> वी के होते हैं<ref>{{cite journal|last1=Markl|first1=Martin|year=2006|title=ऑपरेशंस और प्रोप|journal=Handbook of Algebra|volume=5|issue=1|pages=87–140|doi=10.1016/S1570-7954(07)05002-4|arxiv=math/0601129 |isbn=9780444531018|s2cid=3239126}} Example 2</ref>
+=== वेक्टर स्पेस में '''आकारिकी''' '''ऑपेराड''' और '''ऑपेराड बीजगणित''' ===
+यदि के [[क्षेत्र (गणित)]] है, तो हम के पर परिमित-विमीय सदिश समष्टियों की श्रेणी पर विचार कर सकते हैं; यह के पर साधारण [[टेंसर उत्पाद]] का उपयोग करके मोनोइडल श्रेणी बन जाती है। हम इस श्रेणी में आकारिकी ऑपरेशंस को निम्नानुसार परिभाषित कर सकते हैं। चलो वी परिमित- विमीय वेक्टर स्पेस हो आकारिकी ऑपेराड <math>\mathcal{End}_V = \{ \mathcal{End}_V(n) \}</math>वी के होते हैं<ref>{{cite journal|last1=Markl|first1=Martin|year=2006|title=ऑपरेशंस और प्रोप|journal=Handbook of Algebra|volume=5|issue=1|pages=87–140|doi=10.1016/S1570-7954(07)05002-4|arxiv=math/0601129 |isbn=9780444531018|s2cid=3239126}} Example 2</ref>
 # <math>\mathcal{End}_V(n)</math> = रैखिक मानचित्रों का स्थान <math>V^{\otimes n} \to V</math>,
 # (रचना) दिया गया <math>f\in\mathcal{End}_V(n)</math>, <math>g_1\in\mathcal{End}_V(k_1)</math>, ..., <math>g_n\in\mathcal{End}_V(k_n)</math>, उनकी रचना मानचित्र द्वारा दी गई है  <math>V^{\otimes k_1} \otimes \cdots \otimes V^{\otimes k_n} \ \overset{g_1 \otimes \cdots \otimes g_n}\longrightarrow \ V^{\otimes n} \ \overset{f}\to \ V</math>,
-# (पहचान) में पहचान तत्व <math>\mathcal{End}_V(1)</math> पहचान मानचित्र है <math>\operatorname{id}_V</math>,
+# (पहचान) में पहचान अवयव <math>\mathcal{End}_V(1)</math> पहचान मानचित्र है <math>\operatorname{id}_V</math>,
-# (सममित समूह क्रिया) <math>S_n</math> संचालित होता है <math>\mathcal{End}_V(n)</math> टेंसर के घटकों को अंदर की अनुमति देकर <math>V^{\otimes n}</math>.
+# (सममित समूह क्रिया) <math>S_n</math> <math>V^{\otimes n}</math> में टेंसर के घटकों की अनुमति देकर <math>\mathcal{End}_V(n)</math> पर कार्य करता है।
-अगर <math>\mathcal{O}</math> एक ऑपरैड है, एक के-रैखिक ऑपरैड अलजेब्रा ओवर <math>\mathcal{O}</math> एक परिमित-आयामी वेक्टर स्पेस वी ओवर के और एक ऑपेरड मोर्फिज्म द्वारा दिया जाता है <math>\mathcal{O} \to \mathcal{End}_V</math>; यह V पर ठोस बहुरेखीय संक्रियाओं को निर्दिष्ट करने की मात्रा है जो कि के संक्रियाओं की तरह व्यवहार करती है <math>\mathcal{O}</math>. (ओपेराड्स और ऑपरैड बीजगणित और रिंग्स और मॉड्यूल के बीच समानता पर ध्यान दें: एक अंगूठी आर पर एक मॉड्यूल एक एबेलियन समूह एम द्वारा एक अंगूठी होमोमोर्फिज्म के साथ दिया जाता है <math>R \to \operatorname{End}(M)</math>.)
+यदि <math>\mathcal{O}</math> ऑपेराड है, के-रैखिक ऑपेराड बीजगणितीय ओवर <math>\mathcal{O}</math> परिमित- विमीय वेक्टर स्पेस वी ओवर के और ऑपेराड व्याख्या द्वारा दिया जाता है <math>\mathcal{O} \to \mathcal{End}_V</math>; यह वी पर ठोस बहुरेखीक ऑपरेशंस को निर्दिष्ट करने की मात्रा है जो <math>\mathcal{O}</math> के ऑपरेशंस की तरह व्यवहार करती है. (ऑपेराड्स और ऑपेराड बीजगणित और रिंग्स और मॉड्यूल के बीच समानता पर ध्यान दें: रिंग आर पर मॉड्यूल एबेलियन समूह एम द्वारा रिंग <math>R \to \operatorname{End}(M)</math> समरूपता के साथ दिया जाता है) |
-अनुप्रयोगों के आधार पर, उपरोक्त की विविधताएं संभव हैं: उदाहरण के लिए, बीजगणितीय टोपोलॉजी में, उनके बीच वेक्टर रिक्त स्थान और टेंसर उत्पादों के बजाय, [[उचित सामयिक स्थान]] का उपयोग करता है|(उचित) टोपोलॉजिकल रिक्त स्थान और कार्टेशियन उत्पाद।
+अनुप्रयोगों के आधार पर, उपरोक्त की विविधताएं संभव हैं: उदाहरण के लिए, बीजगणितीय टोपोलॉजी में, उनके बीच वेक्टर स्पेस और टेंसर प्रोडक्ट्स के विपरीत      उनके बिच टोपोलॉजिकल स्पेस और कार्टेशियन प्रोडक्ट का उपयोग किया जाता है।
-=== थोड़ा कुछ ओपेरा ===
+=== थोड़ा कुछ ऑपेराड  ===
-[[Image:Composition in the little discs operad.svg|thumb|छोटे 2-डिस्क ऑपरैड में ऑपेरडिक रचना, पाठ में समझाया गया है।|300x300px]]छोटा 2-डिस्क ओपेरा एक सामयिक ओपेरा है जहां <math>P(n)</math> की [[यूनिट डिस्क]] के अंदर n डिसजॉइंट [[डिस्क (गणित)]] की ऑर्डर की गई सूचियाँ शामिल हैं <math>\R^2</math> मूल पर केन्द्रित है। सममित समूह छोटे डिस्क की सूची को क्रमपरिवर्तन करके ऐसे विन्यास पर कार्य करता है। छोटी डिस्क के लिए ऑपेरैडिक रचना को साथ में दाईं ओर दिए गए चित्र में दिखाया गया है, जहां एक तत्व है <math>\theta\in P(3)</math> तत्व से बना है <math>(\theta_1,\theta_2,\theta_3)\in P(2)\times P(3)\times P(4)</math> तत्व की प्राप्ति के लिए <math>\theta \circ (\theta_1,\theta_2,\theta_3)\in P(9)</math> के विन्यास को सिकोड़ कर प्राप्त किया <math>\theta_i</math> और इसे की i-th डिस्क में इन्सर्ट करना <math>\theta</math>, के लिए <math>i=1,2,3</math>.
+[[Image:Composition in the little discs operad.svg|thumb|छोटे 2-डिस्क ऑपरैड में ऑपेरडिक रचना, पाठ में समझाया गया है।|300x300px]]छोटा 2-डिस्क ऑपेराड सामयिक ऑपेराड है जहां <math>P(n)</math> की [[यूनिट डिस्क]] के अंदर एन डिसजॉइंट [[डिस्क (गणित)]] की ऑर्डर की गई सूचियाँ सम्मिलित हैं <math>\R^2</math> मूल पर केन्द्रित है। सममित समूह छोटे डिस्क की सूची को क्रमपरिवर्तन करके ऐसे विन्यास पर कार्य करता है। छोटी डिस्क के लिए ऑपेराड रचना को साथ में दाईं ओर दिए गए चित्र में दर्शाया गया है, जहां अवयव  <math>\theta\in P(3)</math> अवयव <math>(\theta_1,\theta_2,\theta_3)\in P(2)\times P(3)\times P(4)</math> के साथ बना है और <math>\theta \circ (\theta_1,\theta_2,\theta_3)\in P(9)</math> के विन्यास को सिकोड़ कर प्राप्त किया <math>\theta_i</math> और इसे i-th डिस्क में सम्मिलित किया जाता है <math>\theta</math>, <math>i=1,2,3</math> के लिए किया जाता है।
-समान रूप से, यूनिट बॉल के अंदर असम्बद्ध एन-बॉल्स के कॉन्फ़िगरेशन पर विचार करके कोई भी छोटे एन-डिस्क ऑपरैड को परिभाषित कर सकता है <math>\R^n</math>.<ref>Giovanni Giachetta, Luigi Mangiarotti, [[Sardanashvily|Gennadi Sardanashvily]] (2005) ''Geometric and Algebraic Topological Methods in Quantum Mechanics,'' {{isbn|981-256-129-3}}, [https://books.google.com/books?id=fLbisfrkWpoC&pg=PA474 pp. 474,475]</ref>
+समान प्रकार से, <math>\R^n</math> यूनिट बॉल के अंदर असम्बद्ध एन-बॉल्स के विन्यास पर विचार करके छोटे एन-डिस्क ऑपेराड को परिभाषित कर सकता है <ref>Giovanni Giachetta, Luigi Mangiarotti, [[Sardanashvily|Gennadi Sardanashvily]] (2005) ''Geometric and Algebraic Topological Methods in Quantum Mechanics,'' {{isbn|981-256-129-3}}, [https://books.google.com/books?id=fLbisfrkWpoC&pg=PA474 pp. 474,475]</ref>. मुख्य प्रकार  से छोटे एन-क्यूब्स ऑपेराड या छोटे अंतराल ऑपेराड (प्रारम्भ में छोटे एन-क्यूब्स पीआरओ (श्रेणी सिद्धांत) कहा जाता है) को [[माइकल बोर्डमैन]] और [[रेनर वोग्ट]] द्वारा इसी तरह परिभाषित किया गया था, असम्बद्ध अक्ष-संरेखित एन-के विन्यास के संदर्भ में किया गया था। यूनिट [[ अतिविम |अतिविमय]] के अंदर [[ अतिविम |विमय]] हाइपरक्यूब्स (एन-[[ अतिविम |विमय]] इंटरवल (गणित)) है।<ref>{{Cite book|title=स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत|last=Greenlees|first=J. P. C.|publisher=Springer Science & Business Media|year=2002|isbn=978-1-4020-1834-3|series=Proceedings of the NATO Advanced Study Institute on स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत|location=Cambridge, [[United Kingdom]]|pages=154–156}}</ref> बाद में इसे मई तक सामान्य कर दिया गया था <ref>{{cite journal | last1 = May | first1 = J. P. | year = 1977 | title = अनंत लूप अंतरिक्ष सिद्धांत| url = http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.bams/1183538891&page=record| journal = Bull. Amer. Math. Soc. | volume = 83 | issue = 4| pages = 456–494 | doi=10.1090/s0002-9904-1977-14318-8| doi-access = free }}</ref> छोटे उत्तल निकायों के लिए ऑपेराड और छोटी डिस्क छोटे उत्तल निकायों से प्राप्त लोककथाओं का कथन है।<ref>{{Cite arXiv |eprint=math/9803156 |title=ग्राफ्टिंग बोर्डमैन के चेरी के पेड़ क्वांटम फील्ड थ्योरी के लिए|last1=Stasheff |first1=Jim |year=1998}}</ref>
-मूल रूप से छोटे एन-क्यूब्स ऑपेरड या छोटे अंतराल ऑपराड (शुरुआत में छोटे एन-क्यूब्स पीआरओ (श्रेणी सिद्धांत) कहा जाता है) को [[माइकल बोर्डमैन]] और [[रेनर वोग्ट]] द्वारा इसी तरह परिभाषित किया गया था, असम्बद्ध अक्ष-संरेखित एन- के विन्यास के संदर्भ में। यूनिट [[ अतिविम ]] के अंदर डायमेंशनल हाइपरक्यूब्स (एन-डायमेंशनल इंटरवल (गणित))।<ref>{{Cite book|title=स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत|last=Greenlees|first=J. P. C.|publisher=Springer Science & Business Media|year=2002|isbn=978-1-4020-1834-3|series=Proceedings of the NATO Advanced Study Institute on स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत|location=Cambridge, [[United Kingdom]]|pages=154–156}}</ref> बाद में इसे मई तक सामान्य कर दिया गया<ref>{{cite journal | last1 = May | first1 = J. P. | year = 1977 | title = अनंत लूप अंतरिक्ष सिद्धांत| url = http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.bams/1183538891&page=record| journal = Bull. Amer. Math. Soc. | volume = 83 | issue = 4| pages = 456–494 | doi=10.1090/s0002-9904-1977-14318-8| doi-access = free }}</ref> छोटे उत्तल निकायों के लिए ओपेराड, और छोटी डिस्क छोटे उत्तल निकायों से प्राप्त लोककथाओं का मामला है।<ref>{{Cite arXiv |eprint=math/9803156 |title=ग्राफ्टिंग बोर्डमैन के चेरी के पेड़ क्वांटम फील्ड थ्योरी के लिए|last1=Stasheff |first1=Jim |year=1998}}</ref>
 === जड़ वाले पेड़ ===
-ग्राफ थ्योरी में, जड़ वाले पेड़ एक प्राकृतिक ओपेरा बनाते हैं। यहाँ, <math>P(n)</math> n पत्तों वाले सभी जड़ वाले वृक्षों का समुच्चय है, जहाँ पत्तियाँ 1 से n तक क्रमांकित हैं। समूह <math>S_n</math> लीफ लेबल्स को परमिट करके इस सेट पर काम करता है। ऑपरेटिव रचना <math>T\circ (S_1,\ldots,S_n)</math> के i-वें पत्ते को बदलकर दिया जाता है <math>T</math> i-वें पेड़ की जड़ से <math>S_i</math>, के लिए <math>i=1,\ldots,n</math>, इस प्रकार n पेड़ों को संलग्न करना <math>T</math> और एक बड़ा पेड़ बनाते हैं, जिसकी जड़ को जड़ के समान ही लिया जाता है <math>T</math> और जिनकी पत्तियाँ क्रम से क्रमांकित हैं।
+ग्राफ थ्योरी में, जड़ वाले पेड़ प्राकृतिक ऑपेराड बनाते हैं। यहाँ, <math>P(n)</math> n पत्तों वाले सभी जड़ वाले वृक्षों का समुच्चय है, जहाँ पत्तियाँ 1 से एन तक क्रमांकित हैं। समूह <math>S_n</math> लीफ लेबल्स को क्रमपरिवर्तन करके इस समूह पर कार्य  करता है। ऑपरेटिव रचना <math>T\circ (S_1,\ldots,S_n)</math> के i-वें पत्ते को बदलकर दिया जाता है <math>T</math> i-वें पेड़ की जड़ से <math>S_i</math>, के लिए <math>i=1,\ldots,n</math>, इस प्रकार एन पेड़ों को संलग्न करना <math>T</math> और एक बड़ा पेड़ बनाते हैं, जिसकी जड़ को जड़ के समान ही लिया जाता है <math>T</math> और जिनकी पत्तियाँ क्रम से क्रमांकित हैं।
-=== स्विस-पनीर ओपेरा ===
+=== स्विस-चिज ऑपेराड ===
-छवि: स्विस-पनीर-ऑपराड.pdf|थंब|स्विस-चीज़ ओपेरा।
+''स्विस-चीज़ ऑपेराड''  दो-रंग का टोपोलॉजिकल ऑपेराड है, जो यूनिट एन-सेमीडिस्क और एन के अंदर डिसजॉइंट एन-क्रमपरिवर्तन डिस्क (गणित) के विन्यास के संदर्भ में परिभाषित किया गया है। '-डायमेंशनल सेमीडिस्क, यूनिट सेमीडिस्क के आधार पर केंद्रित है और इसके भीतर अधिवेशन है। ऑपेराडिक रचना यूनिट   डिस्क के अंदर छोटी डिस्क के ग्लूइंग विन्यास से दूसरी यूनिट सेमीडिस्क में छोटी डिस्क और यूनिट सेमीडिस्क के अंदर छोटी डिस्क और विन्यास से दूसरी यूनिट सेमीडिस्क में आती है।
-''स्विस-चीज़ ऑपराड'' एक दो-रंग का टोपोलॉजिकल ऑपेरड है, जो एक इकाई ''n''-semidisk और ''n'' के अंदर डिसजॉइंट ''n''-डायमेंशनल डिस्क (गणित) के कॉन्फिगरेशन के संदर्भ में परिभाषित किया गया है। '-डायमेंशनल सेमीडिस्क, यूनिट सेमीडिस्क के आधार पर केंद्रित है और इसके अंदर बैठा है। ऑपेरैडिक रचना यूनिट डिस्क के अंदर छोटी डिस्क के ग्लूइंग कॉन्फ़िगरेशन से दूसरी यूनिट सेमीडिस्क में छोटी डिस्क में और यूनिट सेमीडिस्क के अंदर छोटी डिस्क और सेमीडिस्क के कॉन्फ़िगरेशन से दूसरी यूनिट सेमीडिस्क में आती है।
+स्विस-''चीज़ ऑपेराड''  को अलेक्जेंडर ए वोरोनोव द्वारा परिभाषित किया गया था।<ref>{{Cite book|title=स्विस-पनीर ओपेरा|last=Voronov|first=Alexander A.|publisher=AMS|year=1999|isbn=978-0-8218-7829-3|series=Contemporary Mathematics|location=Baltimore, Maryland, [[United States]]|pages=365–373}}</ref> इसका उपयोग मैक्सिम कोंटेसेविच द्वारा डेलिग्ने अनुमान के स्विस-''चीज़''  संस्करण को तैयार करने के लिए किया गया था। होशचाइल्ड कोहोलॉजी पर डेलिग्ने का अनुमान में किया गया था।<ref>{{cite journal | last1 = Kontsevich | first1 = Maxim | year = 1999 | title = विरूपण परिमाणीकरण में संचालन और मकसद| url = https://link.springer.com/article/10.1023/A:1007555725247| journal = Lett. Math. Phys. | volume = 48 | pages = 35–72 | doi=10.1023/A:1007555725247 | arxiv = math/9904055 | bibcode = 1999math......4055K | s2cid = 16838440 }}</ref> कोन्टसेविच का अनुमान [[ पो मैं |पो मैं]], [[इगोर क्रिज़]] और अलेक्जेंडर ए वोरोनोव द्वारा आंशिक रूप से सिद्ध किया गया था<ref>{{cite journal | last1 = Hu | first1 = Po | last2 = Kriz | first2 = Igor | last3 = Voronov | first3 = Alexander A. | year = 2006 | title = कोंटसेविच के होशचाइल्ड कोहोलॉजी अनुमान पर| journal = Compositio Mathematica | volume = 142 | issue = 1| pages = 143–168 | doi=10.1112/S0010437X05001521 | doi-access = free }}</ref> और फिर पूरी तरह से [[जस्टिन थॉमस (गणितज्ञ)]] द्वारा सिद्ध किया गया था।<ref>{{cite journal | last1 = Thomas | first1 = Justin | year = 2016 | title = Kontsevich का स्विस पनीर अनुमान| url = https://projecteuclid.org/euclid.gt/1510858920| journal = Geom. Topol. | volume = 20 | issue = 1| pages = 1–48 | doi = 10.2140/gt.2016.20.1 | arxiv = 1011.1635 | s2cid = 119320246 }}</ref>
-स्विस-पनीर ओपेरा को अलेक्जेंडर ए वोरोनोव द्वारा परिभाषित किया गया था।<ref>{{Cite book|title=स्विस-पनीर ओपेरा|last=Voronov|first=Alexander A.|publisher=AMS|year=1999|isbn=978-0-8218-7829-3|series=Contemporary Mathematics|location=Baltimore, Maryland, [[United States]]|pages=365–373}}</ref> इसका उपयोग मैक्सिम कोंटेसेविच द्वारा डेलिग्ने अनुमान के स्विस-पनीर संस्करण को तैयार करने के लिए किया गया था। होशचाइल्ड कोहोलॉजी पर डेलिग्ने का अनुमान।<ref>{{cite journal | last1 = Kontsevich | first1 = Maxim | year = 1999 | title = विरूपण परिमाणीकरण में संचालन और मकसद| url = https://link.springer.com/article/10.1023/A:1007555725247| journal = Lett. Math. Phys. | volume = 48 | pages = 35–72 | doi=10.1023/A:1007555725247 | arxiv = math/9904055 | bibcode = 1999math......4055K | s2cid = 16838440 }}</ref> Kontsevich का अनुमान [[ पो मैं ]], [[इगोर क्रिज़]] और अलेक्जेंडर ए वोरोनोव द्वारा आंशिक रूप से सिद्ध किया गया था<ref>{{cite journal | last1 = Hu | first1 = Po | last2 = Kriz | first2 = Igor | last3 = Voronov | first3 = Alexander A. | year = 2006 | title = कोंटसेविच के होशचाइल्ड कोहोलॉजी अनुमान पर| journal = Compositio Mathematica | volume = 142 | issue = 1| pages = 143–168 | doi=10.1112/S0010437X05001521 | doi-access = free }}</ref> और फिर पूरी तरह से [[जस्टिन थॉमस (गणितज्ञ)]] द्वारा।<ref>{{cite journal | last1 = Thomas | first1 = Justin | year = 2016 | title = Kontsevich का स्विस पनीर अनुमान| url = https://projecteuclid.org/euclid.gt/1510858920| journal = Geom. Topol. | volume = 20 | issue = 1| pages = 1–48 | doi = 10.2140/gt.2016.20.1 | arxiv = 1011.1635 | s2cid = 119320246 }}</ref>
+=== साहचर्य ऑपेराड ===
+ऑपेराड के उदाहरणों का अन्य वर्ग बीजगणितीय संरचनाओं की संरचनाओं पर अधिकार कर रहा है, जैसे साहचर्य बीजगणित, क्रमविनिमेय बीजगणित और लाई बीजगणित है। इनमें से प्रत्येक को बाइनरी ऑपरेशंस द्वारा उत्पन्न इन तीनों में से प्रत्येक में सूक्ष्म प्रकार से प्रस्तुत ऑपेराड के रूप में प्रदर्शित किया जा सकता है।
-=== साहचर्य संक्रिया ===
+उदाहरण के लिए, साहचर्य ऑपेराड बाइनरी ऑपरेशंस द्वारा उत्पन्न सममित ऑपेराड है <math>\psi</math>, केवल इस अवस्था पर आधारित है
-ऑपरैड्स के उदाहरणों का एक अन्य वर्ग बीजगणितीय संरचनाओं की संरचनाओं पर कब्जा कर रहा है, जैसे सहयोगी बीजगणित, कम्यूटेटिव बीजगणित और झूठ बीजगणित। इनमें से प्रत्येक को बाइनरी ऑपरेशंस द्वारा उत्पन्न इन तीनों में से प्रत्येक में एक सूक्ष्म रूप से प्रस्तुत ओपेरा के रूप में प्रदर्शित किया जा सकता है।
-उदाहरण के लिए, साहचर्य संक्रिया एक द्विआधारी संक्रिया द्वारा उत्पन्न एक सममित संक्रिया है <math>\psi</math>, केवल इस शर्त के अधीन है कि
 :<math>\psi\circ(\psi,1)=\psi\circ(1,\psi).</math>
-यह स्थिति बाइनरी ऑपरेशन की साहचर्यता से मेल खाती है <math>\psi</math>; लिखना <math>\psi(a,b)</math> गुणात्मक रूप से, उपरोक्त स्थिति है <math>(ab)c = a(bc)</math>. संक्रिया की इस साहचर्यता को संघटन की साहचर्यता के साथ भ्रमित नहीं किया जाना चाहिए जो किसी संक्रिया में धारण करती है; ऊपर साहचर्य का #Axiom देखें।
+यह स्थिति बाइनरी ऑपरेशन की साहचर्यता से मिलता है <math>\psi</math>; लिखना <math>\psi(a,b)</math> गुणात्मक प्रकार से, उपरोक्त स्थिति <math>(ab)c = a(bc)</math> है। ऑपेराड की इस साहचर्यता को संघटन की साहचर्यता के साथ भ्रमित नहीं किया जाना चाहिए जो किसी ऑपेराड में धारण करती है; ऊपर साहचर्य का सूक्ति देखें।
-सहयोगी ओपेरा में, प्रत्येक <math>P(n)</math> सममित समूह द्वारा दिया गया है <math>S_n</math>, जिस पर <math>S_n</math> सही गुणन द्वारा कार्य करता है। समग्र <math>\sigma \circ (\tau_1, \dots, \tau_n)</math> के अनुसार ब्लॉक में इसके इनपुट की अनुमति देता है <math>\sigma</math>, और उपयुक्त के अनुसार ब्लॉकों के भीतर <math>\tau_i</math>.
+साहचर्य ऑपेराड में, प्रत्येक <math>P(n)</math> सममित समूह <math>S_n</math>द्वारा दिया गया है जिस पर <math>S_n</math> सही गुणन द्वारा कार्य करता है। समग्र <math>\sigma \circ (\tau_1, \dots, \tau_n)</math> के अनुसार ब्लॉक में <math>\sigma</math> इसके इनपुट की अनुमति देता है, और <math>\tau_i</math>उपयुक्त के अनुसार ब्लॉकों के भीतर है।
-साहचर्य संक्रिया पर बीजगणित सटीक रूप से अर्धसमूह होते हैं: एक एकल द्विआधारी साहचर्य संक्रिया के साथ सेट होते हैं। साहचर्य संक्रिया पर k-रैखिक बीजगणित वास्तव में साहचर्य बीजगणित हैं | साहचर्य k-अल्जेब्रा।
+साहचर्य ऑपेराड पर बीजगणित सही प्रकार से अर्धसमूह होते हैं: एकल द्विआधारी साहचर्य ऑपेराड के साथ समूह होते हैं। साहचर्य ऑपेराड पर के-रैखिक बीजगणित वास्तव में साहचर्य बीजगणित हैं |
-=== टर्मिनल सममित संक्रिया ===
+=== टर्मिनल सममित ऑपेराड ===
-टर्मिनल सिमेट्रिक ऑपरैड वह ऑपरैड है जिसमें प्रत्येक एन के लिए प्रत्येक एन-आरी ऑपरेशन होता है <math>S_n</math> तुच्छ अभिनय। इस ऑपरैड पर बीजगणित क्रमविनिमेय अर्धसमूह हैं; k-रेखीय बीजगणित क्रमविनिमेय साहचर्य k-बीजगणित हैं।
+टर्मिनल सममित ऑपेराड वह ऑपेराड है जिसमें प्रत्येक एन के लिए प्रत्येक एन-आरी ऑपरेशन होता है <math>S_n</math>नगण्य क्रिया है। इस ऑपेराड पर बीजगणित क्रमविनिमेय अर्धसमूह हैं; के-रेखीय बीजगणित क्रमविनिमेय साहचर्य के-बीजगणित हैं।
 ===ब्रेड समूहों से संचालित होता है===
-इसी प्रकार, एक गैर-<math>\Sigma</math> संचालित जिसके लिए प्रत्येक <math>P(n)</math> आर्टिन ब्रेड समूह द्वारा दिया गया है <math>B_n</math>. इसके अलावा, यह गैर-<math>\Sigma</math> ऑपरैड में एक ब्रेडेड ऑपरैड की संरचना होती है, जो एक ऑपरैड की धारणा को सममित से ब्रेड समूहों तक सामान्यीकृत करती है।
+इसी प्रकार, अप-<math>\Sigma</math>ऑपेराड जिसके लिए प्रत्येक पी(एन) आर्टिन ब्रेड समूह B<sub>n</sub> द्वारा दिया गया है। इसके अतिरिक्त, यह अप-<math>\Sigma</math>ऑपेराड में ब्रेडेड ऑपेराड की संरचना होती है, जो ऑपेराड की धारणा को सममित से ब्रेड समूहों तक सामान्यीकृत करती है।
 === रेखीय बीजगणित ===
-रेखीय बीजगणित में, वास्तविक वेक्टर रिक्त स्थान को ओपेरा के ऊपर बीजगणित माना जा सकता है <math>\R^\infty</math> सभी [[रैखिक संयोजन]]ों की {{Citation needed|date=October 2022}}. इस ऑपरैड द्वारा परिभाषित किया गया है <math>\R^\infty(n)=\R^n</math> के लिए <math>n\in\N</math>, की स्पष्ट कार्रवाई के साथ <math>S_n</math> क्रमपरिवर्तन घटकों, और संरचना <math>\vec{x}\circ (\vec{y_1},\ldots,\vec{y_n})</math> वैक्टर के संयोजन द्वारा दिया गया <math>x^{(1)}\vec{y_1},\ldots,x^{(n)}\vec{y_n}</math>, कहाँ <math>\vec{x}=(x^{(1)},\ldots, x^{(n)})\in\R^n</math>. सदिश <math>\vec{x}=(2,3,-5,0,\dots)</math> उदाहरण के लिए गुणांक 2,3,-5,0,... के साथ एक रैखिक संयोजन बनाने के संचालन का प्रतिनिधित्व करता है।
+रेखीय बीजगणित में, वास्तविक वेक्टर स्पेस को ऑपेराड के ऊपर बीजगणित माना जा सकता है <math>\R^\infty</math> सभी [[रैखिक संयोजन|रैखिक संयोजनों]] की तरह है। <math>\R^\infty(n)=\R^n</math> के लिए <math>n\in\N</math> इस ऑपेराड द्वारा परिभाषित किया गया है, <math>S_n</math> क्रमचय घटकों के उचित कदम के साथ, और संरचना <math>\vec{x}\circ (\vec{y_1},\ldots,\vec{y_n})</math> वैक्टर के संयोजन द्वारा दिया गया <math>x^{(1)}\vec{y_1},\ldots,x^{(n)}\vec{y_n}</math>, जहाँ <math>\vec{x}=(x^{(1)},\ldots, x^{(n)})\in\R^n</math> है। सदिश <math>\vec{x}=(2,3,-5,0,\dots)</math> है। उदाहरण के लिए गुणांक 2,3,-5,0,... के साथ  रैखिक संयोजन बनाने के संचालन को प्रदर्शित करता है।
-यह दृष्टिकोण इस धारणा को औपचारिक रूप देता है कि रैखिक संयोजन एक सदिश स्थान पर सबसे सामान्य प्रकार का ऑपरेशन है - यह कहना कि सदिश स्थान रैखिक संयोजनों के संचालन पर एक बीजगणित है, ठीक यही कथन है कि सदिश स्थान में सभी संभव बीजगणितीय संचालन हैं रैखिक संयोजन। सदिश जोड़ और अदिश गुणन के बुनियादी संचालन सभी रैखिक संयोजनों के संचालन के लिए एक [[जनरेटिंग सेट]] हैं, जबकि रैखिक संयोजन संक्रिया एक सदिश स्थान पर सभी संभावित संचालनों को सांकेतिक रूप से कूटबद्ध करता है।
+यह दृष्टिकोण इस धारणा को औपचारिक रूप देता है कि रैखिक संयोजन सदिश स्पेस पर सबसे सामान्य प्रकार का ऑपरेशन है - यह कहना कि सदिश स्थान रैखिक संयोजनों के ऑपेराड पर बीजगणित है, ठीक इसी प्रकार यह कथन है कि सदिश स्थान में सभी संभव बीजगणितीय ऑपेराड रैखिक संयोजन है। सदिश जोड़ और अदिश गुणन के संबंधित ऑपेराड सभी रैखिक संयोजनों के ऑपेराड के लिए [[जनरेटिंग सेट|जनरेटिंग समूह]] हैं, जबकि रैखिक संयोजन ऑपेराड सदिश स्पेस पर सभी संभावित संचालनों को सांकेतिक प्रकार से एनकोड करता है।
-इसी तरह, affine संयोजनों, [[शंक्वाकार संयोजन]]ों और [[उत्तल संयोजन]]ों को उप-संचालन के अनुरूप माना जा सकता है जहां वेक्टर की शर्तें <math>\vec{x}</math> 1 का योग, सभी पद क्रमशः गैर-ऋणात्मक, या दोनों हैं। आलेखीय रूप से, ये अनंत एफ़ाइन हाइपरप्लेन, अनंत हाइपर-ऑक्टेंट और अनंत सिम्प्लेक्स हैं। यह औपचारिकता करता है कि इसका क्या मतलब है <math>\R^n</math> होने के नाते या मानक सिंप्लेक्स मॉडल रिक्त स्थान होने के नाते, और इस तरह के अवलोकन जैसे कि प्रत्येक बाध्य [[उत्तल पॉलीटॉप]] एक सिंप्लेक्स की छवि है। यहां सबऑपराड्स अधिक प्रतिबंधित संचालन और इस प्रकार अधिक सामान्य सिद्धांतों के अनुरूप हैं।
+इसी प्रकार, अफ्फिन संयोजनों, [[शंक्वाकार संयोजन|शंक्वाकार संयोजनों]] और [[उत्तल संयोजन|उत्तल संयोजनों]] को उप-ऑपेराड के अनुरूप माना जा सकता है जहां सदिश <math>\vec{x}</math> के पदों का योग 1 है, सभी पद क्रमशः अऋणात्मक या दोनों हैं। रेखांकन प्रकार से, इनफिनिट अफ्फिन इनफिनिट हाइपरप्लेन, हाइपर-ऑक्टेंट इनफिनिट और सिम्प्लेक्स हैं। यह औपचारिकता करता है कि <math>\R^n</math> होने का क्या अर्थ है या मानक सिम्पलेक्स मॉडल स्पेस है, और इस प्रकार के टिप्पणियां जैसे कि प्रत्येक बाध्य [[उत्तल पॉलीटॉप]] सिंप्लेक्स की इमेज  है। यहां सबऑपराड्स अत्यधिक प्रतिबंधित ऑपेराड और इस प्रकार अधिक सामान्य सिद्धांतों के अनुरूप हैं।
-=== क्रमविनिमेय-अंगूठी संकार्य और झूठ संकार्य ===
+=== क्रमविनिमेय-रिंग ऑपेराड और लाई ऑपेराड ===
-क्रमविनिमेय-अंगूठी संकार्य एक संकार्य संक्रिया बीजगणित क्रमविनिमेय छल्ले हैं। इसके द्वारा परिभाषित किया गया है <math>P(n)=\Z[x_1,\ldots,x_n]</math>, की स्पष्ट कार्रवाई के साथ <math>S_n</math> और चर के लिए बहुपदों (पुनः क्रमांकित चर के साथ) को प्रतिस्थापित करके दी गई ऑपेरैडिक रचना। एक समान ऑपरैड को परिभाषित किया जा सकता है जिसका बीजगणित कुछ निश्चित आधार क्षेत्र पर साहचर्य, क्रमविनिमेय बीजगणित हैं। इस ऑपरैड का [[शर्ट-दोहरी]] लाइ ऑपरैड है (जिसका बीजगणित लाइ अलजेब्रस है), और इसके विपरीत।
+क्रमविनिमेय-रिंग ऑपेराड है जिसका बीजगणितीय क्रमविनिमेय वलय है। यह <math>P(n)=\Z[x_1,\ldots,x_n]</math> द्वारा परिभाषित किया गया है, <math>S_n</math> उचित कदम के साथ और चर के लिए बहुपदों (पुनः क्रमांकित चर के साथ) को प्रतिस्थापित करके दी गई ऑपेरैडिक रचना है। समान ऑपरैड को परिभाषित किया जा सकता है जिसका बीजगणित कुछ निश्चित आधार क्षेत्र पर साहचर्य, क्रमविनिमेय बीजगणित हैं। इस ऑपरैड का कॉसज़ुल-डुअल लाइ ऑपरैड है (जिसका बीजगणित लाइबीजगणित है), और इसके विपरीत है।
 == फ्री ऑपरेशंस ==
-विशिष्ट बीजगणितीय निर्माण (जैसे, मुक्त बीजगणित निर्माण) को ऑपरेड्स तक बढ़ाया जा सकता है। होने देना <math>\mathbf{Set}^{S_n}</math> उस श्रेणी को निरूपित करें जिसकी वस्तुएं समूह पर सेट हैं <math>S_n</math> कार्य करता है। फिर एक [[भुलक्कड़ कारक]] है <math>\mathsf{Oper} \to \prod_{n\in\N} \mathbf{Set}^{S_n}</math>, जो केवल ओपेरा रचना को भूल जाता है। एक सहायक फ़ैक्टर्स का निर्माण संभव है <math>\Gamma: \prod_{n\in\N} \mathbf{Set}^{S_n}\to \mathsf{Oper}</math> इस भुलक्कड़ फ़ंक्टर के लिए (यह [[मुक्त कारक]] की सामान्य परिभाषा है)। संचालन ई के संग्रह को देखते हुए, <math>\Gamma(E)</math> ई पर फ्री ऑपेरड है।
+विशिष्ट बीजगणितीय निर्माण (जैसे, फ्री बीजगणित निर्माण) को ऑपेराड तक बढ़ाया जा सकता है। समुच्चय<sup>''S''n</sup> उस श्रेणी को निरूपित करें जिसकी ऑब्जेक्ट समूह पर  होता है जिस पर समूह <math>S_n</math>कार्य करता है। फिर नगण्य करक है ओपेर, जो ऑपेराड सामान्यतः नगण्य हो जाता है | सहायक फ़ैक्टर्स का निर्माण संभव है <math>\Gamma: \prod_{n\in\N} \mathbf{Set}^{S_n}\to \mathsf{Oper}</math> इस नगण्य कारक के लिए (यह फ्री कारक की सामान्य परिभाषा है)। संचालन ई के संकलन को देखते हुए, <math>\Gamma(E)</math> ई पर फ्री ऑपेरड है।
-एक समूह या अंगूठी की तरह, नि: शुल्क निर्माण जनरेटर और संबंधों के संदर्भ में एक ओपेरा को व्यक्त करने की अनुमति देता है। एक ओपेरा के मुक्त प्रतिनिधित्व द्वारा <math>\mathcal{O}</math>, हमारा मतलब लिखना है <math>\mathcal{O}</math> एक मुफ्त ओपेरा के भागफल के रूप में <math>\mathcal{F} = \Gamma(E)</math> जहां ई के जनरेटर का वर्णन करता है <math>\mathcal{O}</math> और एपिमोर्फिज्म की गिरी <math>\mathcal{F} \to \mathcal{O}</math> संबंधों का वर्णन करता है।
+समूह या रिंग की तरह, नि: शुल्क निर्माण जनरेटर और संबंधों के संदर्भ में ओपेरा को व्यक्त करने की अनुमति देता है। ओपेरा के मुक्त प्रदर्शित <math>\mathcal{O}</math> द्वारा, हमारा अर्थ लिखना है <math>\mathcal{O}</math> मुफ्त ओपेरा के भागफल के रूप में <math>\mathcal{F} = \Gamma(E)</math> जहां ई के जनरेटर का वर्णन करता है <math>\mathcal{O}</math> और अधिरूपता की मूल  <math>\mathcal{F} \to \mathcal{O}</math> संबंधों का वर्णन करता है।
-ए (सममित) ओपेरा <math>\mathcal{O} = \{ \mathcal{O}(n) \}</math> द्विघात कहा जाता है यदि इसकी एक मुक्त प्रस्तुति है जैसे कि <math>E = \mathcal{O}(2)</math> जनरेटर है और संबंध इसमें निहित है <math>\Gamma(E)(3)</math>.<ref>{{cite journal | last1 = Markl | first1 = Martin| year = 2006 |  title = Operads and PROPs | journal = Handbook of Algebra | volume = 5 | pages = 87–140|  doi = 10.1016/S1570-7954(07)05002-4  | isbn = 9780444531018| s2cid = 3239126}} Definition 37</ref>
+ए (सममित) ऑपेराड <math>\mathcal{O} = \{ \mathcal{O}(n) \}</math> द्विघात कहा जाता है यदि इसकी मुक्त प्रस्तुति है जैसे कि <math>E = \mathcal{O}(2)</math> जनरेटर है और संबंध इसमें निहित है <math>\Gamma(E)(3)</math>.<ref>{{cite journal | last1 = Markl | first1 = Martin| year = 2006 |  title = Operads and PROPs | journal = Handbook of Algebra | volume = 5 | pages = 87–140|  doi = 10.1016/S1570-7954(07)05002-4  | isbn = 9780444531018| s2cid = 3239126}} Definition 37</ref>
 == होमोटॉपी थ्योरी में ऑपरेशंस ==
 {{expand section|date=December 2018}}
-में {{harvtxt|Stasheff|2004}}, स्टैशेफ़ लिखते हैं:
+स्टैशेफ़ (2004) में, स्टैशेफ़ लिखते हैं:
-:ओपेराड होमोटॉपी की अच्छी धारणा वाली श्रेणियों में विशेष रूप से महत्वपूर्ण और उपयोगी होते हैं, जहां वे उच्च समरूपता के पदानुक्रम को व्यवस्थित करने में महत्वपूर्ण भूमिका निभाते हैं।
+:ऑपेराड होमोटॉपी की सही धारणा वाली श्रेणियों में विशेष प्रकार से महत्वपूर्ण और उपयोगी होते हैं, जहां वे उच्च समरूपता के पदानुक्रम को व्यवस्थित करने में महत्वपूर्ण भूमिका निभाते हैं।
 == यह भी देखें ==
@@ Line 276: / Line 261: @@
 *{{nlab|id=operad}}
 *https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en.html
-[[Category: सार बीजगणित]] [[Category: श्रेणी सिद्धांत]]
-[[Category: Machine Translated Page]]
+[[Category:All articles to be expanded]]
+[[Category:Articles to be expanded from December 2018]]
+[[Category:Articles using small message boxes]]
+[[Category:Articles with invalid date parameter in template]]
+[[Category:CS1 British English-language sources (en-gb)]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:CS1 maint]]
 [[Category:Created On 01/03/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with broken file links]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:श्रेणी सिद्धांत]]
+[[Category:सार बीजगणित]]

Anonymous

Search

ऑपेराड: Difference between revisions

Latest revision as of 17:12, 29 August 2023

इतिहास

अभ्यास

परिभाषा

सममित ऑपरैड

आकारिकी

अन्य श्रेणियों में

बीजगणित की परिभाषा

अभिगृहित को समझना

साहचर्य अभिगृहित

पहचान अभिगृहित

उदाहरण

वेक्टर स्पेस में आकारिकी ऑपेराड और ऑपेराड बीजगणित

थोड़ा कुछ ऑपेराड

जड़ वाले पेड़

स्विस-चिज ऑपेराड

साहचर्य ऑपेराड

टर्मिनल सममित ऑपेराड

ब्रेड समूहों से संचालित होता है

रेखीय बीजगणित

क्रमविनिमेय-रिंग ऑपेराड और लाई ऑपेराड

फ्री ऑपरेशंस

होमोटॉपी थ्योरी में ऑपरेशंस

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories