2025-11-19T19:34:14.311509

Hopf--Galois structures of cyclic type on parallel extensions of prime power degree

Darlington, Tsang
Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.
academic

প্রাইম পাওয়ার ডিগ্রির সমান্তরাল সম্প্রসারণে চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো

মৌলিক তথ্য

  • পেপার আইডি: 2510.14473
  • শিরোনাম: প্রাইম পাওয়ার ডিগ্রির সমান্তরাল সম্প্রসারণে চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো
  • লেখক: অ্যান্ড্রু ডার্লিংটন, সিন্ডি (সিন ইয়ি) সাং
  • শ্রেণীবিভাগ: math.GR (গ্রুপ তত্ত্ব), math.NT (সংখ্যা তত্ত্ব), math.RA (বলয় এবং বীজগণিত)
  • প্রকাশনার সময়: ২০২৫ সালের ১৬ অক্টোবর (arXiv প্রাক-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.14473

সারসংক্ষেপ

ধরুন L/KL/K একটি যেকোনো সীমিত বিচ্ছেদ্য সম্প্রসারণ, যার সাধারণ ক্লোজার L~/K\widetilde{L}/K। যদি L′L' হল L~/K\widetilde{L}/K এর একটি মধ্যবর্তী ক্ষেত্র এবং [L′:K]=[L:K][L':K]=[L:K], তাহলে সম্প্রসারণ L′/KL'/K কে L/KL/K এর সাথে সমান্তরাল বলা হয়। এই পেপারটি নিম্নলিখিত প্রশ্নটি অধ্যয়ন করে: যদি L/KL/K প্রকার NN এর হপফ-গ্যালোইস কাঠামো স্বীকার করে, তাহলে কি এটি অনুসরণ করে যে L/KL/K এর সাথে সমান্তরাল প্রতিটি সম্প্রসারণও প্রকার NN এর হপফ-গ্যালোইস কাঠামো স্বীকার করে? লেখকরা সম্পূর্ণভাবে এই সমস্যার সমাধান করেছেন যখন ডিগ্রি [L:K][L:K] একটি প্রাইম পাওয়ার এবং প্রকার NN একটি চক্রীয় গ্রুপ। পদ্ধতিটি গ্রুপ-তাত্ত্বিক, যা গ্রেইথার-পারেইগিস এবং বায়োটের কাজ ব্যবহার করে।

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

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

১. হপফ-গ্যালোইস তত্ত্ব: প্রাথমিকভাবে চেজ এবং সুইডলার দ্বারা বর্ণিত, যা বিশুদ্ধ অবিচ্ছেদ্য সম্প্রসারণ অধ্যয়নের জন্য ব্যবহৃত হয়েছিল, পরবর্তীতে বিচ্ছেদ্য সম্প্রসারণের জন্যও প্রযোজ্য বলে প্রমাণিত হয়েছে এবং গ্রেইথার-পারেইগিসের কাজের মাধ্যমে গ্রুপ-তাত্ত্বিক শ্রেণীবিভাগ অর্জন করেছে।

२. সমান্তরাল সম্প্রসারণ ধারণা: সীমিত বিচ্ছেদ্য সম্প্রসারণ L/KL/K এর জন্য, এর সমান্তরাল সম্প্রসারণ L′/KL'/K হল সাধারণ ক্লোজার L~/K\widetilde{L}/K এ LL এর সাথে একই ডিগ্রির মধ্যবর্তী ক্ষেত্র। এই ধারণাটি প্রতিসম নয়, কারণ LL অগত্যা L′L' এর সাধারণ ক্লোজারে অন্তর্ভুক্ত নয়।

३. মূল প্রশ্ন: সমান্তরাল সম্প্রসারণের মধ্যে হপফ-গ্যালোইস কাঠামোর স্থানান্তরযোগ্যতা অধ্যয়ন করা, অর্থাৎ যদি একটি সম্প্রসারণ একটি নির্দিষ্ট প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে, তাহলে এর সমান্তরাল সম্প্রসারণও একই প্রকারের কাঠামো স্বীকার করে কিনা।

গবেষণার প্রেরণা

