A variety is said to be a Rees–Sushkevich variety if it is contained in a periodic variety generated by 0-simple semigroups. Recently, all combinatorial Rees–Sushkevich varieties have been shown to be finitely based. The present paper continues the investigation of these varieties by describing those that are Cross, finitely generated, or small. It is shown that within the lattice of combinatorial Rees–Sushkevich varieties, the set ℱ of finitely generated varieties constitutes an incomplete sublattice and the set 𝒮 of small varieties constitutes a strict incomplete sublattice of ℱ. Consequently, a combinatorial Rees–Sushkevich variety is small if and only if it is Cross. An algorithm is also presented that decides if an arbitrarily given finite set Σ of identities defines, within the largest combinatorial Rees–Sushkevich variety, a subvariety that is finitely generated or small. This algorithm has complexity 𝒪(nk) where n is the number of identities in Σ and k is the length of the longest word in Σ.

A shift automorphism algebra is one satisfying the conditions of the shift automorphism theorem, and a shift automorphism variety is a variety generated by a shift automorphism algebra. In this paper, we show that every shift automorphism variety contains a countably infinite subdirectly irreducible algebra.

We give a new proof that a finitely generated congruence-distributive variety has finitely determined syntactic congruences (or, equivalently, term finite principal congruences), and show that the same does not hold for finitely generated congruence-permutable varieties, even underthe additional assumption that the variety is residually very finite.

Kublanovsky has shown that if a subvariety V of the variety RSn generated by completely 0-simple semigroups over groups of exponent n is itself generated by completely 0-simple semigroups, then it must satisfy one of three conditions: (i) A2 ∈ V; (ii) (iii) B2∈V but The conditions (i) and (ii) are also sufficient conditions. In this note, we complete Kublanovsky’s programme by refining condition (iii) to obtain a complete set of conditions that are both necessary and sufficient.

Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln, and a generalized BL-chain B are described in terms of weak Boolean products of BL-algebras that are ordinal sums of subalgebras of Ln, and free algebras in the variety of basic hoops generated by B. The Boolean products are taken over the Stone spaces of the Boolean subalgebras of idempotents of free algebras in the variety of MV-algebras generated by Ln.

2000 Mathematics subject classification: primary 03G25, 03B50, 03B52, 03D35, 03G25, 08B20.

We consider algebras for which the operation PC of pure closure of subsets satisfies the exchange property. Subsets that are independent with respect to PC are directly independent. We investigate algebras in which PC satisfies the exchange property and which are relatively free on a directly independent generating subset. Examples of such algebras include independence algebras and dinitely generated free modules over principal ideal domains.

In this paper, the variety of three-valued closure algebras, that is, closure algebras with the property that the open elements from a three-valued Heyting algebra, is investigated. Particularly, the structure of the finitely generated free objects in this variety is determined.

It is shown that a variety ν has distributive congruence lattices if and only if the intersection of two principal congruence relations is definable by equations involving terms with parameters. The nature of the terms involved then provides a useful classification of congruence distributive varieties. In particular, the classification puts into proper perspective two stronger properties. A variety is said to have the Principal Intersection Property if the intersection of any two principal congruence relations is principal, or the Compact Intersection Property if the intersection of two compact congruence relations is compact. For non-congruence-distributive varieties, it is shown that some useful constuctions are nevertheless possible.

A unified study is undertaken of finitely generated varieties HSP () of distributive lattices with unary operations, extending work of Cornish. The generating algebra () is assusmed to be of the form (P; ∧, ∨, 0, 1, {fμ}), where each fμ is an endomorphism or dual endomorphism of (P; ∧, ∨, 0, 1), and the Priestly dual of this lattice is an ordered semigroup N whose elements act by left multiplication to give the maps dual to the operations fμ. Duality theory is fully developed within this framework, into which fit many varieties arising in algebraic logic. Conditions on N are given for the natural and Priestley dualities for HSP () to be essentially the same, so that, inter alia, coproducts in HSP () are enriched D-coproducts.

The main results of the paper are the following: 1. Every locally finite affine complete variety admits a near unanimity term; 2. A locally finite congruence distributive variety is affine complete if and only if all its algebras with no proper subalgebras are affine complete and the variety is generated by one of such algebras. The first of these results sharpens a result of McKenzie asserting that all locally finite affine complete varieties are congruence distributive. The second one generalizes the result by Kaarli and Pixley that characterizes arithmetical affine complete varieties.

A strong, natural duality is established for the variety by a dihedral gruop of order 2m with m odd. This is the first natural duality for a non-abelian variety of groups.

We consider a variety of algebras with two binary commutative and associative operations. For each integer n ≥ 0, we represent the partitions on an n-element set as n-ary terms in the variety. We determine necessary and sufficient conditions on the variety ensuring that, for each n, these representing terms be all the essentially n-ary terms and moreover that distinct partitions yield distinct terms.

In the general context of ideals in universal algebras, we study varietal properties connected with ideals that are equivalent both to Ma'cev conditions and congruence properties such as 0-regularity, 0-permutability, etc.

A semigroup is totally commutative if each of its essentially binary polynomials is commutative, or equivalently, if in every polynomial (word) every two essential variables commute. In the present paper we describe all varieties (equational classes) of totally commutative semigroups, lattices of subvarieties for any variety, and their free spectra.

A completely regular semigroup is a semigroup which is a union of groups. The class CR of completely regular semigroups forms a variety. On the lattice L (CR) of completely regular semigroup varieties we define two closure operations which induce complete congruences. The consideration of a third complete congruence on L (CR) yields a subdirect decomposition of L (CR). Using these results we show that L (CR) is arguesian. This confirms the (tacit) conjecture that L (CR) is modular.

We prove that every finite, simple, surjective algebra having no proper subalgebras is either quasiprimal or affine or isomorphic to an algebra term equivalent to a matrix power of a unary permutational algebra. Consequently, it generates a minimal variety if and only if it is quasiprimal. We show also that a locally finite, minimal variety omitting type 1 is minimal as a quasivariety if and only if it has a unique subdirectly irreducible algebra.

We prove that every locally finite, congruence modular, minimal variety is minimal as a quasivariety. We also construct all finite, strictly simple algebras generating a congruence distributive variety, such that the sett of unary term perations forms a group. Lastly, these results are applied to a problem in algebraic logic to give a sufficient condition for a deductive system to be structurally complete.

It is shown that if V is a congruence distributive variety whose members have one element subalgebras, then the class of absolute retracts of V is closed under direct products. If V is residually small, then a characterisation of the amalgamation class of V is given.

We consider the lattice of pseudovarieties contained in a given pseudovariety P. It is shown that if the lattice L of subpseudovarieties of P has finite height, then L is isomorphic to the lattice of subvarieties of a locally finite variety. Thus not every finite lattice is isomorphic to a lattice of subpseudovarieties. Moreover, the lattice of subpseudovarieties of P satisfies every positive universal sentence holding in all lattice of subvarieties of varieties V(A) ganarated by algebras A ε P.

Algebras (A, ∧, ∨, ~, γ, 0, 1) of type (2,2,1,1,0,0) such that (A, ∧, ∨, ~, γ 0, 1) is a De Morgan algebra and γ is a lattice homomorphism from A into its center that satisfies one of the conditions (i) a ≤ γa or (ii) a ≤ ~ a ∧ γa are considered. The dual categories and the lattice of their subvarieties are determined, and applications to Lukasiewicz algebras are given.