2025-11-12T13:13:10.450673

Loops with involution and the Cayley-Dickson doubling process

Chapman, Levin, Vishne et al.
We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.
academic

অন্তর্বলন সহ লুপ এবং ক্যালে-ডিকসন দ্বিগুণকরণ প্রক্রিয়া

মৌলিক তথ্য

  • পত্রিকা ID: 2501.00123
  • শিরোনাম: অন্তর্বলন সহ লুপ এবং ক্যালে-ডিকসন দ্বিগুণকরণ প্রক্রিয়া
  • লেখক: Adam Chapman, Ilan Levin, Uzi Vishne, Marco Zaninelli
  • শ্রেণীবিভাগ: math.CO (সমন্বয়বিদ্যা), math.RA (বলয় এবং বীজগণিত)
  • প্রকাশনার সময়: 2024 সালের 30 ডিসেম্বর arXiv-এ জমা দেওয়া হয়েছে
  • পত্রিকার লিঙ্ক: https://arxiv.org/abs/2501.00123

সারসংক্ষেপ

এই পত্রিকায় অন্তর্বলন সহ লুপ (loops with involution) তত্ত্ব বিকশিত করা হয়েছে। এর ভিত্তিতে, লেখকরা লুপের উপর ক্যালে-ডিকসন দ্বিগুণকরণ প্রক্রিয়া সংজ্ঞায়িত করেছেন এবং অন্তর্বলন সহ লুপের বৈচিত্র্যের জালক অধ্যয়ন করতে এটি ব্যবহার করেছেন, বিশেষ করে ক্যালে-ডিকসন দ্বিগুণকরণে সংরক্ষিত বৈশিষ্ট্যগুলিতে ফোকাস করেছেন। প্রাথমিক আবেলিয়ান 2-গ্রুপ ভাগফল সহ কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান লুপগুলি বিশেষভাবে অধ্যয়ন করা হয়েছে, পুনরাবৃত্ত ক্যালে-ডিকসন দ্বিগুণকরণের স্বতঃসমতা গ্রুপ চিহ্নিত করতে পারে এমন শর্তগুলি খুঁজে পেয়েছেন। মূল ফলাফল হল n>3n>3 এর জন্য ক্যালে-ডিকসন লুপ QnQ_n এর স্বতঃসমতা গ্রুপ GL3(F2)×{±1}n−3\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3} হওয়ার একটি সংশোধিত প্রমাণ প্রদান করা।

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

ঐতিহাসিক পটভূমি

অ-বিনিময়ী বীজগণিত এবং অ-সহযোগী বীজগণিত 1843 সালে জন্ম নিয়েছিল, দুই মাসের ব্যবধানে, যখন হ্যামিল্টন এবং গ্রেভস যথাক্রমে চতুর্ভুজ এবং অক্টোনিয়ন আবিষ্কার করেছিলেন। হ্যামিল্টন দ্বারা উদ্ভাবিত মাত্রা দ্বিগুণকরণের প্রক্রিয়া বারবার প্রয়োগ করা যেতে পারে, যা 2n2^n মাত্রার সহজ অ-সহযোগী বীজগণিতের একটি ক্রম তৈরি করে।

সমস্যার প্রেরণা

  1. বীজগণিত কাঠামো সমস্যা: ক্যালে-ডিকসন বীজগণিতের উচ্চতর ক্রমে, কেন A3A_3 A4A_4-এ বৈশিষ্ট্যযুক্ত, কিন্তু A2A_2 A3A_3-এ বৈশিষ্ট্যযুক্ত নয়?
  2. লুপ তত্ত্বের সংশ্লিষ্টতা: এই সমস্যার লুপ তত্ত্বে সংশ্লিষ্টতা অন্বেষণ করা, শাস্ত্রীয় ক্যালে-ডিকসন বীজগণিত AnA_n এর মান ভিত্তি উপাদান এবং তাদের নেতিবাচক দ্বারা গঠিত লুপ QnQ_n অধ্যয়ন করা।
  3. প্রমাণ সংশোধন: সাহিত্য 16-এ Aut(Qn)=Aut(Qn−1)×{±1}\text{Aut}(Q_n) = \text{Aut}(Q_{n-1}) \times \{\pm 1\} সম্পর্কে প্রমাণে ত্রুটিপূর্ণ বিবৃতি রয়েছে, সঠিক প্রমাণ প্রদান করা প্রয়োজন।
  4. সাধারণীকরণ বোঝা: পুনরাবৃত্ত ক্যালে-ডিকসন দ্বিগুণকরণের স্বতঃসমতা গ্রুপ গণনা করার জন্য আরও সাধারণ কাঠামো খোঁজা।

