Related papers: Sandwich semigroups in locally small categories II…

Let $T(X)$ be the full transformation semigroup on a set $X$ under the composition of functions. For any equivalence relation $E$ on $X$, define a subsemigroup $T_{E^*}(X)$ of $T(X)$ by $$T_{E^*}(X)=\{\alpha\in T(X):\text{for all}\ x,y\in…

Let $X$ be an infinite linearly ordered set and let $Y$ be a nonempty subset of $X$. We calculate the relative rank of the semigroup $OP(X,Y)$ of all orientation-preserving transformations on $X$ with restricted range $Y$ modulo the…

Let $T_X$ be the semigroup of all non-invertible transformations on an arbitrary set $X$. It is known that $T_X$ is a regular semigroup. The principal right(left) ideals of a regular semigroup $S$ with partial left(right) translations as…

In this paper, we determine the relative rank of the semigroup $T(X,Y)$ of all transformations on a finite chain $X$ with restricted range $Y \subseteq X$ modulo the set $OP(X,Y)$ of all orientation-preserving transformation in $T(X,Y)$.…

For each subchain $X'$ of a chain $X$, let $T_{RE}(X, X')$ denote the semigroup under composition of all full regressive transformations, $\alpha:X\rightarrow X'$ satisfying $x\alpha\leq x$ for all $x\in X$. Necessary and sufficient…

Let $X$ be a nonempty set and $T(X)$ the full transformation semigroup on $X$. For any equivalence relation $E$ on $X$, define a subsemigroup $T_{E^*}(X)$ of $T(X)$ by $$ T_{E^*}(X)=\{\alpha\in T(X):\text{for all}\ x,y\in X, (x,y)\in…

This paper deals with the extension of partial actions of topological groups on topological spaces. Within this framework, we introduce a class of topological embeddings defined via the inverse semigroup of homeomorphisms between open…

Given a $\Gamma$-semigroup $S$, we construct a semigroup $\Sigma$ in such a way that one sided ideals and quasi-ideals of $S$ can be regarded as one sided ideals and quasi-ideals respectively of $\Sigma$. This correspondence and other…

A variant of a semigroup $S$ with respect to an element $a\in S$ is the semigroup $S^{a}=(S,\star_{a})$, where $x\star_{a}y=xay$ for any $x,y\in S$. Here, $a$ is the sandwich element of $S^{a}$. In this article, we study variants of the…

Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples of semigroups to…

We describe general methods for enumerating subsemigroups of finite semigroups and techniques to improve the algorithmic efficiency of the calculations. As a particular application we use our algorithms to enumerate all transformation…

The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that…

For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum…

Let $\mathcal{X}$ be a separable Hilbert space with norm $\|\cdot\|$ and let $T>0$. Let $Q$ be a linear, self-adjoint, positive, trace class operator on $\mathcal{X}$, let $F:\mathcal{X}\rightarrow \mathcal{X}$ be a (smooth enough) function…

In the paper the notion of a star partial homeomorphism of a finite dimensional Euclidean space $\mathbb{R}^n$ is introduced. We describe the structure of the semigroup $\mathbf{PStH}_{\mathbb{R}^n}$ of star partial homeomorphisms of the…

The structure of transformation semigroups on a finite set is analyzed by introducing a hierarchy of functions mapping subsets to subsets. The resulting hierarchy of semigroups has a corresponding hierarchy of minimal ideals, or kernels.…

For $n \in \mathbb{N}$, let $X_n = \{a_1, a_2, \ldots, a_n\}$ be an $n$ - element set and let $\textbf{F} = (X_n; <_f)$ be a fence, also called a zigzag poset. As usual, we denote by $I_n$ the symmetric inverse semigroup on $X_n$. We say…

Let $\Omega$ be a finite set and $T(\Omega)$ be the full transformation monoid on $\Omega$. The rank of a transformation $t\in T(\Omega)$ is the natural number $|\Omega t|$. Given $A\subseteq T(\Omega)$, denote by $\langle A\rangle$ the…

Given a set-theoretical solution of the pentagon equation $s:S\times S\to S\times S$ on a set $S$ and writing $s(a, b)=(a\cdot b,\, \theta_a(b))$, with $\cdot$ a binary operation on $S$ and $\theta_a$ a map from $S$ into itself, for every…

Let $X$ be a nonempty set and let $T(X)$ be the full transformation semigroup on $X$. The main objective of this paper is to study the subsemigroup $\overline{\Omega}(X, Y)$ of $T(X)$ defined by \[\overline{\Omega}(X, Y) = \{f\in T(X)\colon…