2025-11-10T02:36:05.255019

On certain semigroups of finite oriented and order-decreasing partial transformations

Ayık, Ayık, Dimitrova et al.
Let $\mathcal{PORD}_{n}$ be the semigroup consisting of all oriented and order-decreasing partial transformations on the finite chain $X_{n}=\{ 1<\cdots<n \}$. Let $\mathcal{IORD}_{n}$ be the subsemigroup of $\mathcal{PORD}_{n}$ consisting of all injective transformations of $\mathcal{PORD}_{n}$. For $2\leq r\leq n$, let $\mathcal{PORD}(n,r) =\{ α\in \mathcal{PORD}_{n} :\lvert \text{im}(α) \rvert \leq r\}$ and $\mathcal{IORD}(n,r)=\{ α\in \mathcal{IORD}_{n} :\lvert \text{im}(α)\rvert \leq r\}$. In this paper, we determine some minimal generating sets and ranks of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$, and moreover, we characterize the maximal subsemigroups of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$.
academic

حول بعض الزمر النصفية للتحويلات الجزئية الموجهة والمتناقصة للرتبة على مجموعات منتهية

المعلومات الأساسية

  • معرّف الورقة: 2510.13484
  • العنوان: حول بعض الزمر النصفية للتحويلات الجزئية الموجهة والمتناقصة للرتبة
  • المؤلفون: Gonca Ayık, Hayrullah Ayık, Ilinka Dimitrova, Jörg Koppitz
  • التصنيف: math.RA (الحلقات والجبر)
  • تاريخ النشر: 15 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2510.13484v1

الملخص

تدرس هذه الورقة الزمرة النصفية PORDn\mathcal{PORD}_n للتحويلات الجزئية الموجهة والمتناقصة للرتبة على السلسلة المنتهية Xn={1<⋯<n}X_n = \{1 < \cdots < n\}، وكذلك الزمرة النصفية الجزئية الحقنية IORDn\mathcal{IORD}_n. بالنسبة لـ 2≤r≤n2 \leq r \leq n، يتم تعريف PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} و IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\}. تحدد الورقة المجموعات المولدة الدنيا والرتبة لـ PORD(n,r)\mathcal{PORD}(n,r) و IORD(n,r)\mathcal{IORD}(n,r)، وتصف الزمر النصفية الجزئية العظمى.

السياق البحثي والدافع

خلفية المشكلة

نظرية الزمر النصفية للتحويلات تمثل فرعاً مهماً من الجبر، حيث تدرس البنية الجبرية للتحويلات على المجموعات. تركز هذه الورقة على المشاكل الأساسية التالية:

  1. التحويلات الموجهة: يُقال إن التحويل الجزئي α\alpha موجه إذا كان محافظاً على الاتجاه أو معكوساً للاتجاه
  2. المتناقصة للرتبة: لكل عنصر xx في مجال التعريف، يكون xα≤xx\alpha \leq x
  3. المجموعات المولدة والرتبة: تحديد المجموعة المولدة الدنيا وحجمها (الرتبة)
  4. الزمر النصفية الجزئية العظمى: وصف بنية جميع الزمر النصفية الجزئية العظمى

أهمية البحث

  1. القيمة النظرية: توسيع نظرية الزمر النصفية للتحويلات، خاصة فيما يتعلق بفئات خاصة من التحويلات على السلاسل المنتهية
  2. تحليل البنية: فهم عميق للبنية الجبرية والخصائص التوافقية لهذه الفئة من الزمر النصفية
  3. الأساس التطبيقي: توفير أساس نظري للبحث في الرياضيات التوافقية والبنى الجبرية ذات الصلة

حدود البحث الحالي

على الرغم من وجود أبحاث حول التحويلات المحافظة على الرتبة والتحويلات المحافظة على الاتجاه، إلا أن الوصف الكامل للمجموعات المولدة والرتبة والزمر النصفية الجزئية العظمى للتحويلات الجزئية التي تحقق شرطي الاتجاه والتناقص للرتبة في نفس الوقت لم يكن واضحاً.