মূল অবদান

  1. অন্তর্বলন সহ লুপের মৌলিক তত্ত্ব প্রতিষ্ঠা: অন্তর্বলন সহ লুপের পদ্ধতিগত তত্ত্ব বিকশিত করা, কেন্দ্রীয় অন্তর্বলন এবং স্বাভাবিক অন্তর্বলনের মতো বিশেষ ধরনের সংজ্ঞা দেওয়া।
  2. লুপের উপর ক্যালে-ডিকসন দ্বিগুণকরণ সংজ্ঞায়িত করা: শাস্ত্রীয় ক্যালে-ডিকসন নির্মাণকে যেকোনো অন্তর্বলন সহ লুপে সাধারণীকরণ করা।
  3. বৈচিত্র্যের জালক কাঠামো অধ্যয়ন করা: অন্তর্বলন সহ লুপের বৈচিত্র্যের জালক অধ্যয়ন করতে "ডেরিভেটিভ" ধারণা প্রবর্তন করা, দ্বিগুণকরণ প্রক্রিয়ায় বন্ধ "নিখুঁত" বৈচিত্র্য খুঁজে পাওয়া।
  4. মাউফাং দ্বিগুণকরণ শর্ত চিহ্নিত করা: ক্যালে-ডিকসন দ্বিগুণকরণকে মাউফাং লুপ করার শর্ত নির্ধারণ করা।
  5. স্বতঃসমতা গ্রুপ গণনা সংশোধন করা: Aut(Qn)=GL3(F2)×{±1}n−3\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3} (n>3n>3 এর জন্য) এর সঠিক প্রমাণ প্রদান করা।
  6. সাধারণীকৃত স্বতঃসমতা গ্রুপ তত্ত্ব: নির্দিষ্ট শর্তের অধীনে পুনরাবৃত্ত দ্বিগুণকরণের স্বতঃসমতা গ্রুপ চিহ্নিত করার একটি সাধারণ কাঠামো প্রতিষ্ঠা করা।

পদ্ধতির বিস্তারিত ব্যাখ্যা

মৌলিক ধারণার সংজ্ঞা

লুপের মৌলিক কাঠামো

লুপ LL হল একটি দ্বিমুখী ক্রিয়াকলাপ সহ একটি সেট, একটি একক উপাদান বিদ্যমান, এবং যেকোনো উপাদানের বাম এবং ডান গুণন বিপরীত। নিউক্লিয়াস N(L)N(L), বিনিময় কেন্দ্র K(L)K(L) এবং কেন্দ্র Z(L)=K(L)∩N(L)Z(L) = K(L) \cap N(L) গুরুত্বপূর্ণ উপ-কাঠামো।

অন্তর্বলনের শ্রেণীবিভাগ

এই পত্রিকায় দুটি বিশেষ অন্তর্বলন সংজ্ঞায়িত করা হয়েছে:

  1. কেন্দ্রীয় অন্তর্বলন: অন্তর্বলন ∗* কেন্দ্রীয়, যদি প্রতিটি a∈La \in L এর জন্য μ(a)∈Z(L)\mu(a) \in Z(L) বিদ্যমান থাকে যেমন a∗=μ(a)aa^* = \mu(a)a।
  2. স্বাভাবিক অন্তর্বলন: অন্তর্বলন ∗* স্বাভাবিক, যদি ν(x)=x∗x∈Z(L)\nu(x) = x^*x \in Z(L) সকল x∈Lx \in L এর জন্য সত্য হয়।

