Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands

It has been shown by the authors that the mapping,where B is the pseudovariety of finite bands, is a complete retraction of the lattice L(F) of pseudovarieties of finite semigroups onto the lattice of pseudovarieties of bands. It follows that the classes of the induced congruence on L(F), or on the lattice of subpseudovarieties L(W) for any subpseudovariety W of F, are intervals. In this paper we solve the membership problem for the upper limit of the classes of restricted to L(W) for various , including F itself, and provide bases of pseudoidentities for certain cases. Received April 7, 1999; accepted in final form April 30, 2000.     

Bands of k-Archimedean semigroups

In this paper we define the radical ϱ _k (k∈Z ⁺) of a relation ϱ on an arbitrary semigroup. Also, we define various types of k-regularity of semigroups and various types of k-Archimedness of semigroups. Using these notions we describe the structure of semigroups in which ρ _k is a band (semilattice) congruence for some Green’s relation.     

S-Classification of Regular Semigroups

On any regular semigroup S, the greatest idempotent pure congruence τ the greatest idempotent separating congruence μ and the least band congruence β are used to give the S-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category S whose morphisms are surjective K- and T-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category S whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from S to S. The effect of the S-classification on Reilly semigroups and cryptogroups is discussed briefly.     

T-Classification of Regular Semigroups

On any regular semigroup S, the least group congruence σ, the greatest idempotent separating congruence μ and the least band congruence β are used to give the T-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category T whose morphisms are surjective K-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category T whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from T to T. The effect of the T-classification to P-semigroups is considered in some detail.     

{\sl M}-classification of Regular Semigroups

Abstract. On any regular semigroup S, the least group congruence σ, the greatest idempotent pure congruence τ and the least band congruence β are used to give the M -classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C (S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K - and T -relations on {C (S) to Λ. Such triples are characterized abstractly and form the objects of a category M whose morphisms are surjective T -preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category M whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from M to M. Several properties of the classification of regular semigroups induced by this functor are established.     

Irreducibility of certain pseudovarieties 1

We prove that the pseudovarieties of all finite semigroups, and of all aperiodic finii e semigroups are irreducible for join, for semidirect product and for Mal’cev product. In particular, these pseudovarieties do not admit maximal proper subpseudovarieties. More generally, analogous results are proved for the pseudovariety of all finite semigroups all of whose subgroups are in a fixed pseudovariety of groups H, provided th.it H is closed under semidirect product.     

Tameness of Pseudovariety Joins Involving \sf R{\sf R}

In this paper, we establish several decidability results for pseudovariety joins of the form \sf Vú\sf W{\sf V}\vee{\sf W} , where \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} or the pseudovariety \sf R{\sf R} . Here, \sf J{\sf J} (resp. \sf R{\sf R} ) denotes the pseudovariety of all J{\cal J} -trivial (resp. ?{\cal R} -trivial) semigroups. In particular, we show that the pseudovariety \sf Vú\sf W{\sf V}\vee{\sf W} is (completely) κ-tame when \sf V{\sf V} is a subpseudovariety of \sf J{\sf J} with decidable κ-word problem and \sf W{\sf W} is (completely) κ-tame. Moreover, if \sf W{\sf W} is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that \sf Rú\sf W{\sf R}\vee{\sf W} is also κ-tame. In particular the joins \sf Rú\sf Ab{\sf R}\vee{\sf Ab} , \sf Rú\sf G{\sf R}\vee{\sf G} , \sf Rú\sf OCR{\sf R}\vee{\sf OCR} , and \sf Rú\sf CR{\sf R}\vee{\sf CR} are decidable.     

On the lattice of sub-pseudovarieties of DA

The wealth of information that is available on the lattice of varieties of bands, is used to illuminate the structure of the lattice of sub-pseudovarieties of DA, a natural generalization of bands which plays an important role in language theory and in logic. The main result describes a hierarchy of decidable sub-pseudovarieties of DA in terms of iterated Mal’cev products with the pseudovarieties of definite and reverse definite semigroups.     

Normally Ordered Inverse Semigroups

NO of all normally ordered inverse semigroups. We show that the pseudovariety of inverse semigroups PCS generated by all semigroups of injective and order partial transformations on a finite chain consists of all aperiodic elements of NO . Also, we prove that NO is the join pseudovariety of inverse semigroups. PCS V G , where G is the pseudovariety of all finite groups.     

2-Normalization of lattices

Let τ be a type of algebras. A valuation of terms of type τ is a function v assigning to each term t of type τ a value v(t) ⩾ 0. For k ⩾ 1, an identity s ≈ t of type τ is said to be k-normal (with respect to valuation v) if either s = t or both s and t have value ⩾ k. Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called k-normal (with respect to the valuation v) if all its identities are k-normal. For any variety V, there is a least k-normal variety N _k (V) containing V, namely the variety determined by the set of all k-normal identities of V. The concept of k-normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107–128) and an algebraic characterization of the elements of N _k (V) in terms of the algebras in V was given in (Algebra Univers., 51, 2004, pp. 395–409). In this paper we study the algebras of the variety N ₂(V) where V is the type (2, 2) variety L of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the 3-level inflation of a lattice, and use the order-theoretic properties of lattices to show that the variety N ₂(L) is precisely the class of all 3-level inflations of lattices. We also produce a finite equational basis for the variety N ₂(L). This research was supported by Research Project MSM6198959214 of the Czech Government and by NSERC of Canada.     