المساهمات الأساسية

  1. تحديد المجموعة المولدة الدنيا لـ PORD(n,r)\mathcal{PORD}(n,r): يثبت أنه عندما n−⌊n/3⌋≤r≤n−1n-\lfloor n/3 \rfloor \leq r \leq n-1، فإن Er∪Fr∪GnE_r \cup F_r \cup G_n هي مجموعة مولدة دنيا
  2. حساب رتبة الزمرة النصفية:
    • rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}
    • rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1
  3. وصف الحالة الحقنية: إعطاء صيغ المجموعة المولدة والرتبة لـ IORD(n,r)\mathcal{IORD}(n,r)
  4. وصف كامل للزمر النصفية الجزئية العظمى: تصنيف جميع الزمر النصفية الجزئية العظمى لنطاقات معاملات مختلفة

شرح الطريقة

التعاريف والرموز الأساسية

  • السلسلة المنتهية: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • التحويل الجزئي: دالة من مجموعة جزئية من XnX_n إلى XnX_n
  • التحويل الموجه: تحويل محافظ على الاتجاه أو معكوس للاتجاه
  • المتناقص للرتبة: لكل x∈dom(α)x \in \text{dom}(\alpha)، يكون xα≤xx\alpha \leq x

المفاهيم التقنية الرئيسية

1. تصنيف العناصر الخاملة

تثبت الورقة أن E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n)، حيث:

  • Er(PORDn)={α∈E(PORDn):∣im(α)∣=r}E_r(\mathcal{PORD}_n) = \{\alpha \in E(\mathcal{PORD}_n) : |\text{im}(\alpha)| = r\}
  • ∣Er(PORDn)∣=(nr)2n−r|E_r(\mathcal{PORD}_n)| = \binom{n}{r}2^{n-r}

2. العناصر غير القابلة للتحليل

تعريف ثلاث فئات من العناصر غير القابلة للتحليل:

  • ErE_r: العناصر الخاملة بحجم صورة rr
  • FrF_r: عناصر خاملة بصيغة محددة ξp,qr\xi^r_{p,q}
  • GnG_n: تحويلات معكوسة محددة γp,q\gamma_{p,q}

3. درجة الاتجاه المعكوس

بالنسبة لـ α∈PORDn∗\alpha \in \mathcal{PORD}^*_n، يُعرّف: ord(α)=max⁡{m:α∣Xm∈PMDn و max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ و } \max(\text{im}(\alpha)) = (m+1)\alpha\}

النظريات الأساسية

النظرية 8 (النتيجة الرئيسية)

عندما n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1، فإن Er∪Fr∪GnE_r \cup F_r \cup G_n هي مجموعة مولدة دنيا لـ PORD(n,r)\mathcal{PORD}(n,r)، و: rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}

خطوط البرهان

  1. إثبات أن كل عنصر غير قابل للتحليل
  2. إثبات ضرورة المجموعة المولدة
  3. إثبات كفاية المجموعة المولدة، من خلال تمثيل أي عنصر كحاصل ضرب المولدات

الإعداد التجريبي

التحقق النظري

هذه الورقة عبارة عن بحث نظري بحت، يتم التحقق من النتائج من خلال البرهان الرياضي:

  1. العد التوافقي: التحقق من صيغ عدد العناصر من كل فئة
  2. أمثلة محددة: إعطاء حسابات محددة في حالات صغيرة الحجم
  3. حالات خاصة: التحقق من النتائج المعروفة كحالات خاصة

طرق التحقق

  • إثبات النظريات الرئيسية باستخدام الاستقراء الرياضي
  • استخدام النقاش بالحالات للتعامل مع نطاقات معاملات مختلفة
  • البراهين البنائية لعرض عملية التوليد

نتائج التجارب

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

1. نتائج حساب الرتبة

  • rank(PORD4)=13\text{rank}(\mathcal{PORD}_4) = 13
  • rank(PORD5)=21\text{rank}(\mathcal{PORD}_5) = 21
  • الصيغة العامة: rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1

2. الحالة الحقنية