অতি-কেন্দ্রীয় অন্তর্বলন

কেন্দ্রীয় অন্তর্বলন ∗* অতি-কেন্দ্রীয়, যদি এটি সকল aa এর জন্য μ(a)∗=μ(a)\mu(a)^* = \mu(a) সন্তুষ্ট করে, যা μ(a)2=1\mu(a)^2 = 1 এর সমতুল্য।

ক্যালে-ডিকসন দ্বিগুণকরণ নির্মাণ

অন্তর্বলন সহ লুপ (L,∗)(L, *) এবং কেন্দ্রীয় উপাদান γ\gamma এর জন্য, ক্যালে-ডিকসন দ্বিগুণকরণ D(L,∗,γ)=L∪LjD(L, *, \gamma) = L \cup Lj এর গুণন সংজ্ঞায়িত করা হয়:

a(bj) = (ba)j                    (4.1)
(aj)b = (ab*)j                   (4.2)  
(aj)(bj) = γb*a                  (4.3)

অন্তর্বলনের সম্প্রসারণ সংজ্ঞায়িত করা হয় (aj)∗=(εa)j(aj)^* = (εa)j হিসাবে, যেখানে εε হল একটি কেন্দ্রীয় উপাদান যা ε2=1ε^2 = 1 এবং (εγ)∗=εγ(εγ)^* = εγ সন্তুষ্ট করে।

কেন্দ্রের গণনা

উপপাদ্য: ধরুন M=D(L,∗,γ)M = D(L, *, γ) হল ক্যালে-ডিকসন দ্বিগুণকরণ। তাহলে:

  • যদি ∗* অ-পরিচয় অন্তর্বলন হয়, তাহলে Z(M)=Z(L,∗)Z(M) = Z(L, *) (প্রতিসম কেন্দ্রীয় উপাদান)
  • যদি ∗* পরিচয় অন্তর্বলন হয়, তাহলে Z(M)=D(Z(L),γ)Z(M) = D(Z(L), γ)

কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান সম্পত্তির স্থানান্তর

উপপাদ্য 6.8: ধরুন LL হল অন্তর্বলন ∗* সহ কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান লুপ, M=D(L,∗,γ)M = D(L, *, γ)। তাহলে:

MM কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান যদি এবং শুধুমাত্র যদি:

  • LL কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান হয়
  • [L,L,L]⊆Z(L,∗)[L, L, L] \subseteq Z(L, *)
  • ∗* LL এ অতি-কেন্দ্রীয় হয়

বৈচিত্র্যের ডেরিভেটিভ তত্ত্ব

বৈচিত্র্য VV এর ডেরিভেটিভ V′V' সংজ্ঞায়িত করা হয় সকল লুপ (L,∗)(L, *) এর বৈচিত্র্য হিসাবে যেমন D(L,∗,1,1)∈VD(L, *, 1, 1) \in V।

নিখুঁত বৈচিত্র্য: V′=VV' = V সন্তুষ্ট করে এমন বৈচিত্র্যকে নিখুঁত বলা হয়, এই বৈচিত্র্যগুলি দ্বিগুণকরণ প্রক্রিয়ায় বন্ধ।

মাউফাং দ্বিগুণকরণের চিহ্নিতকরণ

উপপাদ্য 10.1: D(L,∗,γ)D(L, *, γ) মাউফাং লুপ যদি এবং শুধুমাত্র যদি:

  1. LL মাউফাং লুপ হয়
  2. [a,cc∗]=1[a, cc^*] = 1 সকল a,c∈La, c \in L এর জন্য
  3. [c,c∗]=1[c, c^*] = 1 সকল cc এর জন্য
  4. [a,c,c∗]=1[a, c, c^*] = 1 সকল a,ca, c এর জন্য
  5. প্রতিটি cc∗ccc^*c নিউক্লিয়াসে থাকে