Some reducibility properties for pseudovarieties of the form DRH

Let H be a pseudovariety of groups and DRH be the pseudovariety containing all finite semigroups whose regular ?-classes belong to H. We study the relationship between reducibility of H and of DRH with respect to several particular classes of systems of equations. The classes of systems considered (of pointlike, idempotent pointlike and graph equations) are known to play a role in decidability questions concerning pseudovarieties of the forms V?W, V∨W, and V W.     

Some Pseudovariety Joins InvolvingLocally Trivial Semigroups

This paper is concerned with the computation of pseudovariety joins involving the pseudovariety L I of locally trivial semigroups. We compute, in particular, the join of L I with any subpseudovariety of CR(m in circle)N, the Mal'cev product of the pseudovariety of completely regular semigroups and the pseudovariety of nilpotent semigroups. Similar studies are conducted for the pseudovarieties K, D and N, where K (resp. D) is the pseudovariety of all semigroups S such that eS=e (resp. Se=e ) for each idempotent e of S . May 5, 1999     

Subdirect products of hereditary congruence lattices

A congruence lattice L of an algebra A is called power-hereditary if every 0-1 sublattice of Lⁿ is the congruence lattice of an algebra on Aⁿ for all positive integers n. Let A and B be finite algebras. We prove

Ideal extensions of lattices

Following the well-known Schreier extension of groups, the (ideal) extension of semigroups (without order) have been first considered by A. H. Clifford in Trans. Amer. Math. Soc. 68 (1950), with a detailed exposition of the theory in the monographs of Clifford-Preston and Petrich. The main theorem of the ideal extensions of ordered semigroups has been considered by Kehayopulu and Tsingelis in Comm. Algebra 31 (2003). It is natural to examine the same problem for lattices. Following the ideal extensions of ordered semigroups, in this paper we give the main theorem of the ideal extensions of lattices. Exactly as in the case of semigroups (ordered semigroups), we approach the problem using translations. We start with a lattice L and a lattice K having a least element, and construct (all) the lattices V which have an ideal L′ which is isomorphic to L and the Rees quotient V|L′ is isomorphic to K. Conversely, we prove that each lattice which is an extension of L by K can be so constructed. An illustrative example is given at the end. The text was submitted by the author in English.     

When is a ring of torus invariants a polynomial ring?

Let ρ:T→GL(V) be a finite dimensional rational representation of a torus over an algebraically closed fieldk. We give necessary and sufficient conditions on the arrangement of the weights ofV within the character lattice ofT for the ring of invariants,k[V] ^T , to have a homogeneous system of parameters consisting of monomials (Theorem 4.1). Using this we give two simple constructive criteria each of which gives necessary and sufficient conditions fork[V] ^T to be a polynomial ring (Theorem 5.8 and Theorem 5.10). Research supported in part by NSERC Grant OGP 137522     

On free spectra of finite monoids from the pseudovariety DA

The pseudovariety DA consists of all aperiodic finite monoids all of whose regular -classes are subsemigroups (that is, rectangular subbands); this pseudovariety appears quite frequently in various contexts in finite semigroup theory. In this note we prove that all its members have a log-polynomial free spectrum, thereby making a new step towards proving the Seif conjecture on the dichotomy of free spectra of finite monoids.