rank(IORD(n,r))=(nr)+n(n−2r−1)+(r−2)n−r2−r−22+n(n−3)2\text{rank}(\mathcal{IORD}(n,r)) = \binom{n}{r} + n\binom{n-2}{r-1} + \frac{(r-2)n - r^2 - r - 2}{2} + \frac{n(n-3)}{2}

3. تصنيف الزمر النصفية الجزئية العظمى

بالنسبة لـ n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1، هناك ثلاثة أنواع من الزمر النصفية الجزئية العظمى:

  1. PORD(n,r)∖{ε}\mathcal{PORD}(n,r) \setminus \{\varepsilon\}، حيث ε∈Er\varepsilon \in E_r
  2. PORD(n,r)∖Fp,qr\mathcal{PORD}(n,r) \setminus F^r_{p,q}
  3. PORD(n,r)∖Gp,q\mathcal{PORD}(n,r) \setminus G_{p,q}

الاكتشافات المهمة

القضية 1

rn=max⁡{∣im(α)∣:α∈PRDn∗}=n−⌊n/3⌋r_n = \max\{|\text{im}(\alpha)| : \alpha \in \mathcal{PRD}^*_n\} = n - \lfloor n/3 \rfloor

تحدد هذه النتيجة أقصى حجم صورة للتحويلات المعكوسة المتناقصة للرتبة.

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

التطور التاريخي

  1. Gomes و Howie (1992): تحديد رتبة الزمر النصفية للتحويلات المحافظة على الرتبة
  2. Fernandes وآخرون (2009): دراسة رتبة التحويلات المحافظة على الاتجاه
  3. Dimitrova و Koppitz (2012): دراسة التحويلات المحافظة على الرتبة والموسعة
  4. Ayık وآخرون (2025): دراسة التحويلات المحافظة على الاتجاه والمتناقصة للرتبة

مساهمة هذه الورقة

تدرس هذه الورقة للمرة الأولى بشكل كامل الزمر النصفية للتحويلات الجزئية الموجهة والمتناقصة للرتبة، مما يملأ الفراغ النظري لهذه الفئة المحددة من التحويلات.

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

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

  1. تحديد كامل لرتبة PORD(n,r)\mathcal{PORD}(n,r) و IORD(n,r)\mathcal{IORD}(n,r)
  2. إعطاء مجموعات مولدة دنيا صريحة
  3. وصف كامل لجميع الزمر النصفية الجزئية العظمى

القيود

  1. بالنسبة لـ 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor، لم يتمكن من إعطاء صيغة صريحة لـ ∣Hnr∣|H^r_n|
  2. بعض البراهين تعتمد على نقاش معقد بالحالات، قد توجد طرق أكثر بساطة

الاتجاهات المستقبلية

تقترح الورقة مسائل مفتوحة: هل توجد صيغة صريحة لـ ∣Hnr∣|H^r_n|؟ هذا يشير إلى اتجاهات البحث المستقبلي.

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

المميزات

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

أوجه القصور

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

التأثير

  1. المساهمة النظرية: إثراء نظرية الزمر النصفية للتحويلات
  2. قيمة الطريقة: الأساليب التقنية المقدمة قابلة للتطبيق على مسائل مماثلة
  3. البحث اللاحق: توفير أساس للبحث في المجالات ذات الصلة

السيناريوهات القابلة للتطبيق

  1. دراسة البنى الجبرية: نظرية الزمر النصفية والتحويلات
  2. الرياضيات التوافقية: مسائل العد للبنى المنتهية
  3. علوم الحاسوب النظرية: البنى التحويلية في نظرية الآليات

المراجع

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

التقييم الإجمالي: هذه ورقة بحثية رياضية عالية الجودة تدرس بشكل منهجي فئة جديدة من الزمر النصفية للتحويلات، وتحصل على نتائج نظرية بنيوية كاملة. على الرغم من أنها بحث نظري بحت، إلا أن الطريقة مبتكرة والنتائج كاملة، مما يمثل مساهمة مهمة في نظرية الزمر النصفية للتحويلات.