পরীক্ষামূলক সেটআপ

গবেষণার বিষয়

এই পত্রিকায় প্রধানত নিম্নলিখিত ধরনের লুপ অধ্যয়ন করা হয়েছে:

  1. শাস্ত্রীয় ক্যালে-ডিকসন লুপ: QnQ_n শাস্ত্রীয় ক্যালে-ডিকসন বীজগণিত AnA_n এর মান ভিত্তি উপাদান দ্বারা গঠিত
  2. সাধারণীকৃত নির্মাণ: (γ0,...,γn−1)ℓ(γ_0, ..., γ_{n-1})^ℓ স্কেলার γiγ_i দিয়ে করা পুনরাবৃত্ত দ্বিগুণকরণ নির্দেশ করে
  3. গ্রহণযোগ্য লুপ: T∈ZA∩E2∩S∗∩DT \in ZA \cap E^2 \cap S^* \cap D এবং K(T)=Z(T,∗)K(T) = Z(T, *) সন্তুষ্ট করে এমন লুপ

প্রযুক্তিগত শর্তাবলী

  • ZA: কেন্দ্রীয় সম্প্রসারণ আবেলিয়ান লুপের বৈচিত্র্য
  • E²: প্রতিটি x2x^2 কেন্দ্রীয় এমন লুপের বৈচিত্র্য
  • S*: কেন্দ্রীয় অন্তর্বলন সহ লুপের বৈচিত্র্য
  • D: দ্বি-সহযোগী লুপের বৈচিত্র্য

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উপপাদ্য 15.6 (প্রধান ফলাফল): ধরুন TT প্রতিসম এবং প্রতি-বিনিময়ী একটি গ্রহণযোগ্য লুপ, কিন্তু আবেলিয়ান গ্রুপ নয়। ধরুন n≥2n \geq 2, M=Dn(L,∗;γ0,...,γn−1;ε0,...,εn−1)M = D^n(L, *; γ_0, ..., γ_{n-1}; ε_0, ..., ε_{n-1})। তাহলে:

Aut(M)⊆Aut(T1,∗)⋉Zn−1\text{Aut}(M) \subseteq \text{Aut}(T_1, *) \ltimes Z^{n-1}

যেখানে T1=D(T,∗,γ0,ε0)T_1 = D(T, *, γ_0, ε_0)।

শাস্ত্রীয় ক্ষেত্রের প্রয়োগ

অনুসিদ্ধান্ত 15.7: যেকোনো n≥3n \geq 3 এর জন্য: Aut(Qn)=Aut(Q3,∗)×{±1}n−3\text{Aut}(Q_n) = \text{Aut}(Q_3, *) \times \{\pm 1\}^{n-3}

যেহেতু Aut(Q3)≅GL3(F2)\text{Aut}(Q_3) \cong \text{GL}_3(\mathbb{F}_2), আমরা পাই: Aut(Qn)=GL3(F2)×{±1}n−3\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}

সাধারণ ক্যালে-ডিকসন বীজগণিত

