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

সীমিত দিকনির্দেশিত এবং ক্রম-হ্রাসকারী আংশিক রূপান্তরের নির্দিষ্ট অর্ধগোষ্ঠী সম্পর্কে

মৌলিক তথ্য

  • পত্রের ID: 2510.13484
  • শিরোনাম: সীমিত দিকনির্দেশিত এবং ক্রম-হ্রাসকারী আংশিক রূপান্তরের নির্দিষ্ট অর্ধগোষ্ঠী সম্পর্কে
  • লেখক: গোঙ্কা আয়িক, হায়রুল্লাহ আয়িক, ইলিংকা ডিমিত্রোভা, জর্গ কপিটজ
  • শ্রেণীবিভাগ: math.RA (বলয় এবং বীজগণিত)
  • প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর
  • পত্রের লিঙ্ক: https://arxiv.org/abs/2510.13484v1

সারসংক্ষেপ

এই পত্রটি সীমিত শৃঙ্খল Xn={1<⋯<n}X_n = \{1 < \cdots < n\} এর উপর দিকনির্দেশিত এবং ক্রম-হ্রাসকারী আংশিক রূপান্তর অর্ধগোষ্ঠী PORDn\mathcal{PORD}_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. গোমেস এবং হোয়াই (১৯৯২): ক্রম-সংরক্ষণকারী রূপান্তর অর্ধগোষ্ঠীর মান নির্ধারণ করেছেন
  2. ফার্নান্ডেস এবং অন্যরা (২০০৯): দিক-সংরক্ষণকারী রূপান্তরের মান অধ্যয়ন করেছেন
  3. ডিমিত্রোভা এবং কপিটজ (২০১২): ক্রম-সংরক্ষণকারী সম্প্রসারণ রূপান্তর অধ্যয়ন করেছেন
  4. আয়িক এবং অন্যরা (২০২৫): দিক-সংরক্ষণকারী ক্রম-হ্রাসকারী রূপান্তর অধ্যয়ন করেছেন

এই পত্রের অবদান

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

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

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

  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. তাত্ত্বিক কম্পিউটার বিজ্ঞান: স্বয়ংক্রিয় যন্ত্র তত্ত্বে রূপান্তর কাঠামো

তথ্যসূত্র

পত্রটি ৩০টি সম্পর্কিত তথ্যসূত্র উদ্ধৃত করে, যা রূপান্তর অর্ধগোষ্ঠী তত্ত্বের প্রধান উন্নয়ন প্রক্রিয়া, বিশেষ করে ক্রম-সংরক্ষণকারী রূপান্তর, দিক-সংরক্ষণকারী রূপান্তর এবং সম্পর্কিত অর্ধগোষ্ঠী কাঠামোর গবেষণা ফলাফল অন্তর্ভুক্ত করে।

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