Small inherently nonfinitely based finite semigroups

We show how to construct all ``forbidden divisors' for the pseudovariety of not inherently nonfinitely based finite semigroups. Several other results concerning finite semigroups that generate an inherently nonfinitely based variety that is miminal amongst those generated by finite semigroups are obtained along the way. For example, aside from the variety generated by the well known six element Brandt monoid \tb , a variety of this type is necessarily generated by a semigroup with at least 56 elements (all such semigroups with 56 elements are described by the main result). September 23, 1999     

Hyperassociative varieties of semigroups

A variety of semigroups is calledhyperassociative if the associative law is satisfied as a hyperidentity. We give an equational basis for the variety of all hyperassociative semigroups.     

Generalised Existence Varieties of Regular Semigroups

In this article we introduce the concept of a generalised existence variety of regular semigroups. This concept is analogous to that of a generalised variety of algebras of fixed finite type. We show that for regular semigroups that are E-solid or locally inverse, generalised existence varieties provide a link between e-varieties and e-pseudovarieties. Other results concerning e-varieties and e-pseudovarieties can then be obtained.     

Levi’s Commutator Theorems for Cancellative Semigroups

For every semigroup of finite exponent whose chains of idempotents are uniformly bounded we construct an identity which holds on this semigroup but does not hold on the variety of all idempotent semigroups. This shows that the variety of all idempotent semigroups E is not contained in any finitely generated variety of semigroups. Since E is locally finite and each proper subvariety of E is finitely generated [1, 3, 4], the variety of all idempotent semigroups is a minimal example of an inherently non-finitely generated variety.     

Guarded and Banded Semigroups

The variety of guarded semigroups consists of all (S,·, ˉ) where (S,·) is a semigroup and x ↦ \overline{x} is a unary operation subject to four additional equations relating it to multiplication. The semigroup Pfn(X) of all partial transformations on X is a guarded semigroup if x \overline{f} = x when xf is defined and is undefined otherwise. Every guarded semigroup is a subalgebra of Pfn(X) for some X. A covering theorem of McAlister type is obtained. Free guarded semigroups are constructed paralleling Scheiblich's construction of free inverse semigroups. The variety of banded semigroups has the same signature but different equations. There is a canonical forgetful functor from guarded semigroups to banded semigroups. A semigroup underlies a banded semigroup if and only if it is a split strong semilattice of right zero semigroups. Each banded semigroup S contains a canonical subsemilattice g_⋆(S). For any given semilattice L, a construction to synthesize the general banded semigroup S with g_⋆ ≅ L is obtained.     

Varieties of operator semigroups representing partitions

We consider a variety of commutative operator semigroups, that is, of algebras with a unary operation and a binary commutative and associative operation. Asubpartition of a set is a partition of a subset of the set. For each integern>0, we represent the subpartitions on ann-element set asn-ary terms in the variety. We determine necessary and sufficient conditions on the variety ensuring that there be no constant terms and, for eachn>0, that these representing terms be all the essentiallyn-ary terms and moreover that distinct subpartitions yield distinct terms. We show that there is precisely one such variety of commutative operator semigroups.     

Free orthodox semigroups and free bands with inverse transversals

It is well known that the subclass of inverse semigroups and the subclass of completely regular semigroups of the class of regular semigroups form the so called e-varieties of semigroups. However, the class of regular semigroups with inverse transversals does not belong to this variety. We now call this class of semigroups the ist-variety of semigroups, and denote it by IST. In this paper, we consider the class of orthodox semigroups with inverse transversals, which is a special ist-variety and is denoted by OIST. Some previous results given by Tang and Wang on this topic are extended. In particular, the structure of free bands with inverse transversals is investigated. Results of McAlister, McFadden, Blyth and Saito on semigroups with inverse transversals are hence generalized and enriched.     

A variety of semigroups without an irreducible basis for identities

An example of a variety of semigroups not having an irreducible basis for identities is given. Also a variety of semigroups, the lattice of subvarieties of which contains a nonidentity element without any coverings, is constructed.Translated from Matematicheskie Zametki, Vol. 21, No. 6, pp. 865–872, June, 1977.     

Covering elements in the lattice op varieties of algebras

Let variety μ be given by the balanced identities of signature Ω not containing unary operations. Then, in the lattice of subvarieties of variety μ, any element different from μ has an element covering it. In particular, variety μ might be the varieties of semigroups, groupoids, n-associatives, etc. It is also proven that, in the lattice of varieties of semigroups, there exists an element having a continuum of covering elements.     

E-free objects and e-locality for completely regular semigroups

We prove that the e-variety CR(H), of all completely regular semigroups whose subgroups belong to some group variety H, is e-local; that is, every regular, locally completely regular semigroupoid [with subgroups fromH] divides a completely regular semigroup [with subgroups from H], in a ‘regular’ way. In a future paper with P.G. Trotter, this theorem will be applied to semidirect products of e-varieties and to e-free E-solid regular semigroups. A key role in the proof is played by the e-free semigroups in the e-variety CR(H). We provide a solution to the ‘word problem’ in these semigroups, in the style of that for free completely regular semigroups given by Kadourek and Polàk. The solution is derived from the author's work on free products of completely regular semigroups. Communicated by F. Pastijn The author is indebted to the Australian Research Council and to National Science Foundation grant INT-8913404 for their support of this research.     

Regular principal factors in free objects in Rees-Sushkevich varieties