অনুসিদ্ধান্ত 15.8: যেকোনো n≥3n \geq 3 এবং সংজ্ঞায়িত স্কেলার γ0,...,γn−1∈F×γ_0, ..., γ_{n-1} \in F^× এর জন্য: AutF((γ0,...,γn−1)ℓ)=AutF((γ0,γ1,γ2)ℓ,∗)×{±1}n−3\text{Aut}_F((γ_0, ..., γ_{n-1})^ℓ) = \text{Aut}_F((γ_0, γ_1, γ_2)^ℓ, *) \times \{\pm 1\}^{n-3}

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

  1. বৈশিষ্ট্যযুক্ত উপ-লুপ উপপাদ্য (উপপাদ্য 15.1): উপযুক্ত শর্তে, L=D(T)L = D(T) তার দ্বিগুণকরণ M=D(L)M = D(L) এর একটি বৈশিষ্ট্যযুক্ত উপ-লুপ।
  2. স্থানীয় মাউফাং সম্পত্তি: গ্রহণযোগ্য দ্বি-সহযোগী লুপে, উৎপাদক jj স্থানীয়ভাবে মাউফাং।
  3. মাত্রা বৃদ্ধি: L∈ZA0∩E2∩S0∗L \in ZA^0 \cap E^2 \cap S^*_0 এর জন্য, dim⁡(M)≥dim⁡(L)\dim(M) \geq \dim(L), সমতা যদি এবং শুধুমাত্র যদি LL এর উপর অন্তর্বলন পরিচয় হয়।

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

  • Albert 1: লক্ষ্য করেছেন যে হ্যামিল্টনের প্রক্রিয়া বারবার প্রয়োগ করা যায়
  • Schafer 21: উচ্চতর ক্যালে-ডিকসন বীজগণিতের স্বতঃসমতা গ্রুপ গণনা করেছেন
  • Chein 5,6: মাউফাং লুপের ক্যালে-ডিকসন নির্মাণ পদ্ধতিগতভাবে অধ্যয়ন করেছেন

লুপ তত্ত্বের পটভূমি

  • Bruck 3: লুপ তত্ত্বের শাস্ত্রীয় রেফারেন্স
  • Pflugfelder 19: কোয়াসিগ্রুপ এবং লুপের পরিচয়
  • Evans 12: লুপ বৈচিত্র্যের জালকের সমীক্ষা

সম্পর্কিত নির্মাণ

  • Kowalski 18: প্রমাণ করেছেন যে দ্বি-সহযোগী লুপের বৈচিত্র্য সীমিতভাবে ভিত্তিক নয়
  • Chein-Goodaire 7,8: বিশেষ বিনিময়কারী এবং সহযোগীকারী সহ মাউফাং লুপ অধ্যয়ন করেছেন

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. তাত্ত্বিক কাঠামো: অন্তর্বলন সহ লুপের পদ্ধতিগত তত্ত্ব প্রতিষ্ঠা করা, ক্যালে-ডিকসন দ্বিগুণকরণ অধ্যয়নের জন্য একটি একীভূত কাঠামো প্রদান করা।
  2. স্বতঃসমতা গ্রুপ চিহ্নিতকরণ: উপযুক্ত শর্তে পুনরাবৃত্ত দ্বিগুণকরণের স্বতঃসমতা গ্রুপ সম্পূর্ণভাবে চিহ্নিত করা, শাস্ত্রীয় সমস্যা সমাধান করা এবং সাহিত্যে ত্রুটি সংশোধন করা।
  3. বৈচিত্র্য তত্ত্ব: অন্তর্বলন সহ লুপ বৈচিত্র্যের ডেরিভেটিভ তত্ত্ব বিকশিত করা, একাধিক নিখুঁত বৈচিত্র্য আবিষ্কার করা।
  4. মাউফাং সম্পত্তি: দ্বিগুণকরণকে মাউফাং লুপ করার শর্ত সম্পূর্ণভাবে চিহ্নিত করা।

সীমাবদ্ধতা

  1. প্রযুক্তিগত শর্ত: প্রধান ফলাফল লুপকে একাধিক প্রযুক্তিগত শর্ত সন্তুষ্ট করতে প্রয়োজন (গ্রহণযোগ্য, প্রতিসম, প্রতি-বিনিময়ী ইত্যাদি)।
  2. মাত্রা সীমাবদ্ধতা: মাত্রা 3 এর চেয়ে ছোট ক্ষেত্রে, কিছু ফলাফল প্রযোজ্য নয়।
  3. বৈশিষ্ট্য সীমাবদ্ধতা: প্রধান ফলাফল বৈশিষ্ট্য 2 নয় এমন অনুমান করে।

ভবিষ্যত দিকনির্দেশনা

  1. অন্যান্য বীজগণিত কাঠামোতে সম্প্রসারণ: তত্ত্বকে অন্যান্য অ-সহযোগী বীজগণিতে প্রসারিত করা।
  2. গণনামূলক জটিলতা: স্বতঃসমতা গ্রুপ গণনার জটিলতা অধ্যয়ন করা।
  3. প্রয়োগ: কোডিং তত্ত্ব, ক্রিপ্টোগ্রাফি ইত্যাদি ক্ষেত্রে প্রয়োগ অন্বেষণ করা।

