2025-11-19T17:19:14.645189

Matrices over maximal orders in cyclic division algebras over Q as sums of squares and cubes

Katre, Krishnamurthi
It is known that every matrix of order n over the maximal order in an algebraic number eld is a sum of k-th powers in various cases if a discriminant condition is satis ed. It has been proved by Wadikar and Katre that for every matrix of size 2 over maximal orders in rational quaternion division algebras is a sum of squares and cubes. In this paper we consider cyclic division algebras over Q of odd prime degree and show that under some conditions every matrix of size greater equal 2 over these noncommutative rings is a sum of squares and a sum of cubes.
academic

Q पर चक्रीय विभाजन बीजगणित के अधिकतम क्रमों पर आव्यूह वर्गों और घनों के योग के रूप में

मूल जानकारी

  • पेपर ID: 2510.13469
  • शीर्षक: Q पर चक्रीय विभाजन बीजगणित के अधिकतम क्रमों पर आव्यूह वर्गों और घनों के योग के रूप में
  • लेखक: S. A. Katre, Deepa Krishnamurthi
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 15 अक्टूबर 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.13469

सारांश

यह पेपर परिमेय संख्या क्षेत्र Q पर विषम अभाज्य घात के चक्रीय विभाजन बीजगणित के अधिकतम क्रमों पर आव्यूहों को वर्गों और घनों के योग के रूप में प्रस्तुत करने की समस्या का अध्ययन करता है। यह ज्ञात है कि विभेदक शर्तों को संतुष्ट करते समय, बीजगणितीय संख्या क्षेत्रों के अधिकतम क्रमों पर n-क्रम आव्यूहों को k-वीं घातों के योग के रूप में प्रस्तुत किया जा सकता है। Wadikar और Katre ने सिद्ध किया है कि परिमेय चतुष्कोणीय विभाजन बीजगणित के अधिकतम क्रमों पर प्रत्येक 2-क्रम से अधिक आव्यूह को वर्गों और घनों के योग के रूप में प्रस्तुत किया जा सकता है। यह पेपर इस परिणाम को विषम अभाज्य घात के चक्रीय विभाजन बीजगणित तक विस्तारित करता है, और विशेष शर्तों के तहत सिद्ध करता है कि इन गैर-क्रमविनिमेय वलयों के अधिकतम क्रमों पर प्रत्येक 2-क्रम से अधिक आव्यूह को वर्गों और घनों के योग के रूप में प्रस्तुत किया जा सकता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. Waring समस्या का सामान्यीकरण: शास्त्रीय Waring समस्या धनात्मक पूर्णांकों को k-वीं घातों के योग के रूप में प्रस्तुत करने की समस्या का अध्ययन करती है। यह पेपर इस समस्या को गैर-क्रमविनिमेय वलयों पर आव्यूहों तक विस्तारित करता है।
  2. आव्यूह घात योग प्रतिनिधित्व सिद्धांत: यह अध्ययन करना कि आव्यूहों को अन्य आव्यूहों की k-वीं घातों के योग के रूप में प्रस्तुत किया जा सकता है या नहीं, यह बीजगणित में एक महत्वपूर्ण समस्या है, जो वलय सिद्धांत और आव्यूह सिद्धांत से निकटता से संबंधित है।
  3. चक्रीय विभाजन बीजगणित का महत्व: चक्रीय विभाजन बीजगणित गैर-क्रमविनिमेय बीजगणित की एक महत्वपूर्ण श्रेणी है, जिसका बीजगणितीय संख्या सिद्धांत, प्रतिनिधित्व सिद्धांत आदि क्षेत्रों में व्यापक अनुप्रयोग है।

