The joint of the pseudovarieties of idempotent semigroups and locally trivial semigroups

Communicated by J.-E. Pin     

The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups

This article solves a problem proposed by Almeida: the computation of the join of two well-known pseudovarieties of semigroups, namely the pseudovariety of bands and the pseudovariety of locally trivial semigroups. We use a method developed by Almeida, based on the theory of implicit operations. This work was partly supported by PRC Mathématiques et Informatique and by ESPRITBRA WG 6317 ASMICS-2     

Free idempotent generated semigroups: subsemigroups,retracts and maximal subgroups

Let S be a subsemigroup of a semigroup T and let IG(E) and IG(F) be the free idempotent generated semigroups over the biordered sets of idempotents of E of S and F of T, respectively. We examine the relationship between IG(E) and IG(F), including the case where S is a retract of T. We give su?cient conditions satisfied by T and S such that for any e∈E, the maximal subgroup of IG(E) with identity e is isomorphic to the corresponding maximal subgroup of IG(F). We then apply this result to some special cases and, in particular, to that of the partial endomorphism monoid PEnd A and the endomorphism monoid EndA of an independence algebra A of finite rank. As a corollary, we obtain Dolinka’s reduction result for the case where A is a finite set.     

On embedding of finitely generated profinite semigroups into 2-generated profinite semigroups

Koryakov recently asked the following question: when a pseudovariety V does not satisfy any non-trivial identity, does there exist an embedding from any finitely generated V-free profinite semigroup into the 2-generated V-free profinite semigroup? During the conference “Semigroups, Automata and Languages” in Porto (June 1994 [2]), a positive answer to this question was conjectured. We give here a counterexample to this conjecture. Received December 15, 1994; accepted in final form June 5, 1997.     

Representable idempotent commutative residuated lattices

It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The -generated subdirectly irreducible algebras in this variety are shown to have at most elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of positive relevance logic containing the mingle and Gödel-Dummett axioms has a solvable deducibility problem.

     

Cancellative commutative semigroups

The study of t.c.r. (=totally cancellative reduced) real semigroups (which are just convex cones in real vector spaces, with the induced addition) enables us to answer some questions about t.c.r. semigroups in general. For example, a finite-dimensional divisible commutative semigroups is locally free if and only if it is t.c.r. and has the Riesz Interpolation Property. An address delivered at the Symposium on Semigroups and the multiplicative Structure of Rings in Mayagüez, 1970     

Pseudosimple commutative semigroups

As a simple corollary to the main result of [4] we describe the structure of commutative semigroups which are isomorphic to their nontrivial homomorphic images.     

Subdirectly irreducible commutative multiplicatively idempotent semirings

Commutative multiplicatively idempotent semirings were studied by the authors and F. ?vr?ek, where the connections to distributive lattices and unitary Boolean rings were established. The variety of these semirings has nice algebraic properties and hence there arose the question to describe this variety, possibly by its subdirectly irreducible members. For the subvariety of so-called Boolean semirings, the subdirectly irreducible members were described by F. Guzmán. He showed that there were just two subdirectly irreducible members, which are the 2-element distributive lattice and the 2-element Boolean ring. We are going to show that although commutative multiplicatively idempotent semirings are at first glance a slight modification of Boolean semirings, for each cardinal n > 1, there exist at least two subdirectly irreducible members of cardinality n and at least 2ⁿ such members if n is infinite. For \({n \in \{2, 3, 4\}}\) the number of subdirectly irreducible members of cardinality n is exactly 2.     

Some subdirectly irreducible idempotent semigroups

Subdirectly irreducible idempotent semigroups were characterized in [3], and in that paper, their connection with the various equational classes of idempotent semigroups was discussed. All these results are in terms of identities, so that examples of subdirectly irreducibles in the equational classes are explicitly known only for small classes. It is easy to show from general considerations (see the last section of the present paper) that every proper equational subclass of the class of idempotent semigroups is generated (as an equational class) by one or two subdirectly irreducibles. In this paper we give an example of a subdirectly irreducible for each join irreducible equational class of idempotent semigroups, which generates the class. This list, together with known results, gives explicit examples of one or two finite subdirectly irreducibles which generate the various equational classes. Research supported by the National Research Council of Canada.     

Global determinism of idempotent semigroups

The power semigroup, or global, of a semigroup S is the set 𝒫(S) of all nonempty subsets of S equipped with the naturally defined multiplication. A class 𝒦 of semigroups is globally determined if any two members of 𝒦 with isomorphic globals are themselves isomorphic. The principal goal of this paper is to prove that the class of all idempotent semigroups is globally determined.