গভীর মূল্যায়ন

সুবিধা

  1. তাত্ত্বিক গভীরতা: অন্তর্বলন সহ লুপের গভীর তত্ত্ব প্রতিষ্ঠা করা, ধারণা স্পষ্ট, কাঠামো সম্পূর্ণ।
  2. প্রযুক্তিগত উদ্ভাবন: কেন্দ্রীয় অন্তর্বলন, অতি-কেন্দ্রীয় অন্তর্বলন ইত্যাদি নতুন ধারণা প্রবর্তন করা, লুপ তত্ত্ব সমৃদ্ধ করা।
  3. সমস্যা সমাধান: সাহিত্যে ত্রুটিপূর্ণ প্রমাণ সংশোধন করা, সম্পূর্ণ সঠিক যুক্তি প্রদান করা।
  4. পদ্ধতিগত: মৌলিক ধারণা থেকে প্রয়োগ পর্যন্ত একটি সম্পূর্ণ তাত্ত্বিক ব্যবস্থা গঠন করা।
  5. সাধারণতা: ফলাফল লুপের বিস্তৃত শ্রেণীতে প্রযোজ্য, শুধুমাত্র শাস্ত্রীয় ক্ষেত্রে সীমাবদ্ধ নয়।

অপূর্ণতা

  1. প্রযুক্তিগত প্রবেশদ্বার: বিস্তৃত বিশেষায়িত পটভূমি জ্ঞান প্রয়োজন, অ-বিশেষজ্ঞ পাঠকদের জন্য যথেষ্ট বন্ধুত্বপূর্ণ নয়।
  2. সীমিত প্রয়োগ: প্রধানত তাত্ত্বিক ফলাফল, ব্যবহারিক প্রয়োগের দৃশ্যকল্প যথেষ্ট স্পষ্ট নয়।
  3. গণনামূলক জটিলতা: কিছু শর্তের যাচাইকরণ ব্যবহারিকভাবে কঠিন হতে পারে।

প্রভাব

  1. তাত্ত্বিক অবদান: অ-সহযোগী বীজগণিত তত্ত্বে গুরুত্বপূর্ণ অবদান, সম্পর্কিত ক্ষেত্রের উন্নয়নকে প্রভাবিত করতে পারে।
  2. পদ্ধতিবিদ্যা: প্রদত্ত প্রযুক্তিগত পদ্ধতি অন্যান্য বীজগণিত কাঠামো অধ্যয়নে প্রযোজ্য হতে পারে।
  3. পরবর্তী গবেষণা: ক্যালে-ডিকসন নির্মাণ এবং সম্পর্কিত সমস্যার আরও গবেষণার ভিত্তি স্থাপন করা।

প্রযোজ্য দৃশ্যকল্প

  1. বীজগণিত জ্যামিতি: অ-সহযোগী বীজগণিতের জ্যামিতিক সম্পত্তি অধ্যয়নে উপযোগী।
  2. প্রতিনিধিত্ব তত্ত্ব: সম্পর্কিত বীজগণিত কাঠামোর প্রতিনিধিত্ব অধ্যয়নে সম্ভাব্য প্রয়োগ।
  3. তাত্ত্বিক পদার্থবিজ্ঞান: কিছু পদার্থবিজ্ঞান মডেলে সম্ভাব্য প্রয়োগ মূল্য।

সংদর্ভ

পত্রিকায় 39টি সম্পর্কিত সংদর্ভ উদ্ধৃত করা হয়েছে, যা লুপ তত্ত্ব, অ-সহযোগী বীজগণিত, ক্যালে-ডিকসন নির্মাণ এবং অন্যান্য একাধিক ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, গবেষণার ব্যাপকতা এবং গভীরতা প্রতিফলিত করে।