2025-11-10T03:08:02.521234

On injective partial Catalan monoids

Al-Kharousi, Umar, Zubairu
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{IC}_{n}$ be the semigroup consisting of all isotone and order-decreasing injective partial transformations on $[n]$. In addition, let $\mathcal{Q}^{\prime}_{n} = \{α\in \mathcal{IC}_{n} : \, 1\not \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{IC}_{n}$, consisting of all transformations in $\mathcal{IC}_{n}$, each of whose domains does not contain $1$. For $1 \leq p \leq n$, let $K(n,p) = \{α\in \mathcal{IC}_{n} : \, |\text{Im }\, α| \leq p\}$ and $M(n,p) = \{α\in \mathcal{Q}^{\prime}_{n} : \, |\text{Im } \, α| \leq p\}$ be the two-sided ideals of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$, respectively. Moreover, let ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(n)$ denote the Rees quotients of $K(n,p)$ and $M(n,p)$, respectively. It is shown in this article that for any \( S \in \{ \mathcal{RIC}_{p}(n), K(n,p) \} \), \( S \) is abundant; \( \mathcal{IC}_{n} \) is ample; and for any \( S \in \{ \mathcal{Q}^{\prime}_{n}, \mathcal{RQ}^{\prime}_{p}(n), M(n,p) \} \), \( S \) is right abundant for all values of \( n \), but not left abundant for \( n \geq 2 \). Furthermore, the ranks of the Rees quotients ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(n)$ are shown to be equal to the ranks of the two-sided ideals $K(n,p)$ and $M(n,p)$, respectively. These ranks are found to be $\binom{n}{p}+(n-1)\binom{n-2}{p-1}$ and $\binom{n}{p}+(n-2)\binom{n-3}{p-1}$, respectively. In addition, the ranks of the semigroups $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$ were found to be $2n$ and $n^{2}-3n+4$, respectively. Finally, we characterize all the maximal subsemigroups of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$.
academic

ইনজেক্টিভ আংশিক ক্যাটালান মনোয়েডস সম্পর্কে

মৌলিক তথ্য

  • পেপার আইডি: 2501.00285
  • শিরোনাম: ইনজেক্টিভ আংশিক ক্যাটালান মনোয়েডস সম্পর্কে
  • লেখক: এফ. এস. আল-খারাউসি, এ. উমার, এম. এম. জুবাইরু
  • শ্রেণীবিভাগ: math.GR (গ্রুপ তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ৩ জানুয়ারি
  • পেপার লিংক: https://arxiv.org/abs/2501.00285

সারসংক্ষেপ

এই পেপারটি সীমিত শৃঙ্খল [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\} এর উপর একঘেয়ে এবং ক্রম-হ্রাসকারী ইনজেক্টিভ আংশিক রূপান্তর অর্ধগ্রুপ ICn\mathcal{IC}_n এবং এর উপ-অর্ধগ্রুপ Qn′\mathcal{Q}'_n এর বীজগাণিতিক বৈশিষ্ট্য এবং র‍্যাঙ্ক বৈশিষ্ট্য অধ্যয়ন করে। প্রধান বিষয়বস্তুতে রয়েছে: প্রমাণ করা হয়েছে যে ICn\mathcal{IC}_n সমৃদ্ধ (ample), যখন Qn′\mathcal{Q}'_n ডান-সমৃদ্ধ কিন্তু n≥2n \geq 2 এর জন্য বাম-সমৃদ্ধ নয়; সংশ্লিষ্ট রিস ভাগফল অর্ধগ্রুপের র‍্যাঙ্ক নির্ধারণ করা হয়েছে; ICn\mathcal{IC}_n এবং Qn′\mathcal{Q}'_n এর সমস্ত সর্বোচ্চ উপ-অর্ধগ্রুপ চিহ্নিত করা হয়েছে।

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

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

এই পেপারটি প্রধানত ইনজেক্টিভ আংশিক ক্যাটালান অর্ধগ্রুপ ICn\mathcal{IC}_n এবং এর সংশ্লিষ্ট কাঠামোর বীজগাণিতিক বৈশিষ্ট্য অধ্যয়ন করে, বিশেষভাবে:

  1. গ্রীন সম্পর্ক এবং এর তারকা সদৃশ অনুরূপের চিহ্নিতকরণ
  2. সমৃদ্ধতা (abundance) এবং সমৃদ্ধিশীলতা (ampleness) এর নির্ধারণ
  3. বিভিন্ন সংশ্লিষ্ট অর্ধগ্রুপের র‍্যাঙ্ক গণনা
  4. সর্বোচ্চ উপ-অর্ধগ্রুপের সম্পূর্ণ চিহ্নিতকরণ

সমস্যার গুরুত্ব

  1. তাত্ত্বিক তাৎপর্য: ICn\mathcal{IC}_n রূপান্তর অর্ধগ্রুপ তত্ত্বে একটি গুরুত্বপূর্ণ বস্তু হিসাবে, এর উপাদানের সংখ্যা ঠিক (n+1)(n+1) তম ক্যাটালান সংখ্যা cn+1c_{n+1} এর সমান, যা সমন্বয় গণিত এবং অর্ধগ্রুপ তত্ত্বকে সংযুক্ত করে
  2. কাঠামো গবেষণা: এই ধরনের অর্ধগ্রুপগুলি রূপান্তর অর্ধগ্রুপের শ্রেণীবিভাগ এবং কাঠামো তত্ত্বে গুরুত্বপূর্ণ স্থান দখল করে
  3. গণনামূলক জটিলতা: র‍্যাঙ্ক গণনা অর্ধগ্রুপের উৎপাদন বৈশিষ্ট্য বোঝার জন্য অত্যন্ত গুরুত্বপূর্ণ

বিদ্যমান গবেষণার সীমাবদ্ধতা

যদিও ICn\mathcal{IC}_n এর কিছু বৈশিষ্ট্য ইতিমধ্যে অধ্যয়ন করা হয়েছে, তবে এর উপ-অর্ধগ্রুপ Qn′\mathcal{Q}'_n এবং সংশ্লিষ্ট রিস ভাগফল অর্ধগ্রুপের বীজগাণিতিক বৈশিষ্ট্য এবং র‍্যাঙ্ক বৈশিষ্ট্য পূর্বে সুসংগতভাবে অধ্যয়ন করা হয়নি।

মূল অবদান

  1. বীজগাণিতিক কাঠামো বিশ্লেষণ: ICn\mathcal{IC}_n, Qn′\mathcal{Q}'_n এবং এর সংশ্লিষ্ট আদর্শ এবং রিস ভাগফলের গ্রীন সম্পর্ক এবং তারকা গ্রীন সম্পর্ক সম্পূর্ণভাবে চিহ্নিত করা হয়েছে
  2. সমৃদ্ধতা নির্ধারণ: প্রমাণ করা হয়েছে যে ICn\mathcal{IC}_n সমৃদ্ধিশীল (ample), Qn′\mathcal{Q}'_n ডান-সমৃদ্ধ কিন্তু বাম-সমৃদ্ধ নয়
  3. র‍্যাঙ্ক সূত্র: সমস্ত সংশ্লিষ্ট অর্ধগ্রুপের নির্ভুল র‍্যাঙ্ক সূত্র প্রদান করা হয়েছে
  4. সর্বোচ্চ উপ-অর্ধগ্রুপ চিহ্নিতকরণ: ICn\mathcal{IC}_n এবং Qn′\mathcal{Q}'_n এর সর্বোচ্চ উপ-অর্ধগ্রুপ কাঠামো সম্পূর্ণভাবে নির্ধারণ করা হয়েছে

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

মৌলিক সংজ্ঞা এবং স্বরলিপি

α∈ICn\alpha \in \mathcal{IC}_n এর জন্য, দুই-সারি স্বরলিপি ব্যবহার করা হয়: α=(x1⋯xpa1⋯ap)\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix} যেখানে ai≤xia_i \leq x_i (ক্রম-হ্রাস বৈশিষ্ট্য) এবং 1≤x1<⋯<xp≤n1 \leq x_1 < \cdots < x_p \leq n, 1≤a1<⋯<ap≤n1 \leq a_1 < \cdots < a_p \leq n (একঘেয়েতা এবং ইনজেক্টিভিটি)।

মূল ধারণা

প্রায়-শক্তিশালী উপাদান

সংজ্ঞা 3.1: উপাদান α∈ICn\alpha \in \mathcal{IC}_n প্রায়-শক্তিশালী বলা হয়, যদি α2\alpha^2 শক্তিশালী হয়, সমতুল্যভাবে, α4=α2\alpha^4 = \alpha^2।

অপরিহার্য উপাদান

সংজ্ঞা 3.5: স্থানান্তর 1 এর প্রায়-শক্তিশালী উপাদান ε\varepsilon অপরিহার্য বলা হয়, যদি এটি নিম্নলিখিত রূপ ধারণ করে: ε=(y1⋯yi−1yiyi+1⋯ypy1⋯yi−1yi−1yi+1⋯yp)\varepsilon = \begin{pmatrix} y_1 & \cdots & y_{i-1} & y_i & y_{i+1} & \cdots & y_p \\ y_1 & \cdots & y_{i-1} & y_i-1 & y_{i+1} & \cdots & y_p \end{pmatrix}

প্রয়োজনীয় উপাদান

সংজ্ঞা 3.18: Qn′\mathcal{Q}'_n এ উচ্চতা pp এর ইনজেক্টিভ ম্যাপিং α\alpha প্রয়োজনীয় বলা হয়, যদি এটি নিম্নলিখিত রূপ ধারণ করে: αi=(2⋯iai⋯ap1⋯i−1ai⋯ap)\alpha_i = \begin{pmatrix} 2 & \cdots & i & a_i & \cdots & a_p \\ 1 & \cdots & i-1 & a_i & \cdots & a_p \end{pmatrix}

প্রযুক্তিগত উদ্ভাবন বিন্দু

  1. একীভূত গ্রীন সম্পর্ক চিহ্নিতকরণ: চিত্র সেট এবং সংজ্ঞার ক্ষেত্রের সমতার মাধ্যমে L∗L^* এবং R∗R^* সম্পর্ক চিহ্নিত করা হয়েছে
  2. প্রায়-শক্তিশালী উৎপাদন তত্ত্ব: প্রমাণ করা হয়েছে যে ICn\mathcal{IC}_n প্রায়-শক্তিশালী উপাদান দ্বারা উৎপাদিত হয়, এবং তারপর অপরিহার্য উপাদান দ্বারা
  3. স্তরযুক্ত বিশ্লেষণ পদ্ধতি: J∗J^*-শ্রেণীর উচ্চতা স্তরবিন্যাসের মাধ্যমে অর্ধগ্রুপ কাঠামো বিশ্লেষণ করা হয়েছে

প্রধান ফলাফল

গ্রীন সম্পর্কের চিহ্নিতকরণ

উপপাদ্য 2.9: α,β∈ICn\alpha, \beta \in \mathcal{IC}_n এর জন্য:

  • αL∗β\alpha L^* \beta যদি এবং শুধুমাত্র যদি Imα=Imβ\text{Im}\alpha = \text{Im}\beta
  • αR∗β\alpha R^* \beta যদি এবং শুধুমাত্র যদি Domα=Domβ\text{Dom}\alpha = \text{Dom}\beta
  • αH∗β\alpha H^* \beta যদি এবং শুধুমাত্র যদি α=β\alpha = \beta

সমৃদ্ধতা ফলাফল

উপপাদ্য 2.8:

  • ICn\mathcal{IC}_n সমৃদ্ধ
  • Qn′\mathcal{Q}'_n ডান-সমৃদ্ধ

উপপাদ্য 2.11: ICn\mathcal{IC}_n সমৃদ্ধিশীল

র‍্যাঙ্ক সূত্র

উপপাদ্য 3.13: রিস ভাগফল RICn(p)R\mathcal{IC}_n(p) এর র‍্যাঙ্ক: rank(RICn(p))=(n−1)(n−2p−1)+(np)\text{rank}(R\mathcal{IC}_n(p)) = (n-1)\binom{n-2}{p-1} + \binom{n}{p}

উপপাদ্য 3.27: রিস ভাগফল RQn′(p)R\mathcal{Q}'_n(p) এর র‍্যাঙ্ক: rank(RQn′(p))=(np)+(n−2)(n−3p−1)\text{rank}(R\mathcal{Q}'_n(p)) = \binom{n}{p} + (n-2)\binom{n-3}{p-1}

