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
  • العنوان: On injective partial Catalan monoids
  • المؤلفون: F. S. Al-Kharousi, A. Umar, M. M. Zubairu
  • التصنيف: math.GR (نظرية الزمر)
  • تاريخ النشر: 3 يناير 2025
  • رابط الورقة: https://arxiv.org/abs/2501.00285

الملخص

تدرس هذه الورقة الخصائص الجبرية وخصائص الرتبة لنصف زمر التحويلات الجزئية الحقنية الرتيبة والمتناقصة ترتيبياً ICn\mathcal{IC}_n ونصف الزمرة الجزئية Qn′\mathcal{Q}'_n على السلسلة المحدودة [n]={1,2,…,n}[n] = \{1, 2, \ldots, 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: يُقال إن العنصر شبه الإدماجي ε\varepsilon ذو الإزاحة 1 أساسي إذا كان له الشكل: ε=(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: يُقال إن التطبيق الحقني α\alpha في Qn′\mathcal{Q}'_n ذو الارتفاع pp ضروري إذا كان له الشكل: α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.

الأعمال ذات الصلة

تبني هذه الورقة على أساس أدبيات غنية في نظرية نصف زمر التحويلات، وخاصة:

  • الأعمال الكلاسيكية لـ Ganyushkin و Mazorchuk توفر الإطار النظري
  • الأعمال السابقة لـ Umar وآخرين تؤسس النظرية الأساسية لنصف زمر التحويلات المتناقصة ترتيبياً
  • نظرية نصف الزمر الوافرة لـ Fountain توفر أدوات التحليل

الخلاصات والنقاش

الاستنتاجات الرئيسية

  1. التحديد الكامل للخصائص الجبرية لنصف زمر كاتالان الجزئية الحقنية وهياكلها الجزئية
  2. توفير صيغ رتبة دقيقة لجميع نصف الزمر ذات الصلة
  3. توصيف البنية الكاملة للنصف زمر الجزئية العظمى

الأهمية النظرية

  • إثراء محتوى نظرية نصف زمر التحويلات
  • إنشاء روابط جديدة بين أرقام كاتالان ورتبة نصف الزمرة
  • توفير منهجية لمزيد من البحث في نصف زمر التحويلات ذات الصلة

القيود

  • التركيز الأساسي على الحالات المحدودة، ولم يتم تناول تعميم الحالات اللانهائية
  • تعتمد بعض الإثباتات على حسابات توافقية محددة، مع درجة محدودة من التعميم

التقييم المتعمق

المميزات

  1. قوة النظامية: دراسة شاملة لعدة خصائص مهمة لنصف الزمر ذات الصلة
  2. براعة تقنية: استخدام ماهر لأدوات متعددة من نظرية نصف الزمر
  3. اكتمال النتائج: توفير صيغ دقيقة وتوصيفات كاملة
  4. ابتكار الطريقة: إدخال مفاهيم العناصر الأساسية والعناصر الضرورية

أوجه القصور

  1. بعض الإثباتات ذات طبيعة تقنية للغاية، وتفتقر إلى الحدس الهندسي أو التوافقي
  2. استكشاف الروابط مع فروع رياضية أخرى غير كافٍ
  3. الاعتبارات المتعلقة بالتعقيد الحسابي محدودة نسبياً

التأثير

ستؤثر نتائج هذه الورقة تأثيراً مهماً على نظرية نصف زمر التحويلات، خاصة في:

  • نظرية تصنيف نصف زمر التحويلات الترتيبية
  • دراسة الخصائص التوافقية لنصف الزمر
  • تحقيق هياكل كاتالان الجبرية
  • تحليل البنية لنصف الزمر المحدودة

حالات التطبيق

  • بحث نظرية نصف زمر التحويلات
  • نظرية نصف الزمر التوافقية
  • الرياضيات الجبرية التوافقية في مسائل العد
  • تحليل بنية نصف الزمر المحدودة

تساهم هذه الورقة بنتائج جديدة مهمة في نظرية نصف زمر التحويلات، وتظهر براعة تقنية عميقة وطريقة بحث منهجية، وتمثل تقدماً مهماً في هذا المجال.