१. তাত্ত্বিক সম্পূর্ণতা: যদিও প্রতিউদাহরণ বিদ্যমান, ম্যাগমা গণনা নির্দেশ করে যে উত্তর সাধারণত ইতিবাচক, বিশেষ করে যখন ডিগ্রি বর্গমুক্ত হয় তখন সর্বদা সত্য।

२. শ্রেণীবিভাগ সমস্যা: প্রকার NN নির্ধারণ করে, সমস্যা আরও পরিচালনাযোগ্য হয়ে ওঠে, বিশেষ করে প্রাইম পাওয়ার ডিগ্রি এবং চক্রীয় প্রকারের ক্ষেত্রে।

३. গ্রুপ-তাত্ত্বিক পদ্ধতি: বায়োটের সম্পূর্ণ গ্রুপ Hol(N)=N⋊Aut(N)\text{Hol}(N) = N \rtimes \text{Aut}(N) ব্যবহার করে পুনর্বিবৃত করা, সমস্যাটি স্থানান্তরকারী উপগ্রুপের বৈশিষ্ট্য অধ্যয়নে রূপান্তরিত করে।

মূল অবদান

१. বিজোড় প্রাইম পাওয়ার ক্ষেত্রের সম্পূর্ণ সমাধান: প্রমাণ করা হয়েছে যে বিজোড় প্রাইম পাওয়ার ডিগ্রির জন্য, সমান্তরাল সম্প্রসারণ চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে যদি এবং শুধুমাত্র যদি এটি মূল সম্প্রসারণের সাথে সংযুক্ত হয়।

२. জোড় প্রাইম পাওয়ার ক্ষেত্রের বৈশিষ্ট্য: জোড় প্রাইম পাওয়ার ডিগ্রির ক্ষেত্রে সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা হয়েছে, বিভিন্ন উপ-ক্ষেত্র বিভক্ত করে এবং নির্ভুল বিচার মানদণ্ড প্রদান করে।

३. গ্রুপ-তাত্ত্বিক বৈশিষ্ট্য: চক্রীয় গ্রুপ NN এর সম্পূর্ণ গ্রুপের স্থানান্তরকারী উপগ্রুপের সম্পূর্ণ বিশ্লেষণ প্রদান করা হয়েছে, বিশেষত ∣N∣|N| এর সূচক সহ উপগ্রুপের বৈশিষ্ট্য।

४. প্রযুক্তিগত উদ্ভাবন: সম্পূর্ণ গ্রুপে হল উপগ্রুপ পরিচালনার নতুন কৌশল বিকশিত করা হয়েছে, যা শুধুমাত্র বর্গমুক্ত ক্রম ক্ষেত্রে প্রযোজ্য পূর্ববর্তী ফলাফল সাধারণীকরণ করে।

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

চক্রীয় গ্রুপ NN এবং এর সম্পূর্ণ গ্রুপ Hol(N)\text{Hol}(N) এর একটি স্থানান্তরকারী উপগ্রুপ GG দেওয়া, GG এর যেকোনো সূচক ∣N∣|N| এর উপগ্রুপ HH এর জন্য, ভাগফল গ্রুপ G/CoreG(H)G/\text{Core}_G(H) কি Hol(N)\text{Hol}(N) এর কোনো স্থানান্তরকারী উপগ্রুপের সাথে সমরূপ এবং সেই সমরূপতার অধীনে H/CoreG(H)H/\text{Core}_G(H) স্থিতিশীলকারী গ্রুপে ম্যাপ করে কিনা তা নির্ধারণ করা।

মূল প্রযুক্তিগত কাঠামো

१. বায়োট সংযোগ

বায়োটের ফলাফল ব্যবহার করে, হপফ-গ্যালোইস কাঠামোর অস্তিত্ব সমতুল্য:

  • গ্রুপ GG Hol(N)\text{Hol}(N) এর একটি স্থানান্তরকারী উপগ্রুপের সাথে সমরূপ
  • সেই সমরূপতার অধীনে, G′G' স্থিতিশীলকারী StabT(1N)\text{Stab}_T(1_N) এ ম্যাপ করে

२. সম্পূর্ণ গ্রুপ কাঠামো বিশ্লেষণ