অনুসিদ্ধান্ত 3.17: rank(ICn)=2n\text{rank}(\mathcal{IC}_n) = 2^n

উপপাদ্য 3.35: rank(Qn′)=n2−3n+4\text{rank}(\mathcal{Q}'_n) = n^2 - 3n + 4

সর্বোচ্চ উপ-অর্ধগ্রুপ

উপপাদ্য 4.1: ICn\mathcal{IC}_n এর সর্বোচ্চ উপ-অর্ধগ্রুপ ঠিক তিন ধরনের:

  1. Mid[n]=ICn∖{id[n]}M_{\text{id}_{[n]}} = \mathcal{IC}_n \setminus \{\text{id}_{[n]}\}
  2. Mεi,i+1=ICn∖{εi,i+1}M_{\varepsilon_{i,i+1}} = \mathcal{IC}_n \setminus \{\varepsilon_{i,i+1}\} (1≤i≤n−11 \leq i \leq n-1)
  3. Mεi=ICn∖{εi}M_{\varepsilon_i} = \mathcal{IC}_n \setminus \{\varepsilon_i\} (1≤i≤n1 \leq i \leq n)

অনুসিদ্ধান্ত 4.2: ICn\mathcal{IC}_n ঠিক 2n2n টি সর্বোচ্চ উপ-অর্ধগ্রুপ রয়েছে।

অনুসিদ্ধান্ত 4.4: Qn′\mathcal{Q}'_n ঠিক n2−3n+4n^2 - 3n + 4 টি সর্বোচ্চ উপ-অর্ধগ্রুপ রয়েছে।

প্রযুক্তিগত পদ্ধতি

প্রমাণ কৌশল

  1. বিপরীত আদর্শ পদ্ধতি: প্রমাণ করা হয়েছে যে ICn\mathcal{IC}_n হল InI_n এর বিপরীত আদর্শ, এবং তাই সমৃদ্ধতা উত্তরাধিকার সূত্র
  2. বিয়োজন কৌশল: যেকোনো উপাদানকে অপরিহার্য উপাদান এবং শক্তিশালী উপাদানের গুণফলে বিয়োজিত করা হয়েছে
  3. সমন্বয় গণনা: বিভিন্ন উপাদানের সংখ্যা গণনা করতে সমন্বয় পরিচয় ব্যবহার করা হয়েছে
  4. উৎপাদন সেট ন্যূনতমকরণ: নির্দিষ্ট উপাদান অবিয়োজ্য প্রমাণ করে ন্যূনতম উৎপাদন সেট নির্ধারণ করা হয়েছে

মূল লেম্মা

লেম্মা 3.3: ICn\mathcal{IC}_n প্রায়-শক্তিশালী উৎপাদিত।

লেম্মা 3.14: 0≤p≤n−20 \leq p \leq n-2 এবং n≥4n \geq 4 এর জন্য, Jp∗⊂⟨Jp+1∗⟩J^*_p \subset \langle J^*_{p+1} \rangle।

সংশ্লিষ্ট কাজ

এই পেপারটি রূপান্তর অর্ধগ্রুপ তত্ত্বের সমৃদ্ধ সাহিত্যের ভিত্তিতে প্রতিষ্ঠিত, বিশেষত:

  • গ্যানিউশকিন এবং মাজোরচুক এর ক্লাসিক কাজ তাত্ত্বিক কাঠামো প্রদান করে
  • উমার এবং অন্যদের পূর্ববর্তী কাজ ক্রম-হ্রাস রূপান্তর অর্ধগ্রুপের ভিত্তি তত্ত্ব প্রতিষ্ঠা করে
  • ফাউন্টেইন এর সমৃদ্ধ অর্ধগ্রুপ তত্ত্ব বিশ্লেষণ সরঞ্জাম প্রদান করে

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

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

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

তাত্ত্বিক তাৎপর্য

  • রূপান্তর অর্ধগ্রুপ তত্ত্বের বিষয়বস্তু সমৃদ্ধ করে
  • ক্যাটালান সংখ্যা এবং অর্ধগ্রুপ র‍্যাঙ্কের মধ্যে নতুন সংযোগ স্থাপন করে
  • সংশ্লিষ্ট রূপান্তর অর্ধগ্রুপের আরও গবেষণার জন্য পদ্ধতিগত ভিত্তি প্রদান করে

সীমাবদ্ধতা

  • প্রধানত সীমিত ক্ষেত্রে ফোকাস করে, অসীম ক্ষেত্রে সম্প্রসারণ এখনও অন্বেষণ করা হয়নি
  • কিছু প্রমাণ নির্দিষ্ট সমন্বয় গণনার উপর নির্ভর করে, সাধারণীকরণের ডিগ্রি সীমিত

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

সুবিধা

  1. শক্তিশালী সিস্টেমেটিকতা: সংশ্লিষ্ট অর্ধগ্রুপের একাধিক গুরুত্বপূর্ণ বৈশিষ্ট্য ব্যাপকভাবে অধ্যয়ন করা হয়েছে
  2. পরিশীলিত কৌশল: অর্ধগ্রুপ তত্ত্বের একাধিক সরঞ্জাম দক্ষতার সাথে প্রয়োগ করা হয়েছে
  3. সম্পূর্ণ ফলাফল: নির্ভুল সূত্র এবং সম্পূর্ণ চিহ্নিতকরণ প্রদান করা হয়েছে
  4. পদ্ধতিগত উদ্ভাবন: অপরিহার্য উপাদান এবং প্রয়োজনীয় উপাদানের ধারণা প্রবর্তন করা হয়েছে

অপূর্ণতা

  1. কিছু প্রমাণ অত্যন্ত প্রযুক্তিগত, জ্যামিতিক বা সমন্বয় স্বজ্ঞা অভাব
  2. অন্যান্য গণিত শাখার সাথে সংযোগ অন্বেষণ যথেষ্ট গভীর নয়
  3. গণনামূলক জটিলতা দিক বিবেচনা কম

প্রভাব

এই পেপারের ফলাফল রূপান্তর অর্ধগ্রুপ তত্ত্বে গুরুত্বপূর্ণ প্রভাব ফেলবে, বিশেষত:

  • ক্রম রূপান্তর অর্ধগ্রুপের শ্রেণীবিভাগ তত্ত্ব
  • অর্ধগ্রুপের সমন্বয় বৈশিষ্ট্য গবেষণা
  • ক্যাটালান কাঠামোর বীজগাণিতিক বাস্তবায়ন

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

  • রূপান্তর অর্ধগ্রুপ তত্ত্ব গবেষণা
  • সমন্বয় অর্ধগ্রুপ তত্ত্ব
  • বীজগাণিতিক সমন্বয় গণিতে গণনা সমস্যা
  • সীমিত অর্ধগ্রুপের কাঠামো বিশ্লেষণ

এই পেপারটি রূপান্তর অর্ধগ্রুপ তত্ত্বে গুরুত্বপূর্ণ নতুন ফলাফল অবদান রাখে, গভীর প্রযুক্তিগত দক্ষতা এবং সুসংগত গবেষণা পদ্ধতি প্রদর্শন করে, এবং এই ক্ষেত্রে একটি গুরুত্বপূর্ণ অগ্রগতি।