अनुसंधान प्रेरणा

  1. सैद्धांतिक पूर्णता: परिमेय चतुष्कोणीय विभाजन बीजगणित से सामान्य विषम अभाज्य घात चक्रीय विभाजन बीजगणित तक सामान्यीकरण, संबंधित सैद्धांतिक प्रणाली को पूर्ण करना।
  2. तकनीकी चुनौतियाँ: गैर-क्रमविनिमेय वलयों की जटिलता प्रमाण तकनीकों को अधिक कठिन बनाती है, जिसमें गहन बीजगणितीय संख्या सिद्धांत ज्ञान की आवश्यकता होती है।
  3. अनुप्रयोग संभावनाएँ: संबंधित बीजगणितीय ज्यामिति, अंकगणितीय ज्यामिति समस्याओं के लिए सैद्धांतिक आधार प्रदान करना।

मूल योगदान

  1. मुख्य प्रमेय: विशेष शर्तों के तहत, विषम अभाज्य घात चक्रीय विभाजन बीजगणित के अधिकतम क्रमों पर आव्यूहों को वर्गों के योग (प्रमेय 4) और घनों के योग (प्रमेय 5) के रूप में प्रस्तुत किया जा सकता है, यह सिद्ध किया गया है।
  2. तकनीकी नवाचार: Gauss अवधि, चक्रीय संख्याएँ, अवधि बहुपद आदि उपकरणों का उपयोग, चक्रीय विभाजन बीजगणित के canonical जनन सिद्धांत के साथ संयोजन।
  3. शर्त विशेषीकरण: आव्यूहों के घात योग के रूप में प्रस्तुत करने के लिए पर्याप्त शर्तें स्पष्ट रूप से दी गई हैं, जिनमें σ और मानदंड पर सर्वांगसमता शर्तें शामिल हैं।
  4. प्रमाण विधि: गैर-क्रमविनिमेय वलयों पर आव्यूह घात योग समस्याओं को संभालने के लिए एक व्यवस्थित विधि विकसित की गई है।

विधि विवरण

सैद्धांतिक आधार

चक्रीय विभाजन बीजगणित का निर्माण

मान लीजिए n एक विषम अभाज्य है, p = hn + 1, g मॉड्यूलो p का एक आदिम मूल है, ξ p-वाँ आदिम एकता मूल है। Gauss अवधि को परिभाषित करें: η=r=0h1ξgnr\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}

चक्रीय विभाजन बीजगणित A का Q-आधार है: {uizk:i=0,1,,n1;k=1,2,,n}\{u^i z_k : i = 0,1,\ldots,n-1; k = 1,2,\ldots,n\}

संबंध को संतुष्ट करते हुए:

  • zu=uzSzu = uz^S (जहाँ S Galois समूह का जनक है)
  • un=σ0Qu^n = \sigma \neq 0 \in \mathbb{Q}

Canonical जनन

Ralph Hull के प्रमेय के अनुसार, अनंत रूप से कई परिमेय अभाज्य p मौजूद हैं जो संतुष्ट करते हैं:

  • p1(modn)p \equiv 1 \pmod{n} और σ के साथ सहअभाज्य
  • q1,q2,,qsq_1, q_2, \ldots, q_s मॉड्यूलो p के n-वें गैर-अवशेष हैं
  • σ मॉड्यूलो p का n-वाँ अवशेष है

मूल प्रमाण रणनीति

वर्गों के योग प्रतिनिधित्व (प्रमेय 4)

शर्तें:

  1. σ1(mod2)\sigma \equiv 1 \pmod{2}
  2. NQ(η)/Q(η)1(mod2)N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}

प्रमाण विचार:

  1. सभी आधार तत्वों {uiηSj}\{u^i \eta^{S^j}\} को T2T_2 में प्रमाणित करना (वर्गों के योग के रूप में प्रस्तुत किए जा सकने वाले तत्वों का समुच्चय)
  2. η=r=0h1ξgnr\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}} के गुणों का उपयोग, ξi\xi^i के वर्ग गुणों का विश्लेषण करके
  3. uu के लिए, un+1u(mod2)u^{n+1} \equiv u \pmod{2} का उपयोग (क्योंकि n विषम है)
  4. आगमनात्मक रूप से uiηSjT2u^i \eta^{S^j} \in T_2 को प्रमाणित करना