In a previous paper, the author showed how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges. In the main theorem, it is shown how these fundamental semigroups can be used to describe the regular principal factors of the free objects in certain Rees-Sushkevich varieties, namely, the varieties of semigroups that are generated by all completely 0-simple semigroups over groups in a variety of finite exponent. This approach is then used to solve the word problem for each of these varieties for which the corresponding group variety has solvable word problem.     

Levi-Civita functional equations and the status of spectral synthesis on semigroups

We show, contrary to some published statements, that spectral synthesis does not generally hold for commutative semigroups that are not groups. On the positive side we prove that it holds if the semigroup is a monoid with no prime ideal. For semigroups with a prime ideal, the picture is not so clear. On the negative side we provide a variety of examples illustrating the failure of spectral synthesis for many semigroups with prime ideals, but we also give examples of semigroups with prime ideals on which spectral synthesis holds.

     

On lattices of varieties of restriction semigroups

The left restriction semigroups have arisen in a number of contexts, one being as the abstract characterization of semigroups of partial maps, another as the ‘weakly left E-ample’ semigroups of the ‘York school’, and, more recently as a variety of unary semigroups defined by a set of simple identities. We initiate a study of the lattice of varieties of such semigroups and, in parallel, of their two-sided versions, the restriction semigroups. Although at the very bottom of the respective lattices the behaviour is akin to that of varieties of inverse semigroups, more interesting features are soon found in the minimal varieties that do not consist of semilattices of monoids, associated with certain ‘forbidden’ semigroups. There are two such in the one-sided case, three in the two-sided case. Also of interest in the one-sided case are the varieties consisting of unions of monoids, far indeed from any analogue for inverse semigroups. In a sequel, the author will show, in the two-sided case, that some rather surprising behavior is observed at the next ‘level’ of the lattice of varieties.     

A sufficient condition for the non-finite basis property of semigroups

Recently, Zhang and Luo proved that a certain semigroup L of order six is non-finitely based. The main aim of the present article is to generalize this result to a sufficient condition for the non-finite basis property of semigroups. It follows that the semigroup L is inherently non-finitely based relative to a certain class of semigroups. It is also shown that the variety var?L generated by L contains a unique maximal subvariety that is non-finitely based. Consequently, the variety var ?L is not a limit variety.     

Inverse subsemigroups and classes of finite aperiodic semigroups

We prove a number of results related to finite semigroups and their inverse subsemigroups, including the following. (1) A finite semigroup is aperiodic if and only if it is a homomorphic image of a finite semigroup whose inverse subsemigroups are semilattices. (2) A finite inverse semigroup can be represented by order-preserving mappings on a chain if and only if it is a semilattice. Finally, we introduce the concept of pseudo-small quasivariety of finite semigroups, generalizing the concept of small variety.     

Complete Congruences on the Lattice of Rees–Sushkevich Varieties

We study the lattice ?(RS_n) of subvarieties of the variety of semigroups generated by completely 0-simple semigroups over groups with exponent dividing n, with a particular focus on the lattice ??(RS_n) consisting of those varieties that are generated by completely 0-simple semigroups. The sublattice of ??(RS_n) consisting of the aperiodic varieties is described and several endomorphisms of ?(RS_n) considered. The complete congruence on ??(RS_n) that relates varieties containing the same aperiodic completely 0-simple semigroups is considered in some detail.     

On interweaving relations

Interweaving relations are introduced and studied here in a general Markovian setting as a strengthening of usual intertwining relations between semigroups, obtained by adding a randomized delay feature. They provide a new classification scheme of the set of Markovian semigroups which enables to transfer from a reference semigroup and up to an independent warm-up time, some ergodic, analytical and mixing properties including the φ-entropy convergence to equilibrium, the hyperboundedness and, when the warm-up time is deterministic, the cut-off phenomena. We also present several useful transformations that preserve interweaving relations. We provide a variety of examples of interweaving relations ranging from classical, discrete, and non-local Laguerre and Jacobi semigroups to degenerate hypoelliptic Ornstein-Uhlenbeck semigroups and some non-colliding particle systems.     

Normal forms for semigroup amalgams

We define a class of inverse semigroup amalgams and derive normal forms for the amalgamated free products in the variety of semigroups. The class includes all amalgams of finite inverse semigroups, recently studied by Cherubini, Jajcayova, Meakin, Nuccio, Piochi and Rodaro (2005–2014), and lower bounded amalgams, that were introduced by the author (1997). We provide sufficient conditions for decidable word problem. We show that the word problem is decidable for an amalgamated free product of finite inverse semigroups. The normal forms can be used to study amalgams in subvarieties of inverse semigroups. In a forthcoming paper by the author, the results are used for varieties of semilattices of groups.     

Varieties and Nilpotent Extensions of Permutative Periodic Semigroups

We investigate certain semigroup varieties formed by nilpotent extensions of orthodox normal bands of commutative periodic groups. Such semigroups are shown to be both structurally periodic and structurally commutative, and are therefore structurally inverse semigroups. Such semigroups are also shown to be dense semilattices of structurally group semigroups. Making use of these structure decompositions, we prove that the subvariety lattice of any variety comprised of such semigroups is isomorphic to the direct product of the following three sublattices: its sublattice of all structurally trivial semigroup varieties, its sublattice of all semilattice varieties, and its sublattice of all group varieties. We conclude, therefore, that to completely describe this lattice, we must first describe completely the lattice of all structurally trivial semigroup varieties, since the other two are well known lattices.