A band generated by two semilattices is regular.
A basic for the type <n> hyperidentities of the medial variety of semigroups.
A classification of rational languages by semilattice-ordered monoids
We prove here an Eilenberg type theorem: the so-called conjunctive varieties of rational languages correspond to the pseudovarieties of finite semilattice-ordered monoids. Taking complements of members of a conjunctive variety of languages we get a so-called disjunctive variety. We present here a non-trivial example of such a variety together with an equational characterization of the corresponding pseudovariety.
A concept of variety for regular biordered sets.
A conjecture on the concatenation product
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Mal’cev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure – this operation corresponds to passing to the upper level in any concatenation hierarchy. Although this conjecture is probably true in some particular cases, we give a counterexample in the general case. Another...
A conjecture on the concatenation product
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Mal'cev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure – this operation corresponds to passing to the upper level in any concatenation hierarchy. Although this conjecture is probably true in some particular cases, we give a counterexample in the general case....
A general finite basis condition for systems of semigroup identities.
A multiplication of -varieties of orthodox semigroups
We define semantically a partial multiplication on the lattice of all e–varieties of regular semigroups. In the case that the first factor is an e–variety of orthodox semigroups we describe our multiplication syntactically in terms of biinvariant congruences.
A multiplication of e-varieties of regular -solid semigroups by inverse semigroup varieties
A multiplication of e-varieties of regular -solid semigroups by inverse semigroup varieties is described both semantically and syntactically. The associativity of the multiplication is also proved.
A new algebraic invariant for weak equivalence of sofic subshifts
It is studied how taking the inverse image by a sliding block code affects the syntactic semigroup of a sofic subshift. The main tool are ζ-semigroups, considered as recognition structures for sofic subshifts. A new algebraic invariant is obtained for weak equivalence of sofic subshifts, by determining which classes of sofic subshifts naturally defined by pseudovarieties of finite semigroups are closed under weak equivalence. Among such classes are the classes of almost finite type subshifts...
A new approach in the theory of orthodox semigroups.
A new example of a limit variety.
A note on orthodox additive inverse semirings
We show in an additive inverse regular semiring with as the set of all multiplicative idempotents and as the set of all additive idempotents, the following conditions are equivalent: (i) For all , implies . (ii) is orthodox. (iii) is a semilattice of groups. This result generalizes the corresponding result of regular ring.
A note on square extensions of bands.
A property of the Schützenberger product.
A semilattice of varieties of completely regular semigroups
Completely regular semigroups are unions of their (maximal) subgroups with the unary operation within their maximal subgroups. As such they form a variety whose lattice of subvarieties is denoted by . We construct a 60-element -subsemilattice and a 38-element sublattice of . The bulk of the paper consists in establishing the necessary joins for which it uses Polák’s theorem.
A sketch of the lattice of commutative nilpotent semigroup varieties.
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups.
All completely regular elements in
In Universal Algebra, identities are used to classify algebras into collections, called varieties and hyperidentities are use to classify varieties into collections, called hypervarities. The concept of a hypersubstitution is a tool to study hyperidentities and hypervarieties. Generalized hypersubstitutions and strong identities generalize the concepts of a hypersubstitution and of a hyperidentity, respectively. The set of all generalized hypersubstitutions forms a monoid. In...
All varieties of bands.