চক্রীয় গ্রুপ N=⟨σ⟩N = \langle \sigma \rangle এর ক্রম প্রাইম পাওয়ার pep^e এর জন্য:

  • যখন pp বিজোড় সংখ্যা: Aut(N)≅Cpe−1(p−1)\text{Aut}(N) \cong C_{p^{e-1}(p-1)}
  • যখন p=2p = 2: Aut(N)≅C2×C2e−2\text{Aut}(N) \cong C_2 \times C_{2^{e-2}}

३. উপাদান ক্রম সূত্র

[σu,φa]∈Hol(N)[\sigma^u, \varphi_a] \in \text{Hol}(N) এর জন্য, যেখানে a≡1(modp)a \equiv 1 \pmod{p}:

বিজোড় প্রাইম ক্ষেত্র: ∣[σu,φa]∣=max⁡{pe−vp(u),∣φa∣}|[\sigma^u, \varphi_a]| = \max\{p^{e-v_p(u)}, |\varphi_a|\}

জোড় প্রাইম ক্ষেত্র:

\max\{2^{e-v_2(u)}, |\varphi_a|\} & \text{যদি } a \equiv 1 \pmod{4} \\ \max\{2^{e-v_2(u)-v_2(\frac{a+1}{2})}, |\varphi_a|\} & \text{যদি } a \equiv 3 \pmod{4} \end{cases}$$ ### মূল লেম্মা এবং প্রযুক্তি #### হল উপগ্রুপ কৌশল যখন $\text{Hol}(N)$ একটি অনন্য হল $\pi$-উপগ্রুপ $Q$ ধারণ করে ($\pi$ হল $|N|$ এর প্রাইম ফ্যাক্টরের সেট): - স্থানান্তরকারী উপগ্রুপের হল $\pi$-উপগ্রুপ এখনও স্থানান্তরকারী - উপগ্রুপের সংযুক্তি তার হল $\pi$-উপগ্রুপের সংযুক্তির মাধ্যমে বিচার করা যায় #### কেন্দ্র এবং বিনিময়কারী বিশ্লেষণ অ-নিয়মিত স্থানান্তরকারী উপগ্রুপ $G$ এর জন্য: $$|Z(G)| \cdot |[G,G]| = 2^e$$ এই সমীকরণটি জোড় প্রাইম পাওয়ার ক্ষেত্রের বিশ্লেষণে মূল ভূমিকা পালন করে। ## প্রধান উপপাদ্য এবং ফলাফল ### উপপাদ্য १.४ (বিজোড় প্রাইম পাওয়ার ক্ষেত্র) ধরুন $L/K$ যেকোনো বিজোড় প্রাইম পাওয়ার ডিগ্রির সীমিত বিচ্ছেদ্য সম্প্রসারণ, যা চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে। যেকোনো সমান্তরাল সম্প্রসারণ $L'/K$ এর জন্য, নিম্নলিখিত সমতুল্য: १. $L'/K$ চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে २. $L'/K$ $L/K$ এর সাথে সংযুক্ত ### উপপাদ্য १.५ (জোড় প্রাইম পাওয়ার ক্ষেত্র) ধরুন $L/K$ জোড় প্রাইম পাওয়ার ডিগ্রির সীমিত বিচ্ছেদ্য সম্প্রসারণ, যা চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে। ধরুন $G$ সাধারণ ক্লোজারের গ্যালোইস গ্রুপ, তাহলে $|G| = 2^s[L:K]$ ও २ এর শক্তি, এবং: १. যদি $s = 1$ এবং $G$ এর $[L:K]$ ক্রমের উপাদান থাকে, তাহলে প্রতিটি সমান্তরাল সম্প্রসারণ চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে २. যদি $s = 1$ এবং $G$ এর $[L:K]$ ক্রমের উপাদান না থাকে, বা $s \geq 2$, তাহলে এমন একটি সাধারণ সমান্তরাল সম্প্রসারণ বিদ্যমান যা চক্রীয় প্রকারের হপফ-গ্যালোইস কাঠামো স্বীকার করে না ### উপপাদ্য १.६ (সম্পূর্ণ বৈশিষ্ট্য) চক্রীয় গ্রুপ $N$ এর ক্রম $2^e$ এবং $\text{Hol}(N)$ এর স্থানান্তরকারী উপগ্রুপ $G$ এর জন্য, উপগ্রুপ $H$ যা শর্ত পূরণ করে না তার সম্পূর্ণ বৈশিষ্ট্য প্রদান করা হয়েছে, চারটি নির্দিষ্ট ক্ষেত্র অন্তর্ভুক্ত করে: १. $|H \cap N| \geq 4$ २. $|H \cap N| = 2$ এবং $G$ এর $2^e$ ক্রমের উপাদান নেই ३. $|H \cap N| = 2$ এবং $H$ $G$ এ সাধারণ নয় ४. $|H \cap N| = 1$ এর বিশেষ ক্ষেত্র, নির্দিষ্ট গ্রুপ কাঠামো শর্ত জড়িত ## প্রমাণ প্রযুক্তির মূল বিষয় ### বিজোড় প্রাইম ক্ষেত্রের প্রমাণ কৌশল १. **হল উপগ্রুপে হ্রাস**: হল উপগ্রুপের অনন্যতা ব্যবহার করে, সমস্যা $p$-গ্রুপ ক্ষেত্রে হ্রাস করা २. **সংযুক্তি বিশ্লেষণ**: প্রমাণ করা যে শর্ত পূরণকারী উপগ্রুপ অবশ্যই স্থিতিশীলকারীর সাথে সংযুক্ত ३. **ক্রম মিলান**: স্থানান্তরকারী উপগ্রুপের অবশ্যই $p^e$ ক্রমের উপাদান থাকে এই তথ্য ব্যবহার করে ### জোড় প্রাইম ক্ষেত্রের প্রমাণ কৌশল १. **ক্ষেত্র শ্রেণীবিভাগ**: $|H \cap N|$ এর মান অনুযায়ী ক্ষেত্র আলোচনা २. **কেন্দ্রীয়করণকারী বিশ্লেষণ**: $|H \cap N| = 1$ ক্ষেত্রে, কেন্দ্রীয়করণকারীর ক্রম তুলনা করা ३. **সমরূপতা নির্মাণ**: সম্ভব ক্ষেত্রে প্রয়োজনীয় সমরূপতা স্পষ্টভাবে নির্মাণ করা ## সম্পর্কিত কাজ १. **গ্রেইথার-পারেইগিস শ্রেণীবিভাগ**: হপফ-গ্যালোইস কাঠামো এবং নিয়মিত উপগ্রুপের মধ্যে সংযোগ স্থাপন করা २. **বায়োট পুনর্বিবৃত**: সম্পূর্ণ গ্রুপের মাধ্যমে শ্রেণীবিভাগ সমস্যা সরলীকরণ করা ३. **পূর্ববর্তী কাজ**: লেখকরা পূর্বে বর্গমুক্ত ডিগ্রি ক্ষেত্রের ফলাফল প্রমাণ করেছেন ४. **গণনাগত যাচাইকরণ**: পরিচালিত ব্যাপক ম্যাগমা গণনা তাত্ত্বিক পূর্বাভাস সমর্থন করে ## সিদ্ধান্ত এবং আলোচনা ### প্রধান সিদ্ধান্ত १. **বিজোড়-জোড় পার্থক্য উল্লেখযোগ্য**: বিজোড় প্রাইম পাওয়ার এবং জোড় প্রাইম পাওয়ার ক্ষেত্র সম্পূর্ণভাবে ভিন্ন আচরণ করে, প্রথমটি প্রায় সর্বদা নেতিবাচক উত্তর, দ্বিতীয়টি আরও জটিল কাঠামো রয়েছে २. **সম্পূর্ণ শ্রেণীবিভাগ**: প্রাইম পাওয়ার ডিগ্রির চক্রীয় প্রকার ক্ষেত্রে, সম্পূর্ণ গ্রুপ-তাত্ত্বিক বৈশিষ্ট্য প্রদান করা হয়েছে ३. **প্রযুক্তিগত অগ্রগতি**: সম্পূর্ণ গ্রুপ পরিচালনার নতুন প্রযুক্তি বিকশিত করা হয়েছে, আরও গবেষণার ভিত্তি স্থাপন করে ### সীমাবদ্ধতা १. **চক্রীয় প্রকারে সীমাবদ্ধ**: ফলাফল শুধুমাত্র চক্রীয় গ্রুপ প্রকারের হপফ-গ্যালোইস কাঠামোতে প্রযোজ্য २. **প্রাইম পাওয়ার ডিগ্রি**: পদ্ধতি প্রাইম পাওয়ার ডিগ্রির বিশেষ বৈশিষ্ট্যের উপর অত্যন্ত নির্ভরশীল ३. **গণনাগত জটিলতা**: কিছু বিচার মানদণ্ড জটিল গ্রুপ-তাত্ত্বিক গণনা জড়িত ### ভবিষ্যত দিকনির্দেশনা १. **সাধারণ প্রাইম পাওয়ার প্রকার**: অ-চক্রীয় প্রাইম পাওয়ার ক্রম গ্রুপে সাধারণীকরণ করা २. **যৌগিক ডিগ্রি**: আরও সাধারণ ডিগ্রি ক্ষেত্র পরিচালনা করা ३. **অ্যালগরিদম বাস্তবায়ন**: নির্দিষ্ট সম্প্রসারণের হপফ-গ্যালোইস কাঠামো নির্ধারণের জন্য দক্ষ অ্যালগরিদম বিকাশ করা ## গভীর মূল্যায়ন ### সুবিধা १. **সমস্যার গুরুত্ব**: হপফ-গ্যালোইস তত্ত্বের মৌলিক সমস্যা সমাধান করা २. **পদ্ধতি উদ্ভাবন**: গ্রুপ তত্ত্ব, গ্যালোইস তত্ত্ব এবং হপফ বীজগণিত তত্ত্ব চতুরভাবে সংমিশ্রণ করা ३. **ফলাফল সম্পূর্ণতা**: বিবেচিত ক্ষেত্রের সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা ४. **প্রযুক্তিগত গভীরতা**: প্রমাণ গভীর গ্রুপ-তাত্ত্বিক কৌশল এবং সূক্ষ্ম গণনা জড়িত ### অপূর্ণতা १. **প্রযোজ্যতার সীমিত পরিসীমা**: ফলাফল নির্দিষ্ট ডিগ্রি এবং প্রকারে প্রযোজ্য २. **প্রমাণের জটিলতা**: কিছু ক্ষেত্রের বিশ্লেষণ অত্যন্ত প্রযুক্তিগত, সাধারণীকরণ কঠিন হতে পারে ३. **গণনা নির্ভরতা**: কিছু ফলাফল কম্পিউটার যাচাইকরণের উপর নির্ভর করে ### প্রভাব १. **তাত্ত্বিক অবদান**: হপফ-গ্যালোইস তত্ত্বে নতুন গভীর ফলাফল প্রদান করা २. **পদ্ধতির মূল্য**: বিকশিত প্রযুক্তি অন্যান্য সম্পর্কিত সমস্যায় প্রযোজ্য হতে পারে ३. **অনুপ্রেরণা তাৎপর্য**: সমান্তরাল সম্প্রসারণের মধ্যে হপফ-গ্যালোইস কাঠামোর জটিল সম্পর্ক প্রকাশ করা ### প্রয়োগের ক্ষেত্র १. **বীজগণিত সংখ্যা তত্ত্ব গবেষণা**: ক্ষেত্র সম্প্রসারণের গ্যালোইস মডিউল কাঠামো অধ্যয়নের জন্য সরঞ্জাম প্রদান করা २. **হপফ বীজগণিত তত্ত্ব**: হপফ-গ্যালোইস কাঠামোর শ্রেণীবিভাগ তত্ত্ব সমৃদ্ধ করা ३. **গণনামূলক বীজগণিত**: সম্পর্কিত গণনাগত সমস্যার জন্য তাত্ত্বিক ভিত্তি প্রদান করা ## সংদর্ভ পেপারটি ३२টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে: - চেজ এবং সুইডলারের যুগান্তকারী কাজ - গ্রেইথার এবং পারেইগিসের শ্রেণীবিভাগ উপপাদ্য - বায়োটের সম্পূর্ণ গ্রুপ পদ্ধতি - সম্পর্কিত গ্রুপ তত্ত্ব এবং বীজগণিত সংখ্যা তত্ত্ব সাহিত্য এই সাহিত্যগুলি এই গবেষণার দৃঢ় তাত্ত্বিক ভিত্তি গঠন করে, লেখকদের এই ক্ষেত্রের সাহিত্যের ব্যাপক আয়ত্ত প্রদর্শন করে।