कार्लिट्ज़ घातांक: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, कार्लिट्ज़ घातांक [[वास्तविक विश्लेषण]] और [[जटिल विश्लेषण]] में अध्ययन किए गए सामान्य घातीय | गणित में, कार्लिट्ज़ घातांक [[वास्तविक विश्लेषण|वास्तविक]] और [[जटिल विश्लेषण]] में अध्ययन किए गए सामान्य घातीय फलन का विशिष्ट ''p'' एनालॉग है। इसका उपयोग [[कार्लित्ज़ मॉड्यूल]] की परिभाषा में किया जाता है यह [[ड्रिनफेल्ड मॉड्यूल]] का उदाहरण है। | ||
==परिभाषा== | ==परिभाषा== | ||
q एलिमेंट्स के साथ [[परिमित क्षेत्र]] F<sub>''q''</sub> पर चर के बहुपद वलय '''F'''<sub>''q''</sub>[''T''] पर कार्य करते हैं। ''T''<sup>−1</sup> में [[औपचारिक लॉरेंट श्रृंखला]] के क्षेत्र '''F'''<sub>''q''</sub>((''T''<sup>−1</sup>)) के [[बीजगणितीय समापन]] का '''C'''<sub>∞</sub> पूर्ण होना उपयोगी होगा। यह पूर्ण और बीजगणितीय रूप से बंद क्षेत्र है। | |||
सबसे पहले | सबसे पहले [[भाज्य]] के एनालॉग्स की आवश्यकता है, जो सामान्य घातीय फलन की परिभाषा में दिखाई देते हैं। I > 0 के लिए हम परिभाषित करते हैं | ||
:<math>[i] := T^{q^i} - T, \, </math> | :<math>[i] := T^{q^i} - T, \, </math> | ||
:<math>D_i := \prod_{1 \le j \le i} [j]^{q^{i - j}}</math> | :<math>D_i := \prod_{1 \le j \le i} [j]^{q^{i - j}}</math> | ||
और | और D<sub>0</sub>= 1 ध्यान दें कि सामान्य फैक्टोरियल यहां अनुपयुक्त है, क्योंकि n! '''F'''<sub>''q''</sub>[''T''] में लुप्त हो जाता है जब तक कि n, '''F'''<sub>''q''</sub>[''T''] की [[विशेषता (बीजगणित)|विशेषता]] से छोटा न हो। | ||
इसका उपयोग करके हम कार्लिट्ज़ | इसका उपयोग करके हम अभिसरण योग द्वारा कार्लिट्ज़ घातांक ''e<sub>C</sub>'':'''C'''<sub>∞</sub> → '''C'''<sub>∞</sub> को परिभाषित करते हैं। | ||
:<math>e_C(x) := \sum_{i = 0}^\infty \frac{x^{q^i}}{D_i}.</math> | :<math>e_C(x) := \sum_{i = 0}^\infty \frac{x^{q^i}}{D_i}.</math> | ||
== कार्लित्ज़ मॉड्यूल से संबंध == | |||
==कार्लित्ज़ मॉड्यूल से संबंध== | कार्लिट्ज़ घातांक कार्यात्मक समीकरण को संतुष्ट करता है: | ||
कार्लिट्ज़ घातांक कार्यात्मक समीकरण को संतुष्ट करता है | |||
:<math>e_C(Tx) = Te_C(x) + \left(e_C(x)\right)^q = (T + \tau)e_C(x), \, </math> | :<math>e_C(Tx) = Te_C(x) + \left(e_C(x)\right)^q = (T + \tau)e_C(x), \, </math> | ||
जहां हम देख सकते हैं <math> \tau </math> की शक्ति के रूप में <math> q </math> मानचित्र या रिंग के | जहां हम देख सकते हैं <math> \tau </math> की शक्ति के रूप में <math> q </math> मानचित्र या रिंग के एलिमेंट के रूप में <math> F_q(T)\{\tau\} </math> असंक्रमणीय बहुपदों का चर में बहुपद वलय की [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] द्वारा यह वलय समरूपता ''ψ'':'''F'''<sub>''q''</sub>[''T'']→'''C'''<sub>∞</sub>{''τ''} तक विस्तारित होता है, जो '''C'''<sub>∞</sub>{''τ''} पर ड्रिनफेल्ड '''F'''<sub>''q''</sub>[''T'']-मॉड्यूल को परिभाषित करता है। इसे कार्लिट्ज़ मॉड्यूल कहा जाता है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 21:56, 7 July 2023
गणित में, कार्लिट्ज़ घातांक वास्तविक और जटिल विश्लेषण में अध्ययन किए गए सामान्य घातीय फलन का विशिष्ट p एनालॉग है। इसका उपयोग कार्लित्ज़ मॉड्यूल की परिभाषा में किया जाता है यह ड्रिनफेल्ड मॉड्यूल का उदाहरण है।
परिभाषा
q एलिमेंट्स के साथ परिमित क्षेत्र Fq पर चर के बहुपद वलय Fq[T] पर कार्य करते हैं। T−1 में औपचारिक लॉरेंट श्रृंखला के क्षेत्र Fq((T−1)) के बीजगणितीय समापन का C∞ पूर्ण होना उपयोगी होगा। यह पूर्ण और बीजगणितीय रूप से बंद क्षेत्र है।
सबसे पहले भाज्य के एनालॉग्स की आवश्यकता है, जो सामान्य घातीय फलन की परिभाषा में दिखाई देते हैं। I > 0 के लिए हम परिभाषित करते हैं
और D0= 1 ध्यान दें कि सामान्य फैक्टोरियल यहां अनुपयुक्त है, क्योंकि n! Fq[T] में लुप्त हो जाता है जब तक कि n, Fq[T] की विशेषता से छोटा न हो।
इसका उपयोग करके हम अभिसरण योग द्वारा कार्लिट्ज़ घातांक eC:C∞ → C∞ को परिभाषित करते हैं।
कार्लित्ज़ मॉड्यूल से संबंध
कार्लिट्ज़ घातांक कार्यात्मक समीकरण को संतुष्ट करता है:
जहां हम देख सकते हैं की शक्ति के रूप में मानचित्र या रिंग के एलिमेंट के रूप में असंक्रमणीय बहुपदों का चर में बहुपद वलय की सार्वभौमिक गुण द्वारा यह वलय समरूपता ψ:Fq[T]→C∞{τ} तक विस्तारित होता है, जो C∞{τ} पर ड्रिनफेल्ड Fq[T]-मॉड्यूल को परिभाषित करता है। इसे कार्लिट्ज़ मॉड्यूल कहा जाता है।
संदर्भ
- Goss, D. (1996). Basic structures of function field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Vol. 35. Berlin, New York: Springer-Verlag. ISBN 978-3-540-61087-8. MR 1423131.
- Thakur, Dinesh S. (2004). Function field arithmetic. New Jersey: World Scientific Publishing. ISBN 978-981-238-839-1. MR 2091265.