व्युत्पत्ति (अंतर बीजगणित)

गणित में, अवकलज बीजगणित पर फलन है जो अवकलज संकारक की कुछ विशेषताओं को सामान्यीकृत करता है। विशेष रूप से, वलय (गणित) या क्षेत्र (गणित) K के ऊपर बीजगणित A दिया गया है, K-अवकलज एक K-रैखिक मानचित्र है D : A → A जो लीबनिज का नियम को आपूर्ति करता है|:


 * $$ D(ab) = a D(b) + D(a) b.$$

अधिक आम तौर पर, यदि M एक A-द्विप्रतिरूपक है, तो K-रैखिक मानचित्र D : A → M जो लीबनिज नियम को आपूर्ति करता है उसे अवकलज भी कहा जाता है। A के सभी K-अवकलज का संग्रह DerK(A) द्वारा निरूपित किया जाता है। A-मापांक M में A के K-अवकलज का संग्रह DerK(A, M) द्वारा दर्शाया गया है।

गणित के विविध क्षेत्रों में कई अलग-अलग संदर्भों में अवकलज होती हैं। एक चर के संबंध में आंशिक अवकलज Rn पर वास्तविक- मान अलग-अलग फलन के बीजगणित पर एक R-अवकलज । एक सदिश क्षेत्र के संबंध में लाई अवकलज अलग-अलग डिफरेंशियल मैनिफोल्ड पर अलग-अलग फलन के बीजगणित पर एक R-अवकलज है; आम तौर पर यह कई गुना अधिक के प्रदिश बीजगणित पर अवकलज है। यह इस प्रकार है कि लाई बीजगणित का संलग्न प्रतिरूपण उस बीजगणित पर अवकलज है। पिंचरले अवकलज अमूर्त बीजगणित में अवकलज का एक उदाहरण है। यदि बीजगणित A गैर विनिमेय है, तो बीजगणित A के तत्व के संबंध में कम्यूटेटर A के रैखिक अंतःरूपता को परिभाषित करता है, जो कि K पर अवकलज है।
 * $$[FG,N]=[F,N]G+F[G,N]$$

जहाँ $$[\cdot,N]$$ के संबंध में $$N$$ कम्यूटेटर है। विशिष्ट अवकलज d से लैस बीजगणित अवकल बीजगणित बनाता है, और यह अपने आप में अवकल गैलोज़ सिद्धांत जैसे क्षेत्रों में अध्ययन का महत्वपूर्ण उद्देश्य है।

