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

О инъективных частичных моноидах Каталана

Основная информация

  • ID статьи: 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 монотонных и убывающих по порядку инъективных частичных преобразований на конечной цепи [n]={1,2,…,n}[n] = \{1, 2, \ldots, 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: Квазиидемпотент ε\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 высоты pp в Qn′\mathcal{Q}'_n называется необходимым, если оно имеет вид: α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 является полной (ample)

Формулы ранга

Теорема 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. Ограниченное рассмотрение аспектов вычислительной сложности

Влияние

Результаты данной работы окажут значительное влияние на теорию полугрупп преобразований, в частности на:

  • Теорию классификации убывающих по порядку полугрупп преобразований
  • Исследование комбинаторных свойств полугрупп
  • Подсчёт в алгебраической комбинаторике
  • Анализ структуры конечных полугрупп

Области применения

  • Исследования в теории полугрупп преобразований
  • Комбинаторная теория полугрупп
  • Задачи подсчёта в алгебраической комбинаторике
  • Анализ структуры конечных полугрупп

Данная работа вносит важные новые результаты в теорию полугрупп преобразований, демонстрирует глубокие технические навыки и систематический подход к исследованию, представляя собой значительный прогресс в данной области.