Nilpotents in finite symmetric inverse semigroups

We show that every such semigroup is a homomorphic image of a subsemigroup of some finite inverse semigroup. This shows that the pseudovariety generated by the finite inverse semigroups consists of exactly the finite semigroups with commuting idempotents.

We initiate the study of semitransitive transformation semigroups. In the paper we describe the structure of semitransitive subsemigroups of the finite symmetric inverse semigroup of the minimal cardinality modulo the classification of transitive subgroups of the minimal cardinality of finite symmetric groups, and state the results on minimal transitive subsemigroups.

Equations in finite semigroups: explicit enumeration and asymptotics of solution numbers

The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$. The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Dol\u{z}an and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.

SynopsisA regular semigroup S is called V-regular if for any elements a, b ∈ S and any inverse (ab)′ of ab, there exists an inverse a′ of a and an inverse b′ of b such that (ab)′ = b′a′. A characterization of a V-regular semigroup is given in terms of its partial band of idempotents. The strongly V-regular semigroups form a subclass of the class of V-regular semigroups which may be characterized in terms of their biordered set of idempotents. It is shown that the class of strongly V-regular semigroups comprises the elementary rectangular bands of inverse semigroups (including the completely simple semigroups), a special class of orthodox semigroups (including the inverse semigroups), the strongly regular Baer semigroups (including the semigroups that are the multiplicative semigroup of a von Neumann regular ring), the full transformation semigroup on a set, and the semigroup of all partial transformations on a set.

It is shown that every finite inverse semigroup having only solvable subgroups,viewed as a semigroup with the additional unary operation of inversion, has nofinite basis of identities, unless it is a strict inverse semigroup.

Unified theory for finite Markov chains

A filter in a semigroup is a subsemigroup whose complement is an ideal. (Alternatively, in a quasiordered semigroup, a slightly more general definition can be given.) We prove a number of results related to filters in a semigroup and the lattice of filters of a semigroup. For instance, we prove that every complete algebraic lattice can be the lattice of filters of a semigroup. We prove that every finite semigroup is a homomorphic image of a finite semigroup whose lattice of filters is boolean and which belongs to the pseudovariety generated by the original semigroup. We describe filter lattices of some well-known semigroups such as full transformation semigroups of finite sets (which are three-element chains) and free semigroups (which are boolean).

Let [Formula: see text] be an arbitrary infinite set, and let [Formula: see text] be a partition of [Formula: see text] indexed by [Formula: see text]. Denote by [Formula: see text] the full transformation semigroup on [Formula: see text], and let [Formula: see text]. The character map of an element [Formula: see text] of [Formula: see text] is the self-map [Formula: see text] defined as [Formula: see text] whenever [Formula: see text]. In this paper, we describe magnifiers in [Formula: see text] in terms of their character and restriction maps. We further describe magnifiers in the subsemigroups [Formula: see text], [Formula: see text], and [Formula: see text] of [Formula: see text] that consist of all transformations whose character maps are injective, surjective, and bijective, respectively.

There are two natural analogues of the symmetric group on n symbols in the theory of semigroups, namely, the set of all mappings of a set of n symbols into itself, and the set of all partial transformations of such a set, with the obvious definitions of multiplication. We are concerned here with the latter system. This is an inverse semigroup, and accordingly we call it the ‘symmetric inverse semigroup’. It gives rise to a semisimple algebra over a field of characteristic zero or a prime greater than n, and its matrix representations over such a field are thus completely reducible.

The full transformation semigroup F(X) is extremely important. As far back as 1952, Malcev (1952) showed that its automorphism group consisted of mappings of the form g-1 · g, g ∈ G(X). The present work is devoted to a generalization of this result.

A generalised D-semigroup is here defined to be a left E-semiabundant semigroup S in which the $$\overline{\mathcal R}_E$$ -class of every $$x\in S$$ contains a unique element D(x) of E, made into a unary semigroup. Two-sided versions are defined in the obvious way in terms of $$\overline{\mathcal R}_E$$ and $$\overline{\mathcal L}_E$$ . The resulting class of unary (bi-unary) semigroups is shown to be a finitely based variety, properly containing the variety of D-semigroups (defined in an order-theoretic way in Communications in Algebra, 3979–4007, 2014). Important subclasses associated with the regularity and abundance properties are considered. The full transformation semigroup $$T_X$$ can be made into a generalised D-semigroup in many natural ways, and an embedding theorem is given. A generalisation of inverse semigroups in which inverses are defined relative to a set of idempotents arises as a special case, and a finite equational axiomatisation of the resulting unary semigroups is given.

Varieties generated by unstable involution semigroups with continuum many subvarieties

Let ${\cal T}_X$ be the full transformation semigroup on the set $X$, \[ T_{E}(X)=\{f\in {\cal T}_X\colon \ \forall(a,b)\in E,(f(a),f(b))\in E\} \] be the subsemigroup of ${\cal T}_X$ determined by an equivalence $E$ on $X$. In this paper the set $X$ under consideration is a totally ordered set with $mn$ points where $m\geq 2$ and $n\geq 3$. The equivalence $E$ has $m$ classes each of which contains $n$ consecutive points. The set of all order preserving transformations in $T_{E}(X)$ forms a subsemigroup of $T_E(X)$ denoted by \[ {\cal O}_{E}(X)=\{f\in T_{E}(X)\colon \ \forall\, x, y\in X, \ x\leq y \mbox{ implies } f(x)\leq f(y)\}. \] The nature of regular elements in ${\cal O}_{E}(X)$ is described and the Green's equivalences on ${\cal O}_{E}(X)$ are characterized completely.

Let T(X) be the full transformation semigroup on the set X and let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed subset Y of X. It is known that $$F(X, Y)=\{\alpha\in T(X, Y): X\alpha\subseteq Y\alpha\},$$ is the largest regular subsemigroup of T(X,Y) and determines Green’s relations on T(X,Y). In this paper, we show that F(X,Y)≅T(Z) if and only if X=Y and |Y|=|Z|; or |Y|=1=|Z|, and prove that every regular semigroup S can be embedded in F(S1,S). Then we describe Green’s relations and ideals of F(X,Y) and apply these results to get all of its maximal regular subsemigroups when Y is a nonempty finite subset of X.