সম্প্রসারিত সহযোগী অর্ধগ্রুপ সম্পর্কে

মৌলিক তথ্য

• পত্র ID: 2105.01326
• শিরোনাম: সম্প্রসারিত সহযোগী অর্ধগ্রুপ সম্পর্কে
• লেখক: Loïc Foissy (Université Littoral Côte d'Opale)
• শ্রেণীবিভাগ: math.RA (বীজগণিত)
• প্রকাশিত জার্নাল: Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 21 (2025), 092
• পত্র লিঙ্ক: https://arxiv.org/abs/2105.01326
• DOI: https://doi.org/10.3842/SIGMA.2025.092

সারসংক্ষেপ

এই পত্রটি সম্প্রসারিত সহযোগী অর্ধগ্রুপ (Extended Associative Semigroups, EAS) নামক বীজগণিত কাঠামোর গভীর অধ্যয়ন করে, যা সহযোগী বীজগণিত অপারেটরের সাধারণীকরণ সংজ্ঞায়িত করতে ব্যবহৃত হয়। নিবন্ধটি বিশেষভাবে বিনিময়যোগ্য সম্প্রসারিত দ্বি-সহযোগী অর্ধগ্রুপ (Commutative Extended Diassociative Semigroups, CEDS) এর উপ-শ্রেণীতে মনোনিবেশ করে, যা প্রাক-লাই বীজগণিত অপারেটরের সাধারণীকরণ সংজ্ঞায়িত করতে ব্যবহৃত হয়। প্রধান ফলাফলগুলির মধ্যে রয়েছে: (1) অর্ধগ্রুপ এবং গ্রুপ থেকে নির্মিত একাধিক EAS পরিবারের উদাহরণ; (2) ভিত্তি সংখ্যা 2 এর EAS এর সম্পূর্ণ শ্রেণীবিভাগ; (3) রৈখিক সম্প্রসারিত সহযোগী অর্ধগ্রুপ (ℓEAS) সংজ্ঞায়িত করা যা বেণী সমীকরণের বৈকল্পিক সন্তুষ্ট করে; (4) ℓEAS এবং দ্বি-বীজগণিত, Hopf বীজগণিতের মধ্যে সংযোগ অন্বেষণ করা; (5) অ-অবক্ষয়ী সীমিত CEDS এর কাঠামো অধ্যয়ন করা, প্রমাণ করা যে সেগুলি দুটি গ্রুপের অর্ধ-সরাসরি গুণফল এবং সরাসরি গুণফলের মাধ্যমে পাওয়া যায়।

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

গবেষণা সমস্যা

এই পত্রের মূল গবেষণা সমস্যা হল প্যারামিটারযুক্ত বীজগণিত কাঠামো কীভাবে সিস্টেমেটিকভাবে বোঝা এবং শ্রেণীবিভাগ করা যায়। কোয়ান্টাম ক্ষেত্র তত্ত্ব এবং স্টোকাস্টিক আংশিক অবকল সমীকরণের নিয়মিত কাঠামো তত্ত্বে, গবেষকদের একটি একক অপারেশনের পরিবর্তে কিছু সেট Ω দ্বারা সূচীকৃত একটি পরিবার দ্বারা অপারেশনগুলি প্রতিস্থাপন করতে হয় এবং Ω-এ কাঠামোর মাধ্যমে এই বীজগণিত কাঠামোগুলি সংজ্ঞায়িত করার স্বতঃসিদ্ধগুলি বিকৃত করতে হয়।

গুরুত্ব

1. তাত্ত্বিক একীকরণ: বিভিন্ন প্যারামিটারযুক্ত স্কিম (পরিবার প্যারামিটারকরণ এবং মিলান প্যারামিটারকরণ) সাহিত্যে স্বাধীনভাবে উপস্থিত হয়েছে, তাদের মধ্যে সম্পর্ক বোঝার জন্য একটি একীভূত কাঠামোর প্রয়োজন
2. প্রয়োগ চালিত: Bruned, Hairer এবং Zambotti স্টোকাস্টিক আংশিক অবকল সমীকরণ সমাধানের নিয়মিত কাঠামো কাজে মিলান প্যারামিটারকরণ প্রাক-লাই বীজগণিত প্রবর্তন করেছেন, যা বাস্তব প্রয়োগের চাহিদা প্রদর্শন করে
3. অপারেটর তত্ত্ব: EAS সহযোগী বীজগণিত অপারেটরের সাধারণীকরণ অধ্যয়নের জন্য একটি প্রাকৃতিক কাঠামো প্রদান করে

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

• পদ্ধতিগত শ্রেণীবিভাগের অভাব: বিদ্যমান কাজ বিভিন্ন প্যারামিটারযুক্ত বীজগণিত কাঠামোর উদাহরণ প্রদান করেছে, কিন্তু পদ্ধতিগত শ্রেণীবিভাগ এবং কাঠামো উপপাদ্যের অভাব রয়েছে
• রৈখিক করণ অসম্পূর্ণ: যদিও অ-রৈখিক EAS তত্ত্ব রয়েছে, তবে এর রৈখিক সংস্করণ এবং শাস্ত্রীয় বীজগণিত কাঠামোর সাথে সম্পর্ক (যেমন দ্বি-বীজগণিত, Hopf বীজগণিত) এখনও সম্পূর্ণভাবে অন্বেষণ করা হয়নি
• কাঠামো বোঝার অভাব: অ-অবক্ষয়ী CEDS এর অভ্যন্তরীণ কাঠামোর প্রতি গভীর বোঝাপড়ার অভাব রয়েছে

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

এই পত্রটি EAS এর একটি পদ্ধতিগত তত্ত্ব স্থাপন করার লক্ষ্য রাখে, যার মধ্যে রয়েছে:

1. সমৃদ্ধ উদাহরণ এবং ছোট ভিত্তি সংখ্যার সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা
2. রৈখিক সংস্করণ বিকাশ এবং দ্বি-বীজগণিত তত্ত্বের সাথে সেতু স্থাপন করা
3. সীমিত অ-অবক্ষয়ী CEDS এর কাঠামো বিয়োজন উপপাদ্য প্রদান করা

মূল অবদান

1. সম্পূর্ণ শ্রেণীবিভাগ: ভিত্তি সংখ্যা 2 এর EAS এর সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা হয়েছে, মোট 13 টি অ-সমরূপী উদাহরণ সহ, যার মধ্যে 11 টি হল CEDS, 7 টি হল দ্বৈত CEDS, এবং 3 টি হল অ-অবক্ষয়ী
2. কাঠামো উপপাদ্য: প্রমাণ করা হয়েছে যে যেকোনো সীমিত অ-অবক্ষয়ী CEDS ফর্মে বিয়োজিত হতে পারে $(EAS(\Omega_1,*) \rtimes_{\rhd} EAS'(\Omega_2,\star)) \times EAS(\Omega_3)$, যেখানে $(\Omega_1,*)$ একটি বিনিময়যোগ্য গ্রুপ, $(\Omega_2,\star)$ একটি গ্রুপ, এবং $\Omega_3$ একটি অ-খালি সেট (উপপাদ্য 3.16)
3. রৈখিক করণ তত্ত্ব: রৈখিক সম্প্রসারিত সহযোগী অর্ধগ্রুপ (ℓEAS) এর ধারণা প্রবর্তন করা হয়েছে, যা বেণী সমীকরণের বৈকল্পিক সন্তুষ্ট করে এমন রৈখিক ম্যাপিং হিসাবে, এবং 18 টি দ্বি-মাত্রিক উদাহরণ প্রদান করা হয়েছে
4. দ্বি-বীজগণিতের সাথে সংযোগ:
   • দ্বি-বীজগণিত বিভাগ থেকে ℓEAS বিভাগে একটি ফাংটর নির্মাণ করা হয়েছে (প্রস্তাব 5.1)
   • Hopf বীজগণিত বিভাগ থেকে ℓEAS বিভাগে একটি ফাংটর নির্মাণ করা হয়েছে (প্রস্তাব 5.10)
   • প্রমাণ করা হয়েছে যে উপযুক্ত শর্তে, বাম একক এবং বাম সহ-একক থেকে দ্বি-বীজগণিত কাঠামো নির্মাণ করা যায় (উপপাদ্য 5.17)
5. বিশেষ ভেক্টর তত্ত্ব: ℓEAS এর বাম একক, বাম সহ-একক এবং বৈশিষ্ট্য ভেক্টর সিস্টেমেটিকভাবে অধ্যয়ন করা হয়েছে, বিশেষত অ-অবক্ষয়ী CEDS এর রৈখিক করণের জন্য সম্পূর্ণ চিহ্নিতকরণ প্রদান করা হয়েছে (প্রস্তাব 4.10)

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

কাজের সংজ্ঞা

সম্প্রসারিত সহযোগী অর্ধগ্রুপ (EAS) একটি ত্রিগুণ $(\Omega, \to, \triangleright)$, যেখানে $\Omega$ একটি অ-খালি সেট, $\to, \triangleright: \Omega^2 \to \Omega$ ম্যাপিং, যা সন্তুষ্ট করে:

যেকোনো $\alpha, \beta, \gamma \in \Omega$ এর জন্য:

• $\alpha \to (\beta \to \gamma) = (\alpha \to \beta) \to \gamma$ (সহযোগী আইন)
• $(\alpha \triangleright (\beta \to \gamma)) \to (\beta \triangleright \gamma) = (\alpha \to \beta) \triangleright \gamma$
• $(\alpha \triangleright (\beta \to \gamma)) \triangleright (\beta \triangleright \gamma) = \alpha \triangleright \beta$

বিনিময়যোগ্য সম্প্রসারিত দ্বি-সহযোগী অর্ধগ্রুপ (CEDS) অতিরিক্ত স্বতঃসিদ্ধ সন্তুষ্ট করে এমন একটি EAS:

• $(\alpha \to \beta) \to \gamma = (\beta \to \alpha) \to \gamma$ (আংশিক বিনিময়যোগ্যতা)
• $\alpha \triangleright (\beta \to \gamma) = \alpha \triangleright \gamma$

রৈখিক EAS (ℓEAS) একটি জোড় $(A, \Phi)$, যেখানে $A$ একটি ভেক্টর স্থান, $\Phi: A \otimes A \to A \otimes A$ সন্তুষ্ট করে: $(Id \otimes \Phi) \circ (\Phi \otimes Id) \circ (Id \otimes \Phi) = (\Phi \otimes Id) \circ (Id \otimes \tau) \circ (\Phi \otimes Id)$

মূল নির্মাণ পদ্ধতি

1. মৌলিক উদাহরণ নির্মাণ

উদাহরণ 1 - EAS(Ω): যেকোনো সেট $\Omega$ এর জন্য, সংজ্ঞায়িত করুন

• $\alpha \to \beta = \beta$
• $\alpha \triangleright \beta = \alpha$

এটি মিলান সহযোগী বীজগণিত প্রদান করে।

উদাহরণ 2 - EAS(Ω,⋆): অর্ধগ্রুপ $(\Omega, \star)$ এর জন্য, সংজ্ঞায়িত করুন

• $\alpha \to \beta = \alpha \star \beta$
• $\alpha \triangleright \beta = \alpha$

এটি $(\Omega, \star)$-পরিবার সহযোগী বীজগণিত প্রদান করে।

উদাহরণ 3 - EAS'(Ω,⋆): ডান বিপরীত শর্ত সহ অর্ধগ্রুপ $(\Omega, \star)$ এর জন্য, সংজ্ঞায়িত করুন

• $\alpha \to \beta = \beta$
• $\alpha \triangleright \beta = \alpha \star \beta \star^{-1}$ (যখন $\Omega$ একটি গ্রুপ হয়)

2. অ-অবক্ষয়ী এবং দ্বৈত

ম্যাপিং $\phi: \Omega^2 \to \Omega^2$ সংজ্ঞায়িত করুন $\phi(\alpha, \beta) = (\alpha \to \beta, \alpha \triangleright \beta)$ হিসাবে। একটি EAS কে অ-অবক্ষয়ী বলা হয় যদি $\phi$ একটি দ্বিজেকশন হয়।

প্রস্তাব 2.11: যদি $(\Omega, \to, \triangleright)$ একটি অ-অবক্ষয়ী EAS হয়, $\phi^{-1}(\alpha, \beta) = (\alpha \nleftarrow \beta, \alpha \ntriangleright \beta)$ সংজ্ঞায়িত করুন, তাহলে:

• $(\Omega, \to, \triangleright)$ হল EAS $\Leftrightarrow$ $(\Omega, \nleftarrow, \ntriangleright)$ হল EAS
• $(\Omega, \to, \triangleright)$ হল CEDS $\Leftrightarrow$ $(\Omega, \nleftarrow, \ntriangleright)$ হল দ্বৈত CEDS

3. কাঠামো বিয়োজন পদ্ধতি

সীমিত অ-অবক্ষয়ী CEDS এর কাঠামো বিশ্লেষণ নিম্নলিখিত পদক্ষেপ ব্যবহার করে:

পদক্ষেপ 1: বিশেষ উপসেট সংজ্ঞায়িত করুন

• $\Omega_\to = \{\alpha \in \Omega: \phi_\alpha = Id_\Omega\}$
• $\Omega_\triangleright = \{\beta \in \Omega: \psi_\beta = Id_\Omega\}$

যেখানে $\phi_\alpha(\beta) = \alpha \to \beta$, $\psi_\alpha(\beta) = \beta \triangleright \alpha$।

পদক্ষেপ 2: সমতুল্য সম্পর্ক স্থাপন করুন $\Omega$ তে সংজ্ঞায়িত করুন: $\beta \equiv \beta' \Leftrightarrow \exists \alpha \in \Omega, \beta' = \alpha \to \beta$

পদক্ষেপ 3: প্রমাণ করুন $\Omega_\to$ হল $\Omega/\equiv$ এর একটি অনুভাগ, এবং $\Omega = \Omega_\triangleright \to \Omega_\to$

পদক্ষেপ 4: উপপাদ্য 3.9 প্রয়োগ করুন $\Omega_\to$ বিয়োজিত করতে, প্রস্তাব 3.13 প্রয়োগ করুন $\Omega_\triangleright$ বিয়োজিত করতে

রৈখিক করণ এবং দ্বি-বীজগণিত

দ্বি-বীজগণিত থেকে ℓEAS

প্রস্তাব 5.1: ধরুন $(A, m, \Delta)$ একটি দ্বি-বীজগণিত, সংজ্ঞায়িত করুন $\Phi(a \otimes b) = (m \otimes Id_A) \circ (Id_A \otimes \tau) \circ (\Delta \otimes Id_A)(a \otimes b) = \sum a_{(1)}b \otimes a_{(2)}$

তাহলে $(A, \Phi)$ হল একটি ℓEAS, $\ell EAS(A, m, \Delta)$ হিসাবে চিহ্নিত।

বিশেষ ক্ষেত্র: অর্ধগ্রুপ $(\Omega, \star)$ এর জন্য, $A = K\Omega$ এবং এর প্রাকৃতিক দ্বি-বীজগণিত কাঠামো নিন, ফলস্বরূপ ℓEAS হল $EAS(\Omega, \star)$ এর রৈখিক করণ।

Hopf বীজগণিত থেকে ℓEAS

প্রস্তাব 5.10: ধরুন $(A, m, \Delta)$ একটি Hopf বীজগণিত, বিপরীত মেরু $S$ সহ, সংজ্ঞায়িত করুন $\Phi(a \otimes b) = (Id_A \otimes m) \circ (Id_A \otimes S \otimes Id_A) \circ (\Delta \otimes Id) \circ \tau(a \otimes b) = \sum b_{(1)} \otimes S(b_{(2)})a$

তাহলে $(A, \Phi)$ হল একটি অ-অবক্ষয়ী ℓEAS, $\ell EAS'(A, m, \Delta)$ হিসাবে চিহ্নিত, এবং $(A, \Phi^{-1}) = \ell EAS(A, m, \Delta^{op})$।

বিপরীত নির্মাণ

উপপাদ্য 5.17: ধরুন $(A, \Phi)$ একটি ℓEAS, $a$ হল বৈশিষ্ট্য মান 1 সহ একটি বিশেষ ভেক্টর, $\varepsilon$ হল বাম সহ-একক এবং $\varepsilon(a) = 1$, তাহলে:

• $\Delta_a(b) = \Phi(b \otimes a)$ সংজ্ঞায়িত করুন একটি সহ-সহযোগী সহ-গুণফল হিসাবে
• $m_\varepsilon = (Id \otimes \varepsilon) \circ \Phi$ সংজ্ঞায়িত করুন একটি সহযোগী গুণফল হিসাবে
• $(A, m_\varepsilon, \Delta_a)$ হল একটি দ্বি-বীজগণিত, এবং $(A, \Phi) = \ell EAS(A, m_\varepsilon, \Delta_a)$

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

এই পত্রটি একটি বিশুদ্ধ তাত্ত্বিক গণিত পত্র, যা সংখ্যাগত পরীক্ষা জড়িত নয়। প্রধানত নিম্নলিখিত উপায়ে তত্ত্ব যাচাই করা হয়েছে:

শ্রেণীবিভাগ যাচাইকরণ

• ভিত্তি সংখ্যা 2 এর সমস্ত সম্ভাব্য EAS কাঠামো ($2^8 = 256$ সম্ভাবনা) এর উপর ক্ষেত্র পরীক্ষা
• 13 টি অ-সমরূপী EAS চিহ্নিত করা
• প্রতিটির CEDS এবং দ্বৈত CEDS বৈশিষ্ট্য নির্ধারণ করা

উদাহরণ নির্মাণ

• 18 টি দ্বি-মাত্রিক ℓEAS এর ম্যাট্রিক্স প্রতিনিধিত্ব নির্মাণ
• প্রতিটি উদাহরণের জন্য এর বিশেষ ভেক্টর, বাম একক এবং বাম সহ-একক গণনা করা
• শ্রেণীবিভাগের সম্পূর্ণতা যাচাই করা

তাত্ত্বিক যাচাইকরণ

নির্দিষ্ট উদাহরণের মাধ্যমে সাধারণ উপপাদ্য যাচাই করা:

• গ্রুপ Hopf বীজগণিতের ℓEAS কাঠামো যাচাই করা (উদাহরণ 5.11, অনুসিদ্ধান্ত 5.21)
• দ্বি-মাত্রিক উদাহরণ এবং দ্বি-বীজগণিত নির্মাণের মধ্যে সংযোগ পরীক্ষা করা (উদাহরণ 5.18)

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

প্রধান ফলাফল

1. ভিত্তি সংখ্যা 2 এর EAS শ্রেণীবিভাগ

পত্রটি 13 টি অ-সমরূপী ভিত্তি সংখ্যা 2 এর EAS প্রদান করে (মৌলিক সেট $\Omega = \{X, Y\}$):

মূল আবিষ্কার:

• 13 টির মধ্যে 11 টি হল CEDS, 7 টি হল দ্বৈত CEDS
• শুধুমাত্র 3 টি অ-অবক্ষয়ী: F3, F4, H2
• ক্ষেত্র C6 কোনো EDS এর ডান অংশ নয়

2. সীমিত অ-অবক্ষয়ী CEDS এর কাঠামো উপপাদ্য

উপপাদ্য 3.16: যেকোনো সীমিত অ-অবক্ষয়ী CEDS $\Omega$ প্রতিনিধিত্ব করা যায় $(EAS(\Omega_1,*) \rtimes_{\rhd} EAS'(\Omega_2,\star)) \times EAS(\Omega_3)$

যেখানে:

• $(\Omega_1, *)$ একটি বিনিময়যোগ্য গ্রুপ
• $(\Omega_2, \star)$ একটি গ্রুপ
• $\Omega_3$ একটি অ-খালি সেট
• $\rhd: \Omega_2 \times \Omega_1 \to \Omega_1$ হল $\Omega_2$ এর $\Omega_1$ এ গ্রুপ স্বতঃসমরূপতার মাধ্যমে বাম কর্ম

গুণফল সূত্র:

• $(\alpha_1, \alpha_2, \alpha_3) \to (\beta_1, \beta_2, \beta_3) = (\alpha_1 * \beta_1, \beta_2, \beta_3)$
• $(\alpha_1, \alpha_2, \alpha_3) \triangleright (\beta_1, \beta_2, \beta_3) = (\beta_2 \rhd \alpha_1, \alpha_2 \star \beta_2 \star^{-1}, \alpha_3)$

প্রয়োগ: এই কাঠামো উপপাদ্য সম্পূর্ণভাবে অ-অবক্ষয়ী CEDS চিহ্নিত করে, এটিকে গ্রুপ এবং সেটের সমন্বয়ে হ্রাস করে।

3. দ্বি-মাত্রিক ℓEAS এর শ্রেণীবিভাগ

পত্রটি 18 টি দ্বি-মাত্রিক ℓEAS এর ম্যাট্রিক্স প্রতিনিধিত্ব প্রদান করে $M_1, ..., M_{18}$ (ভিত্তি $\{x \otimes x, x \otimes y, y \otimes x, y \otimes y\}$):

উদাহরণ:

• $M_{18} = \text{diag}(1,0,0,0; 0,0,1,0; 0,1,0,0; 0,0,0,1)$, ℓCEDS এবং দ্বৈত ℓCEDS উভয়ই
• $M_{17} = (1,0,1,0; 0,0,-1,0; 0,1,-1,0; 0,0,2,1)$, ℓCEDS এবং দ্বৈত ℓCEDS উভয়ই

বিশেষ ভেক্টর পরিসংখ্যান:

• $M_{18}$ এর বাম একক স্থান $\text{Span}\{x, y\}$ এবং বাম সহ-একক স্থান $\text{Span}\{x^*, y^*\}$
• $M_{17}$ এর বাম একক স্থান $\text{Span}\{x\}$ এবং বাম সহ-একক স্থান $\text{Span}\{x^* + y^*\}$

4. ℓEAS এবং দ্বি-বীজগণিতের মধ্যে সংযোগ

প্রস্তাব 5.19 অ-অবক্ষয়ী সীমিত CEDS এ প্রয়োগ: যেকোনো ম্যাপিং $g, h: \Omega_3 \to K$ সন্তুষ্ট করে $\sum g(\alpha_3)h(\alpha_3) = 1$ এর জন্য, একটি দ্বি-বীজগণিত কাঠামো নির্মাণ করা যায়:

$(\alpha_1, \alpha_2, \alpha_3) \cdot (\beta_1, \beta_2, \beta_3) = \delta_{\alpha_2, \beta_2}g(\alpha_3)(\alpha_1 * \beta_1, \beta_2, \beta_3)$

$\Delta(\alpha_1, \alpha_2, \alpha_3) = \sum_{(\beta_2, \beta_3)}h(\beta_3)(\alpha_1, \beta_2, \beta_3) \otimes (\beta_2 \rhd \alpha_1, \alpha_2 \star \beta_2^{-1}, \alpha_3)$

যাতে মূল CEDS এর রৈখিক করণ ঠিক $\ell EAS(K\Omega, \cdot, \Delta)$ হয়।

ক্ষেত্র বিশ্লেষণ

গ্রুপ Hopf বীজগণিতের ℓEAS

অনুসিদ্ধান্ত 5.21: সীমিত গ্রুপ $G$ এর জন্য:

• $\ell EAS'(KG)$ সমরূপী $\ell EAS(K^G)$
• $\ell EAS'(K^G)$ সমরূপী $\ell EAS(KG^{op})$

প্রস্তাব 5.22: $\ell EAS(KG)$ এবং $\ell EAS'(KG)$ এর অ-শূন্য বৈশিষ্ট্য মান 1 সহ বিশেষ ভেক্টর ঠিক $\lambda \sum_{\alpha \in H} \alpha$, যেখানে $H$ হল $G$ এর একটি উপগ্রুপ, $\lambda \neq 0$।

নির্দিষ্ট উদাহরণ যাচাইকরণ

$M_{16}$ এর জন্য ($C3$ এর সাথে সংশ্লিষ্ট: $EAS(\mathbb{Z}/2\mathbb{Z}, \times)$), $a = x$, $\varepsilon = x^* + y^*$ নিন:

• $\Delta_a(x) = x \otimes x$, $\Delta_a(y) = y \otimes y$
• $m_\varepsilon(x \otimes x) = x$, $m_\varepsilon(x \otimes y) = y$, $m_\varepsilon(y \otimes x) = y$, $m_\varepsilon(y \otimes y) = y$

এটি $(\mathbb{Z}/2\mathbb{Z}, \times)$ এর দ্বি-বীজগণিত কাঠামো পুনরুদ্ধার করে।

$M_{17}$ এর জন্য ($H2$ এর সাথে সংশ্লিষ্ট: $EAS(\mathbb{Z}/2\mathbb{Z}, +)$), অনুরূপ নির্মাণ $(\mathbb{Z}/2\mathbb{Z}, +)$ এর দ্বি-বীজগণিত কাঠামো পুনরুদ্ধার করে।

পরীক্ষামূলক আবিষ্কার

1. রৈখিক করণের অ-অনন্যতা: একই EAS একাধিক ভিন্ন ℓEAS এর সাথে সংশ্লিষ্ট হতে পারে (যেমন A2 এবং F1 রৈখিক করণের পরে সমরূপী, কিন্তু EAS সমরূপী নয়)
2. দ্বৈততার সমরূপতা ভাঙ্গা: যদিও EAS এবং এর দ্বৈত অ-রৈখিক স্তরে সমরূপ, রৈখিক করণের পরে, CEDS এবং দ্বৈত CEDS এর আচরণ ভিন্ন হতে পারে
3. বিশেষ ভেক্টরের সীমাবদ্ধতা: অ-শূন্য বিশেষ ভেক্টরের বৈশিষ্ট্য মান শুধুমাত্র 0 বা 1 হতে পারে (লেম্মা 4.8)
4. ডান অবিচ্ছেদ্যের ভূমিকা: Hopf বীজগণিতের ডান অবিচ্ছেদ্য স্বয়ংক্রিয়ভাবে সংশ্লিষ্ট ℓEAS' এর বাম সহ-একক হয়ে ওঠে (প্রস্তাব 5.16)

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

প্যারামিটারযুক্ত বীজগণিত কাঠামো

1. Rota-Baxter পরিবার বীজগণিত: Ebrahimi-Fard ইত্যাদি (2007) এবং Guo (2009) কোয়ান্টাম ক্ষেত্র তত্ত্ব পুনর্নর্মালীকরণ পটভূমিতে প্রবর্তন করেছেন, এটি পরিবার প্যারামিটারকরণের সবচেয়ে প্রাথমিক ধারণা
2. পরিবার বীজগণিতের উন্নয়ন:
   • Zhang এবং Gao (2019): মুক্ত Rota-Baxter পরিবার বীজগণিত এবং (তিন) গাছ-সদৃশ পরিবার বীজগণিত
   • Zhang ইত্যাদি (2020): মিলান Rota-Baxter বীজগণিত, মিলান গাছ-সদৃশ বীজগণিত এবং মিলান প্রাক-লাই বীজগণিত
   • Foissy (2021): টাইপ করা দ্বি-গাছ এবং সাধারণীকৃত গাছ-সদৃশ বীজগণিত
3. নিয়মিত কাঠামোতে প্রয়োগ:
   • Bruned, Hairer এবং Zambotti (2019): বীজগণিত পুনর্নর্মালীকরণের নিয়মিত কাঠামো
   • Bruned এবং Manchon (2023): (S)PDE এর বীজগণিত বিকৃতি
   • এই কাজগুলিতে মিলান প্যারামিটারকরণ স্বাভাবিকভাবে উপস্থিত হয়

একীভূত কাঠামোর প্রচেষ্টা

• Foissy এবং Manchon (2020): পরিবার প্যারামিটারকরণ এবং মিলান প্যারামিটারকরণ একীভূত করার কাঠামো প্রস্তাব করেছেন
• এই পত্রের EAS ধারণা Foissy (2021) এর কাজ থেকে আসে, এটি এই একীকরণ প্রচেষ্টার ধারাবাহিকতা

অপারেটর তত্ত্বের সাথে সংযোগ

EAS সহযোগী বীজগণিত অপারেটরের সাধারণীকরণ সংজ্ঞায়িত করতে ব্যবহৃত হয়, CEDS প্রাক-লাই বীজগণিত অপারেটরের সাধারণীকরণ সংজ্ঞায়িত করতে ব্যবহৃত হয়। এটি Koszul দ্বৈত তত্ত্বের সাথে ঘনিষ্ঠভাবে সম্পর্কিত:

• Ω-প্রাক-লাই বীজগণিতের Koszul দ্বৈত দ্বৈত CEDS ধারণার দিকে পরিচালিত করে
• এই পত্রটি CEDS এবং দ্বৈত CEDS এর মধ্যে সম্পর্ক সিস্টেমেটিকভাবে অধ্যয়ন করে

দ্বি-বীজগণিত তত্ত্বের সাথে সংযোগ

যদিও দ্বি-বীজগণিত এবং Hopf বীজগণিত শাস্ত্রীয় তত্ত্ব, দ্বি-বীজগণিত থেকে ℓEAS এর ফাংটর নির্মাণ এবং বিপরীত নির্মাণ (উপপাদ্য 5.17) এই পত্রের নতুন অবদান, নতুন সেতু স্থাপন করে।

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

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

1. শ্রেণীবিভাগ ফলাফল: ভিত্তি সংখ্যা 2 এর EAS এর সম্পূর্ণ শ্রেণীবিভাগ সম্পন্ন করা হয়েছে, ছোট স্কেল ক্ষেত্রে সম্পূর্ণ চিত্র প্রদান করে
2. কাঠামো উপপাদ্য: প্রমাণ করা হয়েছে যে সীমিত অ-অবক্ষয়ী CEDS গ্রুপের অর্ধ-সরাসরি গুণফল এবং সরাসরি গুণফলের মাধ্যমে সম্পূর্ণভাবে চিহ্নিত করা যায় (উপপাদ্য 3.16), এটি এই পত্রের সবচেয়ে গুরুত্বপূর্ণ কাঠামোগত ফলাফল
3. রৈখিক করণ তত্ত্ব: EAS এর রৈখিক সংস্করণ (ℓEAS) প্রতিষ্ঠা করা হয়েছে এবং এর দ্বি-বীজগণিত, Hopf বীজগণিতের সাথে গভীর সংযোগ প্রকাশ করা হয়েছে
4. দ্বিমুখী নির্মাণ: দ্বি-বীজগণিত থেকে ℓEAS নির্মাণ করা যায় (প্রস্তাব 5.1, 5.10) এবং উপযুক্ত শর্তে ℓEAS থেকে দ্বি-বীজগণিত কাঠামো পুনরুদ্ধার করা যায় (উপপাদ্য 5.17)

সীমাবদ্ধতা

1. সীমিততা অনুমান: কাঠামো উপপাদ্য (উপপাদ্য 3.16) CEDS সীমিত হওয়ার দাবি করে, অসীম ক্ষেত্রে কাঠামো এখনও অস্পষ্ট
2. অ-অবক্ষয়ী প্রয়োজনীয়তা: অনেক ফলাফল (বিশেষত কাঠামো উপপাদ্য) অ-অবক্ষয়ী প্রয়োজন, অবক্ষয়ী ক্ষেত্রের সম্পূর্ণ তত্ত্ব এখনও উন্নয়নশীল
3. শ্রেণীবিভাগের জটিলতা: ভিত্তি সংখ্যা 3 এর EAS ইতিমধ্যে 3 টি অ-অবক্ষয়ী উদাহরণ রয়েছে, উচ্চতর ভিত্তি সংখ্যার সম্পূর্ণ শ্রেণীবিভাগ গণনামূলকভাবে অসম্ভব হয়ে ওঠে
4. প্রয়োগ স্তর: যদিও EAS তত্ত্ব নিয়মিত কাঠামো এবং অপারেটর তত্ত্বের সাথে সম্পর্কিত, নির্দিষ্ট প্রয়োগের বিবরণ এই পত্রে প্রসারিত হয়নি
5. রৈখিক করণের অ-অনন্যতা: একই EAS একাধিক ভিন্ন ℓEAS এর সাথে সংশ্লিষ্ট হতে পারে, canonical রৈখিক করণ পদ্ধতির অভাব রয়েছে

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

যদিও পত্রটি স্পষ্টভাবে ভবিষ্যত দিকনির্দেশনা তালিকাভুক্ত করে না, বিষয়বস্তু থেকে নিম্নলিখিত গবেষণা দিকনির্দেশনা অনুমান করা যায়:

1. অসীম CEDS এর কাঠামো: উপপাদ্য 3.16 অসীম ক্ষেত্রে সাধারণীকরণ করা
2. উচ্চ-মাত্রিক শ্রেণীবিভাগ: ভিত্তি সংখ্যা 3 বা উচ্চতর EAS শ্রেণীবিভাগ করার চেষ্টা করা (যদিও সম্পূর্ণ শ্রেণীবিভাগ সম্ভব নাও হতে পারে)
3. অপারেটর তত্ত্বের প্রয়োগ: নতুন অপারেটর নির্মাণে EAS কীভাবে ব্যবহৃত হয় তা বিস্তারিতভাবে অধ্যয়ন করা
4. নিয়মিত কাঠামোর সাথে সংযোগ: Bruned-Hairer-Zambotti নিয়মিত কাঠামো তত্ত্বে EAS এর ভূমিকা গভীরভাবে অন্বেষণ করা
5. বিভাগ-তাত্ত্বিক দৃষ্টিভঙ্গি: EAS বিভাগের বৈশিষ্ট্য বিভাগ-তাত্ত্বিক কোণ থেকে অধ্যয়ন করা
6. অবক্ষয়ী ক্ষেত্রের অধ্যয়ন: অবক্ষয়ী EAS এবং CEDS এর পদ্ধতিগত তত্ত্ব বিকাশ করা

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

সুবিধা

1. তাত্ত্বিক গভীরতা

• পদ্ধতিগততা: পত্রটি EAS এর একটি সম্পূর্ণ তাত্ত্বিক কাঠামো প্রতিষ্ঠা করে, মৌলিক সংজ্ঞা থেকে কাঠামো উপপাদ্য পর্যন্ত, যুক্তি কঠোর
• একীকরণ: সাহিত্যে বিক্ষিপ্ত প্যারামিটারযুক্ত ধারণা (পরিবার প্যারামিটারকরণ এবং মিলান প্যারামিটারকরণ) সফলভাবে একীভূত করা হয়েছে
• উদ্ভাবনী: রৈখিক করণ তত্ত্ব এবং দ্বি-বীজগণিতের সাথে সংযোগ সম্পূর্ণ নতুন দৃষ্টিভঙ্গি

2. প্রযুক্তিগত অবদান

• কাঠামো উপপাদ্য (উপপাদ্য 3.16): এটি পত্রের মূল ফলাফল, জটিল CEDS কে গ্রুপ এবং সেটের সমন্বয়ে হ্রাস করে, গভীর তাত্ত্বিক তাৎপর্য রয়েছে
• দ্বিমুখী নির্মাণ: ℓEAS এবং দ্বি-বীজগণিতের মধ্যে দ্বিমুখী সংযোগ স্থাপন করা হয়েছে, প্রযুক্তিগতভাবে অত্যন্ত পরিশীলিত
• শ্রেণীবিভাগ ফলাফল: ভিত্তি 2 এর সম্পূর্ণ শ্রেণীবিভাগ যদিও ছোট স্কেল, EAS বোঝার জন্য গুরুত্বপূর্ণ নির্দিষ্ট উদাহরণ প্রদান করে

3. লেখার গুণমান

• সংজ্ঞা স্পষ্ট, প্রতীক ব্যবস্থা সামঞ্জস্যপূর্ণ
• প্রচুর উদাহরণ বিমূর্ত ধারণা বোঝাতে সাহায্য করে
• প্রমাণ বিস্তারিত, যুক্তি স্পষ্ট

4. উদাহরণের সমৃদ্ধি

• 18 টি দ্বি-মাত্রিক ℓEAS এর ম্যাট্রিক্স প্রতিনিধিত্ব
• 13 টি ভিত্তি সংখ্যা 2 এর EAS
• গ্রুপ এবং অর্ধগ্রুপের উপর ভিত্তি করে একাধিক নির্মাণ পরিবার

অপূর্ণতা

1. প্রয়োগ স্তর

• নির্দিষ্ট প্রয়োগের অভাব: নিয়মিত কাঠামো এবং অপারেটর তত্ত্বের সাথে সংযোগ উল্লেখ করা হয়েছে কিন্তু বিস্তারিত প্রয়োগ উদাহরণ দেওয়া হয়নি
• প্রেরণা অস্পষ্ট: অ-বিশেষজ্ঞদের জন্য, EAS অধ্যয়নের প্রয়োজনীয়তার বাস্তব তাৎপর্য যথেষ্ট স্পষ্ট নাও হতে পারে

2. প্রযুক্তিগত স্তর

• সীমিততা সীমাবদ্ধতা: সবচেয়ে গুরুত্বপূর্ণ কাঠামো উপপাদ্য শুধুমাত্র সীমিত ক্ষেত্রে প্রযোজ্য, অসীম ক্ষেত্র অনেক প্রয়োগে আরও গুরুত্বপূর্ণ
• অ-অবক্ষয়ী অনুমান: অনেক ফলাফল অ-অবক্ষয়ী প্রয়োজন, কিন্তু শ্রেণীবিভাগ দেখায় যে বেশিরভাগ ছোট ভিত্তি সংখ্যা EAS অবক্ষয়ী
• গণনামূলক জটিলতা: ভিত্তি 3 এবং উপরে শ্রেণীবিভাগ গণনামূলকভাবে অসম্ভব, শ্রেণীবিভাগ ফলাফলের প্রয়োগ সীমিত করে

3. তাত্ত্বিক সম্পূর্ণতা

• দ্বৈত তত্ত্ব অসমান: CEDS এবং দ্বৈত CEDS এর তাত্ত্বিক উন্নয়ন সম্পূর্ণভাবে সমান নয়, দ্বৈত CEDS এর কাঠামো উপপাদ্য দেওয়া হয়নি
• রৈখিক করণের নির্বিচারিতা: EAS থেকে ℓEAS এর রৈখিক করণ অনন্য নয়, canonical নির্বাচনের তত্ত্ব অনুপস্থিত

4. বিদ্যমান তত্ত্বের সাথে সংযোগ

• অপারেটর তত্ত্বের বিবরণ: অপারেটর তত্ত্বের সাথে সংযোগ প্রধানত প্রবর্তনে উল্লেখ করা হয়, মূল পাঠে বিস্তারিতভাবে প্রসারিত হয়নি
• বিভাগ-তাত্ত্বিক দৃষ্টিভঙ্গি অনুপস্থিত: যদিও ফাংটর উল্লেখ করা হয়েছে, EAS বিভাগের বৈশিষ্ট্য বিভাগ-তাত্ত্বিক কোণ থেকে সিস্টেমেটিকভাবে অধ্যয়ন করা হয়নি

প্রভাব

ক্ষেত্রে অবদান

1. তাত্ত্বিক ভিত্তি: প্যারামিটারযুক্ত বীজগণিত কাঠামোর জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে
2. একীভূত কাঠামো: সাহিত্যে বিভিন্ন প্যারামিটারযুক্ত স্কিম একীভূত করে
3. নতুন সরঞ্জাম: প্যারামিটারযুক্ত বীজগণিত অধ্যয়নের জন্য ℓEAS এবং দ্বি-বীজগণিতের সংযোগ নতুন সরঞ্জাম প্রদান করে

ব্যবহারিক মূল্য

1. পরোক্ষ প্রয়োগ: যদিও এটি বিশুদ্ধ তাত্ত্বিক কাজ, এটি নিয়মিত কাঠামো তত্ত্ব ইত্যাদির জন্য তাত্ত্বিক সমর্থন প্রদান করে
2. নির্মাণ পদ্ধতি: গ্রুপ এবং অর্ধগ্রুপ থেকে EAS নির্মাণের পদ্ধতি নির্দিষ্ট প্যারামিটারযুক্ত বীজগণিত নির্মাণে ব্যবহার করা যায়

পুনরুৎপাদনযোগ্যতা

• তাত্ত্বিক ফলাফল: সমস্ত উপপাদ্যের সম্পূর্ণ প্রমাণ রয়েছে, পুনরুৎপাদনযোগ্যতা শক্তিশালী
• গণনামূলক যাচাইকরণ: শ্রেণীবিভাগ ফলাফল এবং ম্যাট্রিক্স প্রতিনিধিত্ব স্বাধীনভাবে যাচাই করা যায়
• উদাহরণ সমৃদ্ধ: প্রচুর উদাহরণ পাঠকদের তত্ত্ব বোঝা এবং যাচাই করা সহজ করে

প্রযোজ্য পরিস্থিতি

1. অপারেটর তত্ত্ব: সহযোগী বীজগণিত এবং প্রাক-লাই বীজগণিত অপারেটরের সাধারণীকরণ অধ্যয়ন
2. নিয়মিত কাঠামো তত্ত্ব: Bruned-Hairer-Zambotti তত্ত্বের জন্য বীজগণিত ভিত্তি প্রদান করে
3. প্যারামিটারযুক্ত বীজগণিত: যেকোনো একক অপারেশনের পরিবর্তে প্যারামিটার পরিবার ব্যবহার করে এমন বীজগণিত কাঠামো অধ্যয়ন
4. Hopf বীজগণিত তত্ত্ব: ℓEAS এর মাধ্যমে Hopf বীজগণিত অধ্যয়নের নতুন দৃষ্টিভঙ্গি প্রদান করে
5. সমন্বিত বীজগণিত: কাঠামো উপপাদ্য সীমিত বীজগণিত কাঠামোর সমন্বিত বৈশিষ্ট্য অধ্যয়নে ব্যবহার করা যায়

সামগ্রিক মূল্যায়ন

এটি সম্প্রসারিত সহযোগী অর্ধগ্রুপ তত্ত্বে উল্লেখযোগ্য অবদান রাখা একটি উচ্চ মানের বিশুদ্ধ গণিত পত্র। কাঠামো উপপাদ্য (উপপাদ্য 3.16) মূল আলোকবর্তিকা, এটি জটিল বীজগণিত কাঠামোকে মৌলিক উপাদানের সমন্বয়ে হ্রাস করে, গভীর তাত্ত্বিক তাৎপর্য রয়েছে। রৈখিক করণ তত্ত্ব এবং দ্বি-বীজগণিতের সাথে সংযোগ নতুন গবেষণা দিকনির্দেশনা খুলে দেয়।

পত্রের প্রধান মূল্য তাত্ত্বিক গভীরতাে নিহিত, সরাসরি প্রয়োগে নয়। বীজগণিত, বিশেষত অপারেটর তত্ত্ব গবেষকদের জন্য, এটি গুরুত্বপূর্ণ তাত্ত্বিক ভিত্তি কাজ। তবে প্রয়োগ-ভিত্তিক পাঠকদের জন্য, পত্রটি অত্যন্ত বিমূর্ত মনে হতে পারে।

সুপারিশ সূচক: বীজগণিত এবং অপারেটর তত্ত্ব গবেষকদের জন্য, ★★★★☆ (4/5); প্রয়োগ গণিত গবেষকদের জন্য, ★★★☆☆ (3/5)।

সংদর্ভ

পত্রটি 18 টি সংদর্ভ উদ্ধৃত করে, মূল সংদর্ভগুলির মধ্যে রয়েছে:

1. Bruned, Hairer, Zambotti (2019): নিয়মিত কাঠামোর বীজগণিত পুনর্নর্মালীকরণ - নিয়মিত কাঠামোর বীজগণিত পুনর্নর্মালীকরণ প্রবর্তন করে, মিলান প্যারামিটারকরণ প্রদর্শনের গুরুত্বপূর্ণ প্রয়োগ পটভূমি
2. Ebrahimi-Fard, Gracia-Bondía, Patras (2007): পুনর্নর্মালীকরণের প্রতি একটি লাই তাত্ত্বিক পদ্ধতি - Rota-Baxter পরিবার বীজগণিত প্রবর্তন করে
3. Guo (2009): পরিচালিত অর্ধগ্রুপ, Motzkin পথ এবং মূল গাছ - পরিচালিত অর্ধগ্রুপ সিস্টেমেটিকভাবে অধ্যয়ন করে
4. Zhang, Gao (2019-2020) সিরিজ কাজ: বিভিন্ন বীজগণিত কাঠামোর মিলান এবং পরিবার প্যারামিটারকরণ সম্পর্কে
5. Foissy (2021): টাইপ করা দ্বি-গাছ এবং সাধারণীকৃত dendriform বীজগণিত - এই পত্রের EAS ধারণার সরাসরি উৎস

এই সংদর্ভগুলি এই পত্রের গবেষণার তাত্ত্বিক পটভূমি এবং প্রেরণা উৎস গঠন করে।