English
Related papers

Related papers: Semigroup of transformations with restricted parti…

200 papers

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…

Group Theory · Mathematics 2017-03-02 James East , Attila Egri-Nagy , James D. Mitchell

In this note, we consider the semigroup $O(X)$ of all order endomorphisms of an infinite chain $X$ and the subset $J$ of $O(X)$ of all transformations $\alpha$ such that $|Im(\alpha)|=|X|$. For an infinite countable chain $X$, we give a…

Rings and Algebras · Mathematics 2021-11-25 Ilinka Dimitrova , Vítor H. Fernandes , Jörg Koppitz

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Group Theory · Mathematics 2019-06-12 Benjamin Blanchette , Christian Choffrut , Christophe Reutenauer

Let $S$ be a semigroup. The elements $a,b\in S$ are called primarily conjugate if $a=xy$ and $b=yx$ for certain $x,y\in S$. The relation of conjugacy is defined as the transitive closure of the relation of primary conjugacy. In the case…

Group Theory · Mathematics 2007-05-23 Ganna Kudryavtseva

A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set $X$ is a generating set such that no proper subset of $X$ is also a generating set. A semigroup $S$ is…

Group Theory · Mathematics 2019-12-23 Julius Jonušas , Sascha Troscheit

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

Logic · Mathematics 2026-02-06 Anand Pillay , Atticus Stonestrom

Let $\mathcal{CT}_n$ be the semigroup of full contraction mappings on $[n]=\{1,2,\ldots,n\}$, and let $\mathcal{OCT}_n$ and $\mathcal{ODCT}_n$ be the subsemigroups consisting of all order-preserving full contraction and subsemigroup of…

Group Theory · Mathematics 2022-04-18 M. M. Zubairu , A. Umar , J. A. Aliyu

Since its introduction by Symons, the semigroup of maps with restricted range has been studied in the context of transformations on a set, or of linear maps on a vector space. Sets and vector spaces being particular examples of independence…

Rings and Algebras · Mathematics 2024-04-24 Ambroise Grau

In this paper we study the regular semigroups weakly generated by a single element x, that is, with no proper regular subsemigroup containing x. We show there exists a regular semigroup $F_1$ weakly generated by x such that all other…

Group Theory · Mathematics 2023-02-17 Luís Oliveira

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

Group Theory · Mathematics 2007-05-23 Alireza Abdollahi , Aliakbar Mohammadi Hassanabadi

We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary…

Rings and Algebras · Mathematics 2019-09-24 Miguel Couceiro , Jimmy Devillet

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.…

Probability · Mathematics 2016-12-02 G. Budzban , Ph. Feinsilver

A semigroup $T$ is called Taimanov if $T$ contains two distinct elements $0,\infty$ such that $xy=\infty$ for any distinct points $x,y\in T\setminus\{0,\infty\}$ and $xy=0$ in all other cases. We prove that any Taimanov semigroup $T$ has…

Group Theory · Mathematics 2017-01-27 Oleg Gutik

A DR-semigroup $S$ (also known as a reduced E-semiabundant or reduced E-Fountain semigroup) is here viewed as a semigroup equipped with two unary operations $D,R$ satisfying finitely many equational laws. Examples include DRC-semigroups…

Rings and Algebras · Mathematics 2026-01-08 Tim Stokes

We characterize the intra-regular $\Gamma$-semigroups and the left regular $\Gamma$-semigroups $M$ in which $x\Gamma M\subseteq M\Gamma x$ for every $x\in M$ in terms of filters and we prove, among others, that every intra-regular…

General Mathematics · Mathematics 2015-11-25 Niovi Kehayopulu , Michael Tsingelis

This paper aims to introduce a more general definition of quasirandom groups and generalize several well-known results in the literature in this new setting. More precisely, let $G$ be a semi-direct product of groups and $X\subseteq G$, we…

Combinatorics · Mathematics 2023-08-28 Thang Pham , Boqing Xue

Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in…

Commutative Algebra · Mathematics 2022-02-08 Taras Banakh , Serhii Bardyla

Let $G$ be a group, $m\geq2$ and $n\geq1$. We say that $G$ is an $\mathcal{T}(m,n)$-group if for every $m$ subsets $X_1, X_2, \dots, X_m$ of $G$ of cardinality $n$, there exists $i\neq j$ and $x_i \in X_i, x_j \in X_j$ such that…

Group Theory · Mathematics 2018-01-03 A. Ahmadkhah , S. Marzang , M. Zarrin

Let $\mathbb{Z}$ be the additive (semi)group of integers. We prove that for a finite semigroup $S$ the direct product $\mathbb{Z}\times S$ contains only countably many subdirect products (up to isomorphism) if and only if $S$ is regular. As…

Group Theory · Mathematics 2024-04-30 Ashley Clayton , Catherine Reilly , Nik Ruškuc

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Logic · Mathematics 2021-06-24 Pantelis E. Eleftheriou , Alex Savatovsky