Limit varieties of aperiodic monoids with commuting idempotents

A variety of algebras is called limit if it is nonfinitely-based but all its proper subvarieties are finitely-based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.

THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES

Let $T_{n}(\mathbb{F})$ be the semigroup of all upper triangular $n\times n$ matrices over a field $\mathbb{F}$. Let $UT_{n}(\mathbb{F})$ and $UT_{n}^{\pm 1}(\mathbb{F})$ be subsemigroups of $T_{n}(\mathbb{F})$, respectively, having $0$s and/or $1$s on the main diagonal and $0$s and/or $\pm 1$s on the main diagonal. We give some sufficient conditions under which an involution semigroup is nonfinitely based. As an application, we show that $UT_{2}(\mathbb{F}),UT_{2}^{\pm 1}(\mathbb{F})$ and $T_{2}(\mathbb{F})$ as involution semigroups under the skew transposition are nonfinitely based for any field $\mathbb{F}$.

LEE MONOIDS ARE NONFINITELY BASED WHILE THE SETS OF THEIR ISOTERMS ARE FINITELY BASED

We establish a new sufficient condition under which a monoid is nonfinitely based and apply this condition to Lee monoids $L_{\ell }^{1}$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$ with the relation $0=abab\cdots \,$ (length $\ell$). We show that every monoid $M$ which generates a variety containing $L_{5}^{1}$ and is contained in the variety generated by $L_{\ell }^{1}$ for some $\ell \geq 5$ is nonfinitely based. We establish this result by analysing $\unicode[STIX]{x1D70F}$-terms for $M$, where $\unicode[STIX]{x1D70F}$ is a certain nontrivial congruence on the free semigroup. We also show that if $\unicode[STIX]{x1D70F}$ is the trivial congruence on the free semigroup and $\ell \leq 5$, then the $\unicode[STIX]{x1D70F}$-terms (isoterms) for $L_{\ell }^{1}$ carry no information about the nonfinite basis property of $L_{\ell }^{1}$.

VARIETIES OF LEFT RESTRICTION SEMIGROUPS

Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. They may be defined by a simple set of identities and the author initiated a study of the lattice of varieties of such semigroups, in parallel with the study of the lattice of varieties of two-sided restriction semigroups. In this work we study the subvariety $\mathbf{B}$ generated by Brandt semigroups and the subvarieties generated by the five-element Brandt inverse semigroup $B_{2}$, its four-element restriction subsemigroup $B_{0}$ and its three-element left restriction subsemigroup $D$. These have already been studied in the ‘plain’ semigroup context, in the inverse semigroup context (in the first two instances) and in the two-sided restriction semigroup context (in all but the last instance). The author has previously shown that in the last of these contexts, the behavior is pathological: ‘almost all’ finite restriction semigroups are inherently nonfinitely based. Here we show that this is not the case for left restriction semigroups, by exhibiting identities for the above varieties and for their joins with monoids (the analog of groups in this context). We do so by structural means involving subdirect decompositions into certain primitive semigroups. We also show that each identity has a simple structural interpretation.

The finite basis property of a certain semigroup of upper triangular matrices over a field

Let [Formula: see text] be the semigroup of all upper triangular [Formula: see text] matrices over a field [Formula: see text] whose main diagonal entries are [Formula: see text]s and/or [Formula: see text]s. Volkov proved that [Formula: see text] is nonfinitely based as both a plain semigroup and an involution semigroup under the reflection with respect to the secondary diagonal. In this paper, we shall prove that [Formula: see text] is finitely based for any field [Formula: see text]. When [Formula: see text], this result partially answers an open question posed by Volkov.

THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES

For each positive $n$, let $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ denote the identity obtained from the Adjan identity $(xy)(yx)(xy)(xy)(yx)\approx (xy)(yx)(yx)(xy)(yx)$ by substituting $(xy)\rightarrow (x_{1}x_{2}\ldots x_{n})$ and $(yx)\rightarrow (x_{n}\ldots x_{2}x_{1})$. We show that every monoid which satisfies $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ for each positive $n$ and generates a variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid $U_{2}(\mathbb{T})$ (respectively, $U_{2}(\overline{\mathbb{Z}})$) of two-by-two upper triangular tropical matrices over the tropical semiring $\mathbb{T}=\mathbb{R}\cup \{-\infty \}$ (respectively, $\overline{\mathbb{Z}}=\mathbb{Z}\cup \{-\infty \}$) is nonfinitely based.

A SUFFICIENT CONDITION UNDER WHICH A SEMIGROUP IS NONFINITELY BASED

We give a sufficient condition under which a semigroup is nonfinitely based. As an application, we show that a certain variety is nonfinitely based, and we indicate the additional analysis (to be presented in a forthcoming paper), which shows that this example is a new limit variety of aperiodic monoids.

THE SEMIGROUPS B2 AND B0 ARE INHERENTLY NONFINITELY BASED, AS RESTRICTION SEMIGROUPS

The five-element Brandt semigroup B2 and its four-element subsemigroup B0, obtained by omitting one nonidempotent, have played key roles in the study of varieties of semigroups. Regarded in that fashion, they have long been known to be finitely based. The semigroup B2 carries the natural structure of an inverse semigroup. Regarded as such, in the signature {⋅, -1}, it is also finitely based. It is perhaps surprising, then, that in the intermediate signature of restriction semigroups — essentially, "forgetting" the inverse operation x ↦ x-1 and retaining the induced operations x ↦ x+ = xx-1 and x ↦ x* = x-1x — it is not only nonfinitely based but inherently so (every locally finite variety that contains it is also nonfinitely based). The essence of the nonfinite behavior is actually exhibited in B0, which carries the natural structure of a restriction semigroup, inherited from B2. It is again inherently nonfinitely based, regarded in that fashion. It follows that any finite restriction semigroup on which the two unary operations do not coincide is nonfinitely based. Therefore for finite restriction semigroups, the existence of a finite basis is decidable "modulo monoids". These results are consequences of — and discovered as a result of — an analysis of varieties of "strict" restriction semigroups, namely those generated by Brandt semigroups and, more generally, of varieties of "completely r-semisimple" restriction semigroups: those semigroups in which no comparable projections are related under the generalized Green relation 𝔻. For example, explicit bases of identities are found for the varieties generated by B0 and B2.