Regularity of the semigroup of transformations preserving a length

Worachead Sommanee
2024-06-03
Abstract:Let $X_n = \{1,2,\dots,n\}$ be a finite set $(n\geq 2)$ and $T_n$ the full transformation semigroup on $X_n$. For a positive integer $l\leq n-1$, we define $$T_n(l) = \{\alpha\in T_n \colon \forall x,y\in X_n,\, |x-y| = l \;\Rightarrow\; |x\alpha - y\alpha| = l\}$$ and $$T^*_n(l) = \{\alpha\in T_n \colon \forall x,y\in X_n,\, |x-y| = l \;\Leftrightarrow\; |x\alpha - y\alpha| = l\}.$$ Then $T_n(l)$ and $T^*_n(l)$ are subsemigroups of $T_n$. In this paper, we give a necessary and sufficient condition for $T_n(l)$ to be regular. Moreover, we prove that $T^*_n(l)$ is a regular semigroup.
Group Theory
What problem does this paper attempt to address?
This paper aims to explore the regularity problem of transformations that preserve a specific length in transformation semigroups. Specifically, the paper defines two subsemigroups \(T_n(l)\) and \(T_n^*(l)\), where: - \(T_n(l)\) is the set consisting of all transformations \(\alpha\) on \(X_n=\{1, 2, \ldots, n\}\) such that for all \(x, y\in X_n\), if \(|x - y| = l\), then \(|x\alpha - y\alpha| = l\). - \(T_n^*(l)\) is the set consisting of all transformations \(\alpha\) on \(X_n\) such that for all \(x, y\in X_n\), \(|x - y| = l\) if and only if \(|x\alpha - y\alpha| = l\). The main objectives of the paper are: 1. To give the necessary and sufficient conditions for \(T_n(l)\) to be a regular semigroup. 2. To prove that \(T_n^*(l)\) is always a regular semigroup. Through detailed mathematical analysis and proof, the paper explores the regularity of \(T_n(l)\) and \(T_n^*(l)\) in different situations and gives specific conclusions. For example, for \(T_n(1)\), the paper proves that \(T_n(1)\) is a regular semigroup if and only if \(n\in\{2, 3, 4, 5\}\). And for \(T_n^*(l)\), the paper proves that under certain specific conditions \(T_n^*(l)\) is always regular.