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 (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর (arXiv প্রাক-প্রকাশনা)
  • প্রবন্ধের লিঙ্ক: https://arxiv.org/abs/2510.13469

সারসংক্ষেপ

এই প্রবন্ধটি মূলদ সংখ্যা ক্ষেত্র Q-এর উপর বিজোড় মৌলিক ঘাতের চক্রীয় বিভাজন বীজগণিতের সর্বোচ্চ ক্রমের উপর ম্যাট্রিক্সগুলি বর্গ এবং ঘনের সমষ্টি হিসাবে প্রতিনিধিত্ব করার সমস্যা অধ্যয়ন করে। এটি পরিচিত যে বিচক্ষণতা শর্ত পূরণ করার সময়, বীজগণিত সংখ্যা ক্ষেত্রের সর্বোচ্চ ক্রমের উপর n-ক্রম ম্যাট্রিক্সগুলি k-তম শক্তির সমষ্টি হিসাবে প্রতিনিধিত্ব করা যায়। Wadikar এবং Katre ইতিমধ্যে প্রমাণ করেছেন যে মূলদ চতুর্ভুজ বিভাজন বীজগণিতের সর্বোচ্চ ক্রমের উপর প্রতিটি ২-ক্রম ম্যাট্রিক্স বর্গ এবং ঘনের সমষ্টি হিসাবে প্রতিনিধিত্ব করা যায়। এই প্রবন্ধটি এই ফলাফলটি বিজোড় মৌলিক ঘাতের চক্রীয় বিভাজন বীজগণিতে সাধারণীকরণ করে এবং নির্দিষ্ট শর্তে প্রমাণ করে যে এই অ-বিনিময়ী বলয়ের সর্বোচ্চ ক্রমের প্রতিটি ২-ক্রম ম্যাট্রিক্স বর্গ এবং ঘনের সমষ্টি হিসাবে প্রতিনিধিত্ব করা যায়।

গবেষণার পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

  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-এর বর্গ বৈশিষ্ট্য বিশ্লেষণ করা
  3. u-এর জন্য, 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 তত্ত্ব: চক্রীয় সম্প্রসারণের automorphism গ্রুপ কাঠামো সম্পূর্ণভাবে ব্যবহার করা
  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. তাত্ত্বিক গণিত: বিশুদ্ধ গণিত তাত্ত্বিক গবেষণা

সংদর্ভ

প্রবন্ধটি ১১টি গুরুত্বপূর্ণ সংদর্ভ উদ্ধৃত করে, যার মধ্যে রয়েছে:

  1. Dickson-এর cyclotomy ধ্রুপদী কাজ
  2. Griffin-Krusemeyer-এর যুগান্তকারী গবেষণা
  3. Ralph Hull-এর চক্রীয় বিভাজন বীজগণিতের সর্বোচ্চ ক্রম সম্পর্কিত মৌলিক তত্ত্ব
  4. লেখকদের এই ক্ষেত্রে পূর্ববর্তী কাজ

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের সংখ্যা তাত্ত্বিক প্রবন্ধ, প্রযুক্তিগতভাবে উল্লেখযোগ্য উদ্ভাবন এবং তাত্ত্বিকভাবে গুরুত্বপূর্ণ সাধারণীকরণ সহ। যদিও ফলাফলের শর্তগুলি বেশ কঠোর, তবে এটি সম্পর্কিত ক্ষেত্রের বিকাশে গুরুত্বপূর্ণ অবদান রাখে। প্রবন্ধের প্রমাণ কৌশল পরিশীলিত এবং পরবর্তী গবেষণার জন্য ভিত্তি স্থাপন করে।