गुण
यदि A एक K-बीजगणित है, K लिए वलय है, और $D: A → A$ एक K-अवकलज है, फिर


 * यदि A की इकाई 1 है, तो D(1) = D(12) = 2D(1), ताकि D(1) = 0, इस प्रकार K-रैखिकता द्वारा, D(k) = 0 सभी $k ∈ K$ के लिए
 * यदि A क्रमविनिमेय है, तो D(x2) = xD(x) + D(x)x = 2xD(x), और D(x)n) = nxn−1D(x), लीबनिज़ नियम द्वारा।
 * आम तौर पर, किसी के लिए $x_{1}, x_{2}, …, x_{n} ∈ A$, यह गणितीय आगमन द्वारा अनुसरण करता है
 * $$D(x_1x_2\cdots x_n) = \sum_i x_1\cdots x_{i-1}D(x_i)x_{i+1}\cdots x_n $$
 * जो है $\sum_i D(x_i)\prod_{j\neq i}x_j$ अगर $i$ सभी के लिए, $D(x_{i})$, $$x_1,x_2,\ldots, x_{i-1}$$के साथ अभिगम है


 * n > 1 के लिए, Dn अवकलज नहीं है, इसके बजाय उच्च-क्रम लीबनिज़ नियम को आपूर्ति करता है:
 * $$D^n(uv) = \sum_{k=0}^n \binom{n}{k} \cdot D^{n-k}(u)\cdot D^k(v).$$
 * इसके अलावा, यदि M एक A-द्विप्रतिरूपक है, तो लिखें
 * $$ \operatorname{Der}_K(A,M)$$
 * A से M तक K-अवकलज के समुच्चय के लिए।


 * DerK(A, M), K के ऊपर मापांक (गणित) है।
 * DerK(A) कम्यूटेटर द्वारा परिभाषित लाई ब्रैकेट के साथ लाई बीजगणित है:
 * $$[D_1,D_2] = D_1\circ D_2 - D_2\circ D_1.$$
 * चूंकि यह आसानी से सत्यापित है कि दो व्युत्पत्तियों का कम्यूटेटर फिर से एक अवकलज है।


 * एक A-मापांक है $Ω_{A/K}$ (कह्लर अवकलन कहा जाता है) K-अवकलज के साथ $d: A → Ω_{A/K}$ जिसके माध्यम से कोई अवकलज $D: A → M$ कारक। यही है, किसी भी अवकलज डी के लिए A-मापांक नक्शा है $φ$ साथ
 * $$ D: A\stackrel{d}{\longrightarrow} \Omega_{A/K}\stackrel{\varphi}{\longrightarrow} M $$
 * पत्राचार $$ D\leftrightarrow \varphi$$ A-मापांक का एक समरूपता है:
 * $$ \operatorname{Der}_K(A,M)\simeq \operatorname{Hom}_{A}(\Omega_{A/K},M)$$


 * अगर $k ⊂ K$ एक सबरिंग है, तो A को k-बीजगणित संरचना विरासत में मिली है, इसलिए इसमें एक समावेश है
 * $$\operatorname{Der}_K(A,M)\subset \operatorname{Der}_k(A,M) ,$$
 * चूँकि कोई भी K-अवकलज एक fortiori k-अवकलज है।

वर्गीकृत अवकलज
एक वर्गीकृत बीजगणित A और ग्रेड के एक सजातीय रैखिक मानचित्र डी को देखते हुए $|D|$ A पर, डी एक 'सजातीय अवकलज' है अगर
 * $${D(ab)=D(a)b+\varepsilon^{|a||D|}aD(b)}$$

कम्यूटेटर कारक के लिए प्रत्येक सजातीय तत्व A और A के प्रत्येक तत्व बी के लिए ε = ±1. एक श्रेणीबद्ध अवकलज समान ε वाले सजातीय व्युत्पत्तियों का योग है।

अगर ε = 1, यह परिभाषा सामान्य मामले में कम हो जाती है। अगर ε = &minus;1, तथापि, तब
 * $${D(ab)=D(a)b+(-1)^{|a|}aD(b)}$$ विषम के लिए $|D|$, और D को 'एंटी-अवकलज' कहा जाता है।

विरोधी व्युत्पत्तियों के उदाहरणों में बाहरी अवकलज और विभेदक रूपों पर अभिनय करने वाले आंतरिक उत्पाद शामिल हैं।

algebra की श्रेणीबद्ध अवकलज (अर्थात 'Z'2-श्रेणीबद्ध बीजगणित) को अक्सर सुपरडेरिवेशन कहा जाता है।

संबंधित धारणाएं
हस्से-श्मिट अवकलज K-बीजगणित समाकारिता हैं


 * $$A \to At.$$

मानचित्र के साथ आगे रचना करना जो एक औपचारिक शक्ति श्रृंखला भेजता है $$\sum a_n t^n$$ गुणांक के लिए $$a_1$$ अवकलज देता है।

यह भी देखें

 * अवकल ज्यामिति अवकलज में टेंगेंट स्पेस#डेफिनिशन वाया अवकलज है
 * काहलर अवकल
 * डेरिवेटिव से नफरत है
 * p-अवकलज|p-अवकलज
 * विर्टिंगर डेरिवेटिव
 * घातीय मानचित्र का अवकलज