English
Related papers

Related papers: On injective partial Catalan monoids

200 papers

We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as…

Group Theory · Mathematics 2019-11-19 James East

Let $S\subseteq \mathbb N^p$ be a semigroup, any $P\subseteq S$ is an ideal of $S$ if $P+S\subseteq P$, and an $I(S)$-semigroup is the affine semigroup $P\cup \{0\}$, with $P$ an ideal of $S$. We characterise the $I(S)$-semigroups and the…

Commutative Algebra · Mathematics 2024-05-24 J. I. García-García , R. Tapia-Ramos , A. Vigneron-Tenorio

A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a…

Group Theory · Mathematics 2022-11-14 Victoria Gould , Craig Miller , Thomas Quinn-Gregson , Nik Ruskuc

Let ${\cal M}(S; \Lambda; P)$ denote a Rees $I\times \Lambda$ matrix semigroup without zero over a semigroup $S$, where $I$ is a singleton. If $\theta _S$ denotes the kernel of the right regular representation of a semigroup $S$, then a…

Group Theory · Mathematics 2022-11-15 Csaba Tóth

Let G be a finite group that acts on an abelian monoid A. If f: A -> G is a map so that f(a f(a)(b)) = f(a)f(b), for all a, b in A, then the submonoid S = {(a, f(a)) | a in A} of the associated semidirect product of A and G is said to be a…

Rings and Algebras · Mathematics 2007-11-06 Isabel Goffa , Eric Jespers

Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that…

Rings and Algebras · Mathematics 2023-10-31 Mosarof Sarkar , Shubh N. Singh

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Group Theory · Mathematics 2023-08-02 Taras Mokrytskyi

Let $A = \mathbb{F}_q[T]$, $\mathfrak{p} \subset A$ prime, $f(x) \in A[x]$ irreducible and set $R = A[x]/f(x)$. Denote its completion by $R_\mathfrak{p}$. The ideal class monoid $\text{ICM}(R_\mathfrak{p})$ is the set of fractional…

Number Theory · Mathematics 2026-01-21 Arix Eggink

We construct the \emph{inverse partition semigroup} $\mathcal{IP}_X$, isomorphic to the \emph{dual symmetric inverse monoid} $\mathcal{I}^{\ast}_X$, introduced in [6]. We give a convenient geometric illustration for elements of…

Group Theory · Mathematics 2007-05-23 Victor Maltcev

Let $n$ be any positive integer and $\mathscr{I\!\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We study…

Group Theory · Mathematics 2019-02-28 Oleg Gutik , Taras Mokrytskyi

Let $\mathbb{N}^{2}_{\leqslant}$ be the set $\mathbb{N}^{2}$ with the partial order defined as the product of usual order $\leq$ on the set of positive integers $\mathbb{N}$. We study the semigroup…

Group Theory · Mathematics 2017-05-08 Oleg Gutik , Inna Pozdniakova

Let $n$ be a positive integer and $R=(M_{ij})_{1\leq i,j\leq n}$ be a generalized matrix ring. For each $1\leq i,j\leq n$, let $I_i$ be an ideal of the ring $R_i:=M_{ii}$ and denote $I_{ij}=I_iM_{ij}+M_{ij}I_j$. We give sufficient…

Rings and Algebras · Mathematics 2023-08-29 Dirceu Bagio , Héctor Pinedo

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…

Group Theory · Mathematics 2021-01-19 Francisco Araújo , Michael Kinyon

Suppose that $X$ be a nonempty set. Denote by $\mathcal{T}(X)$ the full transformation semigroup on $X$. For $\varnothing \neq Z\subseteq Y\subseteq X$, let $\mathcal{T}(X,Y,Z)=\{\alpha \in \mathcal{T}(X): Y\alpha \subseteq Z \}$. Then…

Group Theory · Mathematics 2023-06-02 Jiulin Jin , Taijie You

We introduce a class of finite semigroups obtained by considering Rees quotients of numerical semigroups. Several natural questions concerning this class, as well as particular subclasses obtained by considering some special ideals, are…

Rings and Algebras · Mathematics 2019-02-12 Manuel Delgado , Vítor H. Fernandes

Good semigroups form a class of submonoids of $\mathbb{N}^d$ containing the value semigroups of curve singularities. In this article, we describe a partition of the complements of good semigroup ideals, having as main application the…

Combinatorics · Mathematics 2021-01-12 Lorenzo Guerrieri , Nicola Maugeri , Vincenzo Micale

We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$…

Representation Theory · Mathematics 2025-12-30 Mihalis Maliakas , Dimitra-Dionysia Stergiopoulou

We obtain several combinatorial results about chains, cycles and orbits of the elements of the symmetric inverse semigroup $\IS_n$ and the set $T_n$ of nilpotent elements in $\IS_n$. We also get some estimates for the growth of $|\IS_n|$…

Combinatorics · Mathematics 2010-04-02 Olexandr Ganyushkin , Volodymyr Mazorchuk

A numerical semigroup is a submonoid of ${\mathbb Z}_{\ge 0}$ whose complement in ${\mathbb Z}_{\ge 0}$ is finite. For any set of positive integers $a,b,c$, the numerical semigroup $S(a,b,c)$ formed by the set of solutions of the inequality…

Number Theory · Mathematics 2024-11-11 Edgar Federico Elizeche , Amitabha Tripathi

Let $\mathcal{ORD}_{n}$ be the semigroup consisting of all oriented and order-decreasing full transformations on the finite chain $X_{n}=\{ 1<\cdots<n \}$, and for $1\leq r\leq n-1$, let $$\mathcal{ORD}(n,r) =\{\alpha \in…

Rings and Algebras · Mathematics 2026-03-20 Gonca Ayık , Hayrullah Ayık , Ilinka Dimitrova , Jörg Koppitz