घनों के योग प्रतिनिधित्व (प्रमेय 5)

शर्तें:

  1. 3σ3 \nmid \sigma
  2. 3NQ(η)/Q(η)3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)

प्रमाण विचार:

  1. 3x(p+1)(modp)3x \equiv (p+1) \pmod{p} के हल का उपयोग, ξT3\xi \in T_3 प्राप्त करना
  2. n और 3 के संबंध के अनुसार स्थितियों में विभाजन:
    • यदि n=3k+2n = 3k+2: un+1u(mod3)u^{n+1} \equiv u \pmod{3} का उपयोग
    • यदि n=3k+1n = 3k+1: अधिक सूक्ष्म विश्लेषण की आवश्यकता
  3. आगमनात्मक रूप से सभी आधार तत्वों को T3T_3 में प्रमाणित करना

तकनीकी नवाचार बिंदु

गणितीय उपकरणों का समन्वित उपयोग

  1. Gauss अवधि सिद्धांत: अवधि बहुपद के गुणों और cyclotomic संख्याओं का उपयोग
  2. Galois सिद्धांत: चक्रीय विस्तार के स्वसमरूपता समूह संरचना का पूर्ण उपयोग
  3. सर्वांगसमता विश्लेषण: जटिल बीजगणितीय संबंधों को सरल करने के लिए मॉड्यूलर संचालन के माध्यम से

प्रमाण तकनीकें

  1. आधार आगमन विधि: सभी आधार तत्वों के गुणों को प्रमाणित करके सामान्य परिणाम स्थापित करना
  2. स्थिति विश्लेषण: n और 2, 3 के संबंध के अनुसार सूक्ष्म स्थिति विभाजन
  3. मानदंड गणना: Galois समूह क्रिया के तहत मानदंड गुणों का उपयोग

मुख्य परिणाम

प्रमेय 4 (वर्गों के योग प्रतिनिधित्व)

कथन: मान लीजिए A घात n, क्रम n² का एक परिमेय चक्रीय विभाजन बीजगणित है, जिसमें canonical जनन (σ, Z, S) है, m संबंधित अधिकतम क्रम है। यदि:

  1. σ1(mod2)\sigma \equiv 1 \pmod{2}
  2. NQ(η)/Q(η)1(mod2)N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}

तो Mn(m)M_n(m) में प्रत्येक आव्यूह को Mn(m)M_n(m) में आव्यूहों के वर्गों के योग के रूप में प्रस्तुत किया जा सकता है।

प्रमेय 5 (घनों के योग प्रतिनिधित्व)

कथन: समान सेटिंग में, यदि:

  1. 3σ3 \nmid \sigma
  2. 3NQ(η)/Q(η)3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)

तो Mn(m)M_n(m) में प्रत्येक आव्यूह को Mn(m)M_n(m) में आव्यूहों के घनों के योग के रूप में प्रस्तुत किया जा सकता है।

ठोस उदाहरण

पेपर n=3 के विस्तृत गणना प्रदान करता है:

  • p=7 के लिए, अवधि बहुपद P3(x)=x3+x22x1P_3(x) = x^3 + x^2 - 2x - 1 प्राप्त किया गया है
  • संबंधित शर्तों को सत्यापित किया गया है, ठोस चक्रीय विभाजन बीजगणित का निर्माण किया गया है

संबंधित कार्य

ऐतिहासिक विकास

  1. Griffin-Krusemeyer: क्रमविनिमेय वलयों पर आव्यूहों के वर्गों के योग प्रतिनिधित्व का सबसे पहले अध्ययन
  2. Katre-Garge: बीजगणितीय संख्या क्षेत्रों के मामले में सामान्यीकरण
  3. Wadikar-Katre: चतुष्कोणीय विभाजन बीजगणित के मामले को संभालना

इस पेपर का योगदान

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

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. उपयुक्त शर्तों के तहत, विषम अभाज्य घात चक्रीय विभाजन बीजगणित के अधिकतम क्रमों पर आव्यूहों को वर्गों और घनों के योग के रूप में प्रस्तुत किया जा सकता है
  2. शर्तें मुख्य रूप से जनन तत्व σ और Gauss अवधि मानदंड के सर्वांगसमता गुणों से संबंधित हैं
  3. प्रमाण विधि सामान्य है, अन्य मामलों में सामान्यीकृत की जा सकती है

सीमाएँ

  1. शर्त प्रतिबंध: विशेष सर्वांगसमता शर्तों को संतुष्ट करने की आवश्यकता है, सभी मामलों में लागू नहीं
  2. घात प्रतिबंध: केवल विषम अभाज्य घात के मामले को संभाला गया है
  3. खुली समस्याएँ: लेखक स्पष्ट रूप से बताते हैं कि शर्तों को संतुष्ट न करने पर समस्या खुली रहती है

भविष्य की दिशाएँ

  1. सर्वांगसमता शर्तों के प्रतिबंधों को हटाना
  2. सम घात या मिश्रित घात के मामलों तक सामान्यीकरण
  3. उच्च घातों के प्रतिनिधित्व समस्या का अध्ययन

गहन मूल्यांकन

शक्तियाँ

  1. सैद्धांतिक गहराई: बीजगणितीय संख्या सिद्धांत, Galois सिद्धांत, cyclotomic सिद्धांत आदि गहन गणितीय उपकरणों का समन्वित उपयोग
  2. प्रमाण कठोरता: पूर्ण प्रमाण दिया गया है, तर्क स्पष्ट है
  3. सामान्यीकरण महत्व: विशेष मामले से सामान्य मामले तक सामान्यीकरण, महत्वपूर्ण सैद्धांतिक मूल्य है
  4. तकनीकी नवाचार: गैर-क्रमविनिमेय वलयों पर आव्यूह घात योग समस्याओं को संभालने के लिए नई विधि विकसित की गई है

कमियाँ

  1. कठोर शर्तें: आवश्यक शर्तें काफी विशेष हैं, परिणामों की सार्वभौमिकता को सीमित करती हैं
  2. गणना जटिलता: व्यावहारिक रूप से शर्तों को सत्यापित करने के लिए जटिल संख्या सिद्धांत गणना की आवश्यकता होती है
  3. सीमित अनुप्रयोग: मुख्य रूप से सैद्धांतिक परिणाम, सीधे अनुप्रयोग परिदृश्य स्पष्ट नहीं हैं

प्रभाव

  1. सैद्धांतिक योगदान: गैर-क्रमविनिमेय बीजगणित में Waring-प्रकार समस्याओं के लिए नया दृष्टिकोण प्रदान करता है
  2. विधि मूल्य: प्रमाण तकनीकें अन्य संबंधित समस्याओं पर लागू की जा सकती हैं
  3. अनुवर्ती अनुसंधान: आगे के अनुसंधान के लिए आधार और दिशा प्रदान करता है

लागू परिदृश्य

  1. बीजगणितीय संख्या सिद्धांत अनुसंधान: संबंधित संख्या सिद्धांत समस्याओं के लिए उपकरण प्रदान करता है
  2. गैर-क्रमविनिमेय बीजगणित: गैर-क्रमविनिमेय वलय सिद्धांत की सामग्री को समृद्ध करता है
  3. सैद्धांतिक गणित: शुद्ध गणित सैद्धांतिक अनुसंधान

संदर्भ

पेपर 11 महत्वपूर्ण संदर्भों का हवाला देता है, जिनमें शामिल हैं:

  1. Dickson का cyclotomy शास्त्रीय कार्य
  2. Griffin-Krusemeyer का अग्रणी अनुसंधान
  3. Ralph Hull चक्रीय विभाजन बीजगणित अधिकतम क्रमों पर आधारभूत सिद्धांत
  4. लेखकों का संबंधित क्षेत्र में पूर्व कार्य

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