On definability in some lattices of semigroup varieties
Authors
 First online:
 Received:
 Accepted:
DOI: 10.1007/s0023301294298
Abstract
An identity of the form x _{1}⋯x _{ n }≈x _{1π } x _{2π }⋯x _{ nπ } where π is a nontrivial permutation on the set {1,…,n} is called a permutation identity. If u≈v is a permutation identity, then ℓ(u≈v) [respectively r(u≈v)] is the maximal length of the common prefix [suffix] of the words u and v. A variety that satisfies a permutation identity is called permutative. If \(\mathcal{V}\) is a permutative variety, then \(\ell=\ell(\mathcal{V})\) [respectively \(r=r(\mathcal{V})\)] is the least ℓ [respectively r] such that \(\mathcal{V}\) satisfies a permutation identity τ with ℓ(τ)=ℓ [respectively r(τ)=r]. A variety that consists of nilsemigroups is called a nilvariety. If Σ is a set of identities, then \(\operatorname {var}\varSigma\) denotes the variety of semigroups defined by Σ. If \(\mathcal{V}\) is a variety, then \(L (\mathcal{V})\) denotes the lattice of all subvarieties of \(\mathcal{V}\).
Keywords
Permutation identity Permutative variety 0Reduced identity Nilvariety Lattice of subvarieties First order definability1 Introduction
A subset A of a lattice 〈L,∨,∧〉 is called definable in L if there exists a firstorder formula \(\varPhi(\bar{x})\) with one free variable \(\bar{x}\) in the language of lattice operations ∨ and ∧ that defines A in L, that is, \(\varPhi(\bar{x})\) is true if and only if \(\bar{x} \in A\). An element a∈L is called definable in L if the set {a} is definable in L.
In [13, 22], Tarski and McKenzie raised problems of firstorder definability in lattices of varieties of algebras. In a series of papers [5–8], Ježek solved the most general problems in this area for the lattice L _{ T } of all varieties of algebras of any given type T. He proved that each finitely generated and each finitely based variety is definable in L _{ T } up to the obvious, syntactically defined automorphisms, and consequently, L _{ T } has no other automorphisms. He also proved that the set of all finitely generated varieties, the set of all onebased varieties, and the set of all finitely based varieties are definable in L _{ T }.
The results in [5–8] do not imply that the same would be true for the lattice of subvarieties of a given variety, but they suggest that the same technique could be used in the cases when the variety is defined by linear identities. Recall that an identity u≈v is called linear if each variable occurs once in u and once in v.
If Σ is a set of identities, then \(\operatorname{var}\varSigma\) denotes the variety defined by Σ. If \(\mathcal{V}\) is a variety, then \(L (\mathcal{V})\) denotes the lattice of all subvarieties of \(\mathcal{V}\). Ježek and McKenzie raised problems of firstorder definability in lattices of the form \(L(\operatorname{var}\mathfrak{B})\) where \(\mathfrak{B}\) is a set of linear identities. In the case of groupoids, the most significant lattices of this form are the lattice of all semigroup varieties \(\mathbf{SEM} = L(\operatorname{var}\{x(yz) \approx(xy)z\})\), the lattice of all varieties of commutative groupoids \(\mathbf{GCOM}=L(\operatorname{var}\{xy \approx yx\} )\) and the lattice of all varieties of commutative semigroups \(\mathbf{COM}=L(\operatorname{var}\{x(yz)\approx(xy)z,\ xy \approx yx\})\).
In [11], Ježek and McKenzie adapting the approach used in [5–8] proved that several important sets of semigroup varieties such as the sets of all finitely generated, locally finite and finitely based varieties are definable in SEM. Moreover, they proved that each finitely generated and each finitely based locally finite variety is individually definable up to duality (i.e. up to inverting the order of occurrence of letters in defining identities). They conjectured that the local finiteness assumption in the last quoted result may be omitted and that, in consequence, the lattice SEM has no nontrivial automorphisms except duality, but this conjecture still remains unproven.
In [12], Kisielewicz adapting the approach used in [11] proved that many sets and individual varieties are definable in COM. However, he discovered that there exist nontrivial automorphisms of COM. In [2], the firstnamed author of the present paper completed the study of firstorder definability in COM. He obtained complete descriptions of the set of definable varieties and of the group of automorphisms of COM, which turned out to be an uncountable Boolean group.
In [9, 10], Ježek obtained definability for some broad classes of varieties in GCOM and conjectured that the lattice GCOM has no nontrivial automorphisms.
It seems that having both the associativity and the commutativity identities in \(\mathfrak{B}\) makes the study of definability in lattices of the form \(L(\operatorname{var}\mathfrak{B})\) much easier than having only associativity (SEM) or only commutativity (GCOM). The commutativity identity xy≈yx is the strongest type of a permutation identity, i.e. a linear identity that is nontrivial modulo x(yz)≈(xy)z. In [3], the firstnamed author took the next step up from the case of COM to a more difficult case when the set \(\mathfrak{B}\) contains the associativity identity and some permutation identities.
For the rest of the article we consider only subvarieties of SEM. An identity u≈v is called balanced if each variable occurs the same number of times in u and v. If u≈v is a balanced identity, then ℓ(u≈v) [respectively r(u≈v)] is the maximal length of the common prefix [suffix] of the words u and v. A variety that satisfies a permutation identity is called permutative. If \(\mathcal{V}\) is a permutative variety, then \(\ell=\ell(\mathcal{V})\) [respectively \(r=r(\mathcal{V})\)] is the least ℓ [respectively r] such that \(\mathcal{V}\) satisfies a permutation identity τ with ℓ(τ)=ℓ [respectively r(τ)=r]. For each k≥0, a variety \(\mathcal{V}\) is called kpermutative if ℓ(τ)≤k and r(τ)≤k. (In view of Lemma 11.2 this definition is equivalent to the definition of a kpermutative variety given in [17].) For each k≥0 the set \(\bf P(k)\) of all kpermutative varieties forms a sublattice of the lattice of all permutative varieties \(\bf P\). It is easy to see that the lattice \(\bf P(0)\) contains COM and for each k≥0 we have that \(\bf P(k) \subset\bf P(k+1)\). Since every permutative variety is kpermutative for some k=0,1,…,c, the lattice \(\bf P\) is the union of all the lattices \(\bf P(k)\), k=0,1,…,c.
Let \(\delta: \mathcal{V}\mapsto \mathcal{V}^{\delta}\) denote the duality automorphism of SEM. We say that a lattice L of semigroup varieties is selfdual if L ^{ δ }=L. If L is a selfdual sublattice of SEM then we say that a variety \(\mathcal{V}\in\mathbf{L}\) is semidefinable in L if the set \(\{\mathcal{V}, \mathcal{V}^{\delta}\}\) is definable in L. In [3], the firstnamed author proved that each 0permutative variety is semidefinable in \(\bf P(0)\) and consequently, the lattice \(\bf P(0)\) has no nontrivial automorphisms except δ.
For ℓ,r≥0 and n>1 let \(\mathfrak{B}_{\ell,r,n}\) denote the set that consists of n! identities of the form t _{1}⋯t _{ ℓ } x _{1} x _{2}⋯x _{ n } z _{1}⋯z _{ r }≈t _{1}⋯t _{ ℓ } x _{1π } x _{2π }⋯x _{ nπ } z _{1}⋯z _{ r }, where π is a permutation on the set {1,…,n}. It follows from a result of Putcha and Yaqub [16] (see Lemma 11.2) that for each permutative variety \(\mathcal{V}\) and each pair of numbers (ℓ,r) with \(\ell \ge\ell(\mathcal{V})\) and \(r \ge r(\mathcal{V})\) one can find n>1 such that \(\mathcal{V}\in L(\operatorname{var}\mathfrak{B}_{\ell,r,n})\). In particular, each 0permutative variety is contained in \(L(\operatorname{var}\mathfrak{B}_{0,0,n})\) for some n>1. The most difficult part of proving [3, Theorem 10.9] that each 0permutative variety is semidefinable in \(\bf P(0)\) was proving that each 0permutative variety is semidefinable in \(L(\operatorname{var}\mathfrak{B}_{0,0,n})\) for some n big enough.
If u is a word and x is a variable that does not occur in u, then the pair of identities ux≈xu≈u is usually written as u≈0 and is referred to as a 0reduced identity. A semigroup [respectively variety] that satisfies a 0reduced identity is called a nilsemigroup [nilvariety]. It has been observed by many authors that solving a certain problem for nilvarieties in a given class of varieties is often crucial to solving the problem for the whole class. In this article, we prove (Theorem 11.1) that for each permutative nilvariety \(\mathcal{V}\) and each \(\ell\ge\ell(\mathcal{V})\) and \(r\ge r(\mathcal{V})\) there exists n>1 such that \(\mathcal{V}\) is definable in \(L(\operatorname{var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ≠r or \(\mathcal{V}\) is semidefinable in \(L(\operatorname {var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ=r.
A variety that can be defined by 0reduced identities only is called 0reduced variety. A nilvariety is called b0reduced if whenever it satisfies an unbalanced identity u≈v, it also satisfies the identity u≈0 (and consequently, v≈0). If m>0 and d>0, then C _{ m,d } denotes the cyclic monoid 〈a∣a ^{ m }=a ^{ m+d }〉. If d>0, then C _{0,d } denotes the cyclic group of order d. Note that C _{1,1} is the twoelement semilattice and C _{0,1} is the trivial group.
Let I denote an ideal of SEM that contains \(\operatorname{var}\{xy \approx yx\}\). It follows from [12] and [25] that for each m≥0 and d>0 the variety \(\operatorname{var}\mathbf{C}_{m,d}\) is definable in I (see Lemmas 2.2 and 2.3). It has been proved in [25] that the class of all nilvarieties is definable in SEM. The same arguments can be used to show that the class of all nilvarieties in I is definable in I (see Lemma 2.4). By using an idea from [3], a result from [23] and some functions on varieties, we prove (Proposition 4.1) that a nilvariety \(\mathcal{V}\) is b0reduced if and only if for each prime d>1, the variety \(\mathcal{V} \vee \operatorname{var}\mathbf{C}_{0,d}\) is a cover of the variety \(\mathcal {V}\). This implies (Theorem 4.1) that the set of all b0reduced varieties in I is definable in I. This statement plays a similar role in our article as Theorem 1.11 in [11]. That theorem says that the set of all 0reduced varieties is definable in SEM.
Let \(\mathfrak{B}\) denote a set of balanced identities that contains a permutation identity. By using an idea from [3, Sect. 9] and a construction from [11] we prove (Proposition 8.2) that a b0reduced variety \(\mathcal{V} \in L (\operatorname{var}{\mathfrak{B}})\) has exactly one cover in the class of all nilvarieties in \(L (\operatorname{var}{\mathfrak{B}})\) if and only if \(\mathcal {V}=\operatorname{var}\{ u \approx0,{\mathfrak{B}}\}\) for some word u. This implies (Theorem 8.1) that the set of all varieties of the form \(\operatorname{var}\{u \approx 0,\mathfrak{B}\}\) is definable in \(L(\operatorname{var}\mathfrak{B})\).
An identity u≈v is called regular if each variable that occurs in u also occurs in v and visa versa. In Sect. 5, with each set of regular identities \(\mathfrak{B}\) we associate a quasiorder on the free semigroup by saying that \(v \le_{\mathfrak{B}} u\) if and only if \(\operatorname{var}\{v \approx0, \mathfrak{B}\} \models u \approx0\). It is easy to see that the set of all varieties of the form \(\operatorname{var}\{u \approx0, \mathfrak{B}\}\) ordered under inclusion can be identified with the set \(F_{\infty} /{\Leftrightarrow _{\mathfrak{B}}}\) of equivalence classes of words ordered under \(\le_{\mathfrak{B}}\). We call these equivalence classes word patterns modulo \(\mathfrak{B}\) because the set F _{∞}/⇔_{ x≈x } is precisely the ordered set of word patterns considered in [11, Sect. 2].
Based on the proof of [3, Theorem 9.3], we show (Corollaries 6.1 and 6.2) that for each ℓ,r≥0 and n>1 each word pattern is semidefinable in \(F_{\infty} /{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\) if ℓ=r and is definable in \(F_{\infty} /{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\) if ℓ≠r. Corollaries 6.1, 6.2 and Theorem 8.1 imply (Theorem 9.1) that for each ℓ,r≥0 and n>1, each variety of the form \(\operatorname{var}\{u \approx 0, \mathfrak{B}_{\ell,r,n}\}\) is semidefinable in \(L(\operatorname {var}\mathfrak{B}_{\ell,r,n})\) if ℓ=r and is definable in \(L(\operatorname{var}\mathfrak{B}_{\ell,r,n})\) if ℓ≠r.
In Sect. 10, we consider varieties of the form \(\operatorname{var}\{ u \approx v,\mathfrak{B}_{\ell,r,n}\}\) where u≈v is a regular identity such that the words u and v are either equivalent or incomparable in the order \(\le_{\mathfrak{B}_{\ell,r,n}}\) and their lengths are shorter than n+ℓ+r. By translating and generalizing methods used in [2, 3, 12] we prove (Theorems 10.1 and 10.2) that each variety of this form is semidefinable in \(L(\operatorname{var}\mathfrak{B}_{\ell,r,n})\) if ℓ=r and definable in \(L(\operatorname{var}\mathfrak{B}_{\ell,r,n})\) if ℓ≠r.
Using Theorems 10.1, 10.2, 11.1 and the result of Volkov [28] (see Lemma 11.4) that each 0permutative variety is a join of a nilvariety and a variety generated by a cyclic monoid (or group), we reprove [3, Theorem 10.9] that says that each 0permutative variety is semidefinable in \(\bf P(0)\) (see Corollary 11.1). As another consequence of Theorem 11.1 we show (Corollary 11.2) that for each 0≤k≤2, every kpermutative nilvariety is semidefinable in the lattice \(\bf P(k)\) of all kpermutative varieties.
2 Some definable varieties and classes of varieties in I
In this section we consider definability in a sublattice I of SEM that contains \(\operatorname{var}\{xy \approx yx\}\) and also contains \(L (\mathcal{V})\) whenever \(\mathcal{V}\in\mathbf{I}\). In particular, I can be \(L (\operatorname{var}{\mathfrak{B}})\) for some set of balanced identities \({\mathfrak{B}}\), or the lattice of all kpermutative varieties \(\bf P(k)\) for some k≥0 or the lattice of all permutative varieties \(\bf P\).
Let \(\mathcal{ZM}\) denote the variety \(\operatorname{var}\{xy \approx 0\}\) of all semigroups with zero multiplication and \(\mathcal{SL}\) denote the variety of all semilattices \(\operatorname{var}\mathbf{C}_{1,1}\). Let A denote the set {\(\operatorname{var}\mathbf{C}_{0,d}\,{} \, d\) is prime} of all varieties of Abelian groups of prime exponents.
It is wellknown (see [1], for example) that the set \(\mathbf{A} \cup\{\mathcal{SL}, \mathcal{ZM}\}\) is the set of all atoms in COM and that I may contain some of the two additional atoms of SEM, namely \(\mathcal{LZ} = \operatorname{var}\{xy \approx x\}\) and \(\mathcal{RZ} = \operatorname{var}\{xy \approx y\}\).
The following lemma is proved in [12, Proposition 3.1].
Proposition 1.4 in [25] contains a simple explanation of how to tell apart a variety in A from \(\mathcal{SL}\) and from \(\mathcal{ZM}\) in SEM. The same explanation can be used to distinguish each variety in A from \(\mathcal{SL}\) and from \(\mathcal{ZM}\) in COM. According to [25, Proposition 1.4], for each prime d>1 the variety \(\operatorname{var}\mathbf{C}_{0,d}\) is a proper subvariety of some commutative chain variety. The variety \(\mathcal {ZM}\) is also a proper subvariety of some commutative chain variety, but \(\mathcal{SL}\) is not properly contained in any chain variety. Also according to [29], the variety \(\mathcal{ZM}\) is neutral in SEM (and, therefore, in COM) but the variety \(\operatorname{var}\mathbf{C}_{0,d}\) is not neutral in COM for any d>1 [18, 19].
The next lemma follows from Propositions 4.1 and 4.2 in [12].
Lemma 2.2
For each m≥0 and d>0, the variety \(\operatorname{var}\mathbf{C}_{m,d}\) is definable in COM.
Corollary 4.8 in [25] contains an explicit firstorder formula that defines the variety \(\operatorname{var}\mathbf{C}_{m,d}\) for each 0≤m≤∞ and 0<d≤∞ in SEM. The same formula can be used to define \(\operatorname{var}\mathbf{C}_{m,d}\) in COM (see [26]).
It is well known that the variety of all commutative semigroups is definable in I as the minimal variety in I that contains all group atoms. This gives us the following lemma.
Lemma 2.3
The variety of all commutative semigroups and the lattice of all commutative varieties COM are definable in I.
The article [25] contains simple formulas that define many other wellknown semigroup varieties and classes of varieties in SEM. The same formulas can be used to define these varieties and classes in I.
Lemma 2.4
If N is the class of all nilvarieties in SEM, then the class I∩N of all nilvarieties in I is definable in I.
Proof
Here are the two parts of the defining sentence of Vernikov [25, Theorem 2.2] formulated for I.
1. The variety of all semigroups with zero multiplication \(\mathcal {ZM}\) is the only neutral atom in I that is a proper subvariety of some chain variety.
2. I∩N is the class of all varieties in I that do not contain any atoms of I but \(\mathcal{ZM}\). (An explanation of this part can be found in [21] for instance).
The details on this defining sentence can be found in [25]. □
The next lemma follows from [12, Theorem 4.3] and can be proved exactly like [25, Proposition 1.7].
Lemma 2.5
For every k>0, the variety \(\mathcal{N}_{k} = \operatorname{var}\{x^{2} \approx x_{1}x_{2} \cdots x_{k} \approx0,\ xy \approx yx\}\) is definable in COM.
Lemma 2.6
The variety \(\operatorname{var}\{x_{1}x_{2} \cdots x_{n} \approx0\}\) is definable in I for each n>0.
Proof
Here is the defining sentence of Vernikov [25, Theorem 3.1] formulated for I: the variety \(\operatorname{var}\{x_{1}x_{2} \cdots x_{n} \approx0\}\) is the largest nilvariety in I that contains \(\mathcal{N}_{n}\) but does not contain \(\mathcal{N}_{n+1}\). □
Lemma 2.7
If I contains \(\operatorname {var}{\mathfrak{B}}_{0,0,n}\) for some n>1, then the variety \(\operatorname{var}{\mathfrak{B}}_{0,0,n}\) is definable in I.
Lemma 2.7 generalizes [3, Corollary 8.2] that says that for each n>1 the variety \(\operatorname{var}\mathfrak {B}_{0,0,n}\) is definable in \(\mathbf{P(0)}\).
3 Functions on varieties and sets of identities
Definition 3.1
[17]
If \(\mathcal{V}\) is a variety of semigroups, then \(m(\mathcal{V})\) and respectively \(d(\mathcal{V})\) denote the maximal numbers m and d such that \(\mathcal{V}\) contains the cyclic monoid (or group) C _{ m,d }.
In view of Lemmas 2.2 and 2.3, the functions \(m=m(\mathcal{V})\) and \(d=d(\mathcal{V})\) are definable in SEM.
If x is a variable and τ is an identity, then d(x,τ) denotes the difference between the numbers of occurrences of x in two sides of τ. If d(x,τ)=0, then variable x is called balanced in τ, otherwise x is called unbalanced.
Let m(τ) denote the least number of times an unbalanced variable occurs in one side of τ and d(τ) denote the greatest common divisor of d(x,τ) among all variables x in τ. If τ is a balanced identity, then we set m(τ):=∞ and d(τ):=∞.
Definition 3.2
[17]
If Σ is a set of identities, then m(Σ) is the least number of times an unbalanced variable occurs in one side of an identity from Σ and d(Σ) is the greatest common divisor of all the differences between the numbers of occurrences of variables in two sides of identities from Σ. If all identities in Σ are balanced, we set m(Σ):=∞ and d(Σ):=∞.
Lemma 3.1
([17], Theorem 2)
If Σ is a set of identities, then \(m(\operatorname{var}\varSigma)=m(\varSigma )\) and \(d(\operatorname{var}\varSigma)=d(\varSigma)\).
The following lemma can be easily verified.
Lemma 3.2
 (i)
\(m(\mathcal{V}\wedge\mathcal{U}) = \min(m(\mathcal{V}), m(\mathcal{U}))\);
 (ii)
\(d(\mathcal{V}\wedge\mathcal{U}) = \gcd(d(\mathcal {V}), d(\mathcal{U}))\);
 (iii)
\(m(\mathcal{V}\vee\mathcal{U}) = \max(m(\mathcal{V}), m(\mathcal{U}))\);
 (iv)
\(d(\mathcal{V}\vee\mathcal{U}) = \operatorname{lcm}(d(\mathcal{V}), d(\mathcal{U}))\);
 (v)
if \(\mathcal{V}\subseteq\mathcal{U}\), then \(m(\mathcal {V}) \le m(\mathcal{U})\) and \(d(\mathcal{U})\) is a multiple of \(d(\mathcal{V})\).
If x is a variable and u is a word, then \(\operatorname {occ}_{u}(x)\) denotes the number of occurrences of x in u. If \(\operatorname{occ}_{u}(x)>0\), then we say that the word u contains x. If \(\operatorname {occ}_{u}(x) =1\), then we say that the variable x is linear in u. The set of all variables contained in u is called the content of u (written \(\operatorname{Cont}(u)\)). Recall that an identity u≈v is called regular if \(\operatorname{Cont}(u)=\operatorname{Cont}(v)\), otherwise it is called irregular. If u is a word, then u denotes the length of u and \(\operatorname{Cont}(u)\) denotes the number of distinct variables in u. Obviously, \(\operatorname{Cont}(u) \leu\) and \(\operatorname {Cont}(u) = u\) if and only if each variable in \(\operatorname{Cont}(u)\) is linear.
The next lemma will be used sometimes without a reference.
Lemma 3.3
 (i)
m(Σ)=m(Δ) and d(Σ)=d(Δ);
 (ii)
Σ contains only regular identities if and only if so does Δ;
 (iii)
Σ contains only balanced identities if and only if so does Δ.
Proof
(i) Using Lemma 3.1, we have that \(m(\varSigma)=m(\operatorname{var}\varSigma)=m(\operatorname{var}\Delta )= m(\Delta)\) and \(d(\varSigma)=d(\operatorname{var}\varSigma )=d(\operatorname{var}\Delta)=d(\Delta)\).
(ii) It is clear that Σ contains only regular identities if and only if m(Σ)>0. The rest follows from part (i).
(iii) Follows from part (i) and Definition 3.2. □
Let Σ be a set of balanced identities. If each identity in Σ is trivial, we set ℓ(Σ)=r(Σ)=∞. If Σ contains a nontrivial identity, then ℓ(Σ) [respectively r(Σ)] is the least ℓ(τ) [respectively r(τ)] among all identities in Σ.
Lemma 3.4
If Σ and Δ are sets of balanced identities such that \(\operatorname{var}\varSigma=\operatorname {var}\Delta\), then ℓ(Σ)=ℓ(Δ) and r(Σ)=r(Δ).
Proof
If Σ⊢u≈v, then ℓ(u≈v)≥ℓ=ℓ(Σ) because the set Σ does not contain any identities capable of changing the prefix of u of length ℓ. Similarly, r(u≈v)≥r(Σ). □
Recall that a variety that satisfies an identity of the form x ^{ t }≈x ^{ t+d } is called periodic. The following proposition refines Proposition 1 in [17].
Proposition 3.1
 (i)
\(m(\mathcal{V})= m(\varSigma) < \infty\).
 (ii)
\(d(\mathcal{V}) = d(\varSigma) <\infty\).
 (iii)
Σ contains an unbalanced identity.
 (iv)
\(\mathcal{V}\) is a periodic variety.
 (v)
\(\mathcal{V}\) satisfies an identity x ^{ t }≈x ^{ t+d } for some t>0 and \(d=d(\mathcal{V})\).
Proof
Conditions (i)–(iv) are equivalent by Proposition 1 in [17]. Since Condition (v) obviously implies Condition (iv), it is left to establish the implication (iv) → (v). Let \(\mathcal{V}\) be a periodic variety and k be the minimal number such that \(\mathcal{V}\models x^{t} \approx x^{t+k}\) for some t>0. By the definition of the function \(d(\mathcal{V})\) we have that k is a multiple of \(d=d(\mathcal{V})\). Suppose that k>d.
Claim
\(\mathcal{V}\models x^{p} \approx x^{p+c}\) for some p>0 and some c>0 such that c is not a multiple of k.
Proof of Claim
Since \(d(\mathcal{V})=d\), the variety \(\mathcal {V}\) satisfies some identity τ such that for some variable x we have that c=d(x,τ) and c is not a multiple of k. If x is the only variable in τ, then we are done.
Suppose now that the identity τ contains some variables other than x. Let γ=γ(x,y) be the identity obtained from τ by equalizing all variables other than x. If r=d(y,γ) is a multiple of k, then the identities x ^{ t }≈x ^{ t+k } and γ imply an identity of the form x ^{ p } y ^{ q }≈x ^{ p+c } y ^{ q } which in turn implies the desired identity.
Suppose now that r=d(y,γ) is not a multiple of k. If c+r (may be c−r or r−c depending on the situation) is not a multiple of k then we can equalize x and y and obtain the desired identity.
If c+r (or c−r or r−c) is a multiple of k, then we substitute y→yy and denote the resulting identity by δ=δ(x,y). Now we have that d(x,δ)=c, d(y,δ)=2r and r is not a multiple of k. If we equalize x and y in δ then we obtain the desired identity. The claim is proved. □
Now the identities x ^{ t }≈x ^{ t+k } and x ^{ p }≈x ^{ p+c } imply the identity x ^{ t′}≈x ^{ t′+k+c } for t′=max(t,p). This identity together with the identity x ^{ t }≈x ^{ t+k } implies an identity x ^{ t′}≈x ^{ t′+k′} for some k′<k. This contradicts to the minimality of k. Therefore, k=d. □
4 Definability of the set of all b0reduced varieties in I
Recall that a nilvariety is called b0reduced if whenever it satisfies an unbalanced identity u≈v, it also satisfies the identity u≈0 (and consequently, v≈0).
Lemma 4.1
If \(\mathcal{V}\) is a b0reduced variety, then for each prime d>1, the variety \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) is a cover of the variety \(\mathcal{V}\).
Proof
Since \(\mathcal{V}\) is a nilvariety, we have that \(d(\mathcal{V}) =1\). Since \(d(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d})=\operatorname{lcm}(1,d)=d>1\), we have that \(\mathcal {V}\subset \mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\). Let \(\mathcal {V}'\) be a variety such that \(\mathcal{V}\subseteq\mathcal{V}' \subseteq \mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\). Since the group C _{0,d } is commutative, the variety \(\mathcal{V} \vee \operatorname{var}\mathbf{C}_{0,d}\) satisfies all balanced identities of \(\mathcal{V}\). Therefore, the variety \(\mathcal{V}'\) also satisfies all balanced identities of \(\mathcal{V}\).
If \(d(\mathcal{V}')=d\), then by Definition 3.1, the variety \(\mathcal{V}'\) contains the cyclic group C _{0,d }. Since \(\mathcal{V}\subseteq\mathcal{V}' \subseteq \mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\), the variety \(\mathcal{V}'\) coincides with \(\mathcal{V} \vee \operatorname{var}\mathbf{C}_{0,d}\).
If \(d(\mathcal{V}')=1\), then by Proposition 3.1 we have that \(\mathcal{V}' \models x^{p} \approx x^{p+1}\) for some p>0. Let a≈0 be some 0reduced identity satisfied by \(\mathcal{V}\). Then \(\mathcal {V} \vee\operatorname{var}\mathbf{C}_{0,d}\) satisfies a≈ax ^{ d }≈x ^{ d } a for some variable x that does not occur in the word a. Since \(\mathcal{V}' \subseteq \mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\), the variety \(\mathcal{V}'\) also satisfies a≈ax ^{ d }≈x ^{ d } a. Now the identities a≈ax ^{ d }≈x ^{ d } a imply a≈ax ^{ kd }≈x ^{ kd } a for some k>0 such that kd≥p. The latter identities together with x ^{ p }≈x ^{ p+1} imply a≈ax ^{ kd }≈ax ^{ kd+1}≈ax and similarly, a≈xa. Therefore, \(\mathcal{V}' \models a\approx0\). Since the variety \(\mathcal{V}\) is b0reduced and \(\mathcal{V}'\) satisfies all balanced and all 0reduced identities of \(\mathcal{V}\), the variety \(\mathcal{V}'\) coincides with \(\mathcal{V}\). Therefore, the variety \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) is a cover of the variety \(\mathcal{V}\). □
If \(\mathcal{V}\) is a variety then \(\operatorname{Nil}(\mathcal{V})\) denotes the set of all nilsemigroups contained in \(\mathcal{V}\). If the variety \(\mathcal{V}\) satisfies an identity of the form x ^{ t }≈x ^{ t+d }, then it is easy to verify that \(\operatorname{Nil}(\mathcal{V})\) is a subvariety of \(\mathcal{V}\) that can be defined within \(\mathcal{V}\) by the identity x ^{ t }≈0. In this case, \(\operatorname {Nil}(\mathcal{V})\) is, obviously, the greatest nilsubvariety of \(\mathcal{V}\).
The next lemma generalizes Lemmas 1 and 8 in [28] and is proved in [23] similarly to [28, Lemma 8].
Lemma 4.2
([23], Lemma 2.8)
Let \(\mathcal{V}\) be a nilvariety that satisfies u≈v and does not satisfy u≈0. If \(\mathcal{U}\) is a variety that does not satisfy u≈v, then \(\mathcal{V}\) is a proper subset of \(\operatorname{Nil}(\mathcal{V}\vee\mathcal{U})\).
Corollary 4.1
If a nilvariety \(\mathcal{V}\) is not b0reduced, then for some prime d, the variety \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) is not a cover of the variety \(\mathcal{V}\).
Proof
If the variety \(\mathcal{V}\) is not b0reduced, then \(\mathcal{V}\) satisfies some unbalanced identity u≈v and does not satisfy the identity u≈0. If d>d(u≈v), then \(\operatorname{var}\mathbf{C}_{0,d}\) does not satisfy the identity u≈v. Since the variety \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) is periodic, the set \(\mathcal {N}=\operatorname{Nil}(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d})\) is a subvariety of \(\mathcal{V}\vee\operatorname{var}\mathbf{C}_{0,d}\). By Lemma 4.2, the variety \(\mathcal{V}\) is a proper subvariety of \(\mathcal{N}\). Now \(\mathcal{N}\), in turn, is a proper subvariety of \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) because for d>1 the cyclic group C _{0,d } is not a nilsemigroup. Therefore, the variety \(\mathcal{V}\vee\operatorname{var}\mathbf{C}_{0,d}\) is not a cover of \(\mathcal{V}\). □
Lemma 4.1 and Corollary 4.1 immediately imply the following.
Proposition 4.1
A nilvariety \(\mathcal{V}\) is b0reduced if and only if for each prime d>1, the variety \(\mathcal{V} \vee\operatorname{var}\mathbf{C}_{0,d}\) is a cover of the variety \(\mathcal{V}\).
Proposition 4.1 and Lemmas 2.1 and 2.4 imply the following.
Theorem 4.1
Let I be a sublattice of SEM that contains \(\operatorname{var}\{xy \approx yx\}\) and also contains \(L (\mathcal{V})\) whenever \(\mathcal{V}\in\mathbf{I}\). Then the set of all b0reduced varieties in I is definable in I. In particular, the set of all b0reduced varieties is definable in SEM and the set of all commutative b0reduced varieties is definable in COM.
5 A quasiorder on the free semigroup modulo \({\mathfrak{B}}\)
By F _{∞} we denote the free semigroup over a countably infinite alphabet, i.e. the semigroup of words under concatenation. If \({\mathfrak{B}}\) is a set of regular identities and v and u are words, then we define \(v \le_{\mathfrak{B}} u\) if and only if \(\operatorname{var}\{v \approx0,\mathfrak{B}\} \models u \approx0\). If the set \(\mathfrak{B}\) contains only trivial identities, then instead of \(\le_{\mathfrak{B}}\) we simply write ≤. The relation ≤ on the free semigroup is wellknown and can be defined as follows: if u,v∈F _{∞}, then v≤u if and only if u=aΘ(v)b for some possibly empty words a and b and some substitution Θ.
It is easy to see that the relation \(\le_{\mathfrak{B}}\) is reflexive and transitive, i.e. it is a quasiorder on the free semigroup F _{∞}. If \(u \le_{\mathfrak{B}} v \le_{\mathfrak{B}} u\), then we write \(u \Leftrightarrow_{\mathfrak{B}} v\). If u is a word, then the class of all words equivalent to u modulo \(\Leftrightarrow_{\mathfrak{B}}\) is denoted by \([u]_{\Leftrightarrow_{\mathfrak{B}}}\). Let \(F_{\infty} /{ \Leftrightarrow_{\mathfrak{B}}}\) denote the set of all classes \([u]_{\Leftrightarrow_{\mathfrak{B}}}\) ordered by \(\le_{\mathfrak{B}}\). Following [11], the elements of the ordered set \(F_{\infty} /{ \Leftrightarrow_{\mathfrak{B}}}\) will be called word patterns modulo \({\mathfrak{B}}\).
 1.
Onetoone renaming of variables. (Such a substitution will be simply called renaming of variables.)
 2.
Equalizing two variables x and y (renaming y by x).
 3.
Substitution of the form x→xy (x→yx).
Lemma 5.1
If u≤v, then \(u  \operatorname {Cont}(u) \lev  \operatorname{Cont}(v)\).
Proof
This statement can be easily verified in the following two cases.
Case 1: v=ux or v=xu for some new variable x.
Case 2: v=Θ(u) where Θ is an elementary substitution.
The general case follows by transitivity. □
If \(\mathfrak{B}\) is a set of identities, then \(\sim_{{\mathfrak{B}}}\) denotes the fully invariant congruence on the free semigroup corresponding to \({\mathfrak{B}}\). The next two lemmas establish the connections between the quasiorders \(\le_{\mathfrak{B}}\) and ≤.
Lemma 5.2
 (i)
\(v \le_{\mathfrak{B}} u\);
 (ii)
there exists a word u′ such that \(u \sim_{\mathfrak {B}} u'\) and v≤u′.
Proof
(i) → (ii). If \(v \le_{\mathfrak{B}} u\), then there exists a sequence of words u _{1},…,u _{ n } such that one can derive u≈0 from \(\{v \approx0, \mathfrak{B}\}\) as follows: u=u _{1}≈u _{2}≈⋯≈u _{ n }≈0. Since \(m(\mathfrak{B}) >0\) but m(u≈0)=0, we cannot derive u≈0 from \(\mathfrak{B}\) without using v≈0. Once the identity v≈0 is used, the derivation of u≈0 is finished. So, \(u \sim_{{\mathfrak{B}}} u_{n}\) and v≤u _{ n }.
(ii) → (i). Evident. □
If \(v \le_{\mathfrak{B}} u\) but \(u \not\le_{\mathfrak{B}} v\), then we write \(v <_{\mathfrak{B}} u\).
Lemma 5.3
 (i)
\(u \Leftrightarrow_{\mathfrak{B}} v\) if and only if \(u \sim_{{\mathfrak{B}}} p(v)\) for some renaming p of variables;
 (ii)
if \(u \Leftrightarrow_{\mathfrak{B}} v\), then u=v;
 (iii)
if \(v \le_{\mathfrak{B}} u\) and v<u, then \(v <_{\mathfrak{B}} u\);
 (iv)
\(v <_{\mathfrak{B}} u\) if and only if there exists a word u′ such that \(u \sim_{{\mathfrak{B}}} u'\) and v<u′.
Proof
(i) If \(v \sim_{{\mathfrak{B}}} p(u)\), then u≈p(v)≈0 is a derivation of u≈0 from \(\{v \approx0, \mathfrak{B}\}\). The identity v≈0 can be derived from \(\{u \approx0, \mathfrak{B}\}\) in a similar way. So, \(u \Leftrightarrow _{\mathfrak{B}} v\).
If \(v \Leftrightarrow_{\mathfrak{B}} u\), then by Lemma 5.2, one can find words u′ and v′ such that \(u \sim _{{\mathfrak{B}}} u'\), v≤u′ and \(v \sim_{{\mathfrak{B}}} v'\), u≤v′. Since the identities u≈u′ and v≈v′ are balanced, all the words u, u′, v and v′ have the same length. Therefore, u′=p(v) for some substitution p that maps variables to variables. Suppose that for some distinct variables x and y with \(\operatorname{occ}_{v}(x) > 0\) and \(\operatorname{occ}_{v}(y) > 0\) we have that p(x)=p(y)=z. But then \(u  \operatorname{Cont}(u)= u'  \operatorname{Cont}(u') > v  \operatorname{Cont}(v) = v'  \operatorname{Cont}(v')\). In view of Lemma 5.1, this contradicts the fact that u≤v′. Therefore, the substitution p is a renaming of variables.
(ii) If \(u \Leftrightarrow_{\mathfrak{B}} v\), then by part (i) the identity u≈p(v) is balanced. Therefore, u=p(v)=v.
(iii) If \(u \Leftrightarrow_{\mathfrak{B}} v\), then by part (ii) we have that u=v. Therefore \(v <_{\mathfrak{B}} u\).
(iv) Since \(v <_{\mathfrak{B}} u\), by Lemma 5.2 one can find a word u′ such that \(u \sim_{{\mathfrak{B}}} u'\) and v≤u′. So, u′=aΘ(v)b for some possibly empty word ab and a substitution Θ. If the word ab is empty and Θ is a renaming of variables, then by part (i) we have that \(u \Leftrightarrow _{\mathfrak{B}} v\). Since the words v and u are not equivalent modulo \(\Leftrightarrow_{\mathfrak{B}}\), we have that v<u′.
Now suppose that there is a word u′ such that \(u \sim_{\mathfrak {B}} u'\) and v<u′. Then by Lemma 5.2 we have that \(v \le _{\mathfrak{B}} u\). If v<u then by part (iii) we have that \(v < _{\mathfrak{B}} u\).
So, we may assume that u=v and consequently u=v=u′ . Since v<u′ and v=u′ we have that u′=Θ(v) for some substitution Θ that maps variables to variables such that Θ is not a renaming of variables. So, \(u \sim_{{\mathfrak{B}}} \varTheta(v)\). If we assume that \(u \Leftrightarrow_{\mathfrak{B}} v\) then by part (i) we would have that \(u \sim_{{\mathfrak{B}}} p(v)\) for some renaming of variables p. Thus the identity Θ(v)≈p(v) would be balanced which is not the case. Therefore, \(v < _{\mathfrak{B}} u\). □
The following lemma is needed only to justify Theorem 6.1 and sometimes will be used without a reference.
Lemma 5.4
 (i)
the words x ^{2} y _{1}⋯y _{ k } and y _{1}⋯y _{ k } x ^{2} are not equivalent modulo \(\Leftrightarrow_{\mathcal{B}}\) for any k>0;
 (ii)
the words x ^{ k } y and yx ^{ k } are not equivalent modulo \(\Leftrightarrow_{\mathcal{B}}\) for any k>0;
 (iii)
the words y _{1}⋯y _{ j } x ^{ k+2} t _{1}⋯t _{ p } and y _{1}⋯y _{ j+1} x ^{ k+1} t _{1}⋯t _{ p } are not equivalent modulo \(\Leftrightarrow_{\mathcal{B}}\) for any k≥0.
Proof
(i) If \(x^{2}y_{1} \cdots y_{k} \Leftrightarrow_{\mathcal{B}} y_{1} \cdots y_{k}x^{2}\), then Lemma 5.3(i) implies \(x^{2}y_{1} \cdots y_{k} \sim_{{\mathfrak{B}}} p(y_{1} \cdots y_{k}x^{2})\) for some renaming of variables p. Since x is the only nonlinear variable in both words, this can only happen if \({\mathfrak{B}} \vdash x^{2}y_{1} \cdots y_{k} \approx y_{1} \cdots y_{k}x^{2}\) which is impossible in view of Lemma 3.4.
(ii) Similar to the proof of (i).
(iii) If \(y_{1}\cdots y_{j}x^{k+2} t_{1} \cdots t_{p} \Leftrightarrow_{\mathcal{B}} y_{1}\cdots y_{j+1} x^{k+1} t_{1} \cdots t_{p} \) then by Lemma 5.3(i) we have that \(y_{1}\cdots y_{j}x^{k+2} t_{1} \cdots t_{p} \sim _{{\mathfrak{B}}} q(y_{1}\cdots y_{j+1}x^{k+1} t_{1} \cdots t_{p})\) for some renaming of variables q. Since x is the only nonlinear variable in both words and occurs different number of times in each of the word, this is impossible in view of Lemma 3.3(iii). □
6 Definability of each word pattern modulo \(\mathfrak {B}\) in the ordered set of all such patterns
Lemma 6.1
[12, Theorem 4.3]
 (i)
For each word u the pattern \([u]_{\Leftrightarrow_{xy \approx yx}}\) is definable in the ordered set F _{∞}/⇔_{ xy≈yx } of all such patterns.
 (ii)
\(F_{\infty} / \Leftrightarrow_{\mathfrak{B}_{0,0,3}} = F_{\infty} /{\Leftrightarrow_{xy \approx yx}}\).
 (iii)
Each word pattern \([u]_{\Leftrightarrow_{\mathfrak{B}_{0,0,3}}}\) is definable in the ordered set \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}_{0,0,3}}}\).
Proof
(i) can be justified by a simple argument of McKenzie contained in the proof of Theorem 4.3 in [12].
(ii) If u>2, then \([u]_{\sim_{xy \approx yx}}= [u]_{\sim_{\mathcal{B}_{0,0,3}}}\). Therefore, by Lemma 5.3 we have that \([u]_{\Leftrightarrow_{xy \approx yx}}= [u]_{\Leftrightarrow_{\mathcal{B}_{0,0,3}}}\).
All equivalence classes \([u]=[u]_{\Leftrightarrow_{\mathfrak{B}_{0,0,3}}}=[u]_{\Leftrightarrow_{xy \approx yx}}\) for words u with u<3 are the following: {[xy],[x ^{2}],[x]}.
(iii) follows from parts (i) and (ii). □
Obviously, if \(\operatorname{var}{\mathfrak{B}} \subset\operatorname {var}\mathfrak{C}\), then v≤_{ℭ} u implies \(v \le_{\mathfrak{B}} u\). In particular, v≤u implies \(v \le_{\mathfrak{B}} u\) for every \(\mathfrak{B}\). If \(\mathfrak{B}\) contains only balanced identities, then \(v \le_{{\mathfrak{B}}} u\) implies v≤_{ xy≈yx } u, and, consequently, \(u \Leftrightarrow_{\mathfrak{B}} v \Rightarrow u \Leftrightarrow_{xy \approx yx} v\). Therefore, for each word u the class \([u]_{\Leftrightarrow_{xy \approx yx}}\) is a union of equivalence classes modulo \(\Leftrightarrow_{\mathfrak{B}}\). If \({\mathfrak{B}}\) is set of balanced identities and u is a word, then \(S_{u,{\mathfrak{B}}}\) denotes the set of all classes \([v]_{\Leftrightarrow_{\mathfrak{B}}}\) contained in the class \([u]_{\Leftrightarrow_{xy \approx yx}}\).
Lemma 6.2
If \({\mathfrak{B}}\) is a set of balanced identities, then for each word u the set \(S_{u,{\mathfrak{B}}}\) is definable in \(F_{\infty} /{\Leftrightarrow_{\mathfrak{B}}}\).
Proof
By Lemma 6.1, for each word u there is a firstorder formula that defines the pattern \([u]_{\Leftrightarrow_{xy \approx yx}}\) in the ordered set F _{∞}/⇔_{ xy≈yx }. Since for every two words v and u we have that \(v \le_{{\mathfrak{B}}} u \Longrightarrow v \le_{xy \approx yx} u\), the same formula defines the set \(S_{u,{\mathfrak{B}}}\) in \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\). □
If \(\mathfrak{B}\) is a set of regular identities, then the set \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\) ordered by \(\le_{\mathfrak{B}}\) can be identified with the set of all varieties of the form \(\operatorname{var}\{u \approx0, \mathfrak{B}\}\) ordered under inclusion.
Lemma 6.3
 (i)
\(\{[x^{k}]_{\Leftrightarrow_{\mathfrak{B}}}\}\) and \(\{[x_{1} \cdots x_{k}]_{\Leftrightarrow_{\mathfrak{B}}}\}\) for each k>0;
 (ii)
\(\{[x^{2}y]_{\Leftrightarrow_{\mathfrak{B}}}, [yx^{2}]_{\Leftrightarrow_{\mathfrak{B}}} \}\).
Proof
Part (i) follows from Lemma 6.2 and the fact that for each k>0, the sets \(S_{x^{k},{\mathfrak{B}}}\) and \(S_{x_{1} \cdots x_{k},{\mathfrak{B}}}\) are singletons.
(ii) The set \(S_{x^{2}y,{\mathfrak{B}}}\) contains at most three varieties, namely \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\), \(\operatorname{var}\{yx^{2} \approx0, {\mathfrak{B}}\}\) and \(\operatorname{var}\{xyx \approx0, {\mathfrak{B}}\}\). If the variety \(\operatorname{var}\{xyx \approx0, {\mathfrak{B}}\}\) is different from \(\operatorname{var}\{yx^{2} \approx0, {\mathfrak{B}}\}\) and \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\), then it can be told apart from the other two by saying that it does not contain \(\operatorname{var}\{x^{2} \approx0, {\mathfrak{B}}\}\). □
Lemma 6.4
([3], Theorem 9.3)
For every n>3 and each word u, the pattern \([u]_{\Leftrightarrow_{\mathfrak{B}_{0,0,n}}}\) is definable in the ordered set \(F_{\infty} /{ \Leftrightarrow_{\mathfrak{B}_{0,0,n}}}\) assuming that the pattern \([x^{2}y]_{\Leftrightarrow_{\mathfrak{B}_{0,0,n}}}\) is definable in \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}_{0,0,n}}}\).
The next theorem generalizes [11, Proposition 2.8] and we prove it by repeating the arguments used to prove Theorem 9.3 in [3].
Theorem 6.1
If \({\mathfrak{B}}\) is a set of balanced identities with \(\ell({\mathfrak{B}}) >0\) or \(r({\mathfrak{B}}) >0\), then each word pattern modulo \({\mathfrak{B}}\) is definable in the ordered set \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\) assuming that the pattern \([x^{2}y]_{\Leftrightarrow_{\mathfrak{B}}}\) is definable in \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\).
Proof
Without loss of generality, we may assume that \(\ell =\ell({\mathfrak{B}})>0\). We regard word patterns as varieties of the form \(\operatorname{var}\{u \approx0,\mathfrak{B}\}\) ordered under inclusion. In view of Lemma 6.2, we only need to show how to distinguish between the varieties in the set \(S_{u,{\mathfrak{B}}}\) for each word u.
Claim 1
Proof of Claim 1
In view of Lemma 6.3, we may assume that k>1. Since ℓ>0, the varieties \(\operatorname{var}\{x^{2}y_{1} \cdots y_{k} \approx0,{\mathfrak{B}}\}\) and \(\operatorname{var}\{y_{1} \cdots y_{k}x^{2} \approx0,{\mathfrak{B}}\}\) are different from each other. As in [3], we tell apart the variety \(\operatorname{var}\{x^{2}y_{1} \cdots y_{k} \approx 0,{\mathfrak{B}}\}\) from all other varieties in \(S_{x^{2}y_{1} \cdots y_{k},{\mathfrak{B}}}\) by saying that it is a cover of the variety \(\operatorname{var}\{x^{2}y_{1} \cdots y_{k1} \approx0,{\mathfrak{B}}\}\) but does not contain \(\operatorname{var}\{yx^{2} \approx 0, {\mathfrak{B}}\}\). Dually, we tell apart the variety \(\operatorname {var}\{y_{1} \cdots y_{k} x^{2} \approx0,{\mathfrak{B}}\}\) from all other varieties in \(S_{x^{2}y_{1} \cdots y_{k},{\mathfrak{B}}}\) by saying that it is a cover of \(\operatorname{var}\{y_{1} \cdots y_{k1}x^{2} \approx0,{\mathfrak{B}}\}\) but does not contain \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\). So, by induction, the varieties \(\operatorname{var}\{x^{2}y_{1} \cdots y_{k} \approx 0,{\mathfrak{B}}\}\) and \(\operatorname{var}\{y_{1} \cdots y_{k}x^{2} \approx0,{\mathfrak{B}}\}\) are definable in \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\). Claim 1 is proved. □
Claim 2
For each k>0, the varieties \(\operatorname{var}\{ x^{k}y \approx0,{\mathfrak{B}}\}\) and \(\operatorname{var}\{yx^{k} \approx 0, {\mathfrak{B}}\}\) are definable in \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\) assuming that \(\operatorname{var}\{x^{2}y \approx0,{\mathfrak{B}}\}\) is definable in \(F_{\infty} / \Leftrightarrow_{\mathfrak{B}}\).
Proof of Claim 2
In view of Lemma 6.3, we may assume that k≥3. As in [3], we tell apart the variety \(\operatorname{var}\{x^{k} y \approx0,{\mathfrak{B}}\}\) from all other varieties in \(S_{x^{k}y,{\mathfrak{B}}}\) by saying that it contains \(\operatorname{var}\{x^{2}y_{1} \cdots y_{k1} \approx0,{\mathfrak{B}}\}\) and \(\operatorname{var}\{x^{k} \approx0,{\mathfrak{B}}\}\) but does not contain \(\operatorname{var}\{ y_{1} \cdots y_{k1}x^{2} \approx0, {\mathfrak{B}}\}\). Claim 2 is proved by induction and duality. □
Claim 3
For each k+p>0, the varieties \(\operatorname{var}\{ x^{k}y_{1}\cdots y_{p} \approx0,{\mathfrak{B}}\}\) and \(\operatorname{var}\{ y_{1} \cdots y_{p}x^{k} \approx0, {\mathfrak{B}}\}\) are definable in \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\) assuming that \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\) is definable in \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\).
Proof of Claim 3
In view of the previous claims, we assume that k≥3 and p≥2. As in [3], we tell apart the variety \(\operatorname{var}\{x^{k} y_{1} \cdots y_{p} \approx0,\mathfrak {B}\}\) from all other varieties in \(S_{x^{k} y_{1} \cdots y_{p} ,\mathfrak {B}}\) by saying that it contains \(\operatorname{var}\{x^{k}y_{1} \cdots y_{p1} \approx 0,{\mathfrak{B}}\}\) but does not contain \(\operatorname{var}\{yx^{k} \approx0, {\mathfrak{B}}\}\). Claim 3 is proved by induction and duality. □
Claim 4
For each k+p+j>0, the variety \(\operatorname{var}\{ y_{1}\cdots y_{p}x^{k} z_{1} \cdots z_{j} \approx0,{\mathfrak{B}}\}\) is definable in \(F_{\infty} /{ \Leftrightarrow_{\mathfrak{B}}}\) assuming that \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\) is definable in \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\).
Proof of Claim 4
In view of the previous claims, we assume that k≥3, p>1 and j>1. As in [3], we tell apart the variety \(\operatorname{var}\{y_{1}\cdots y_{p}x^{k}z_{1} \cdots z_{j} \approx 0,{\mathfrak{B}}\}\) from all other varieties in \(S_{y_{1}\cdots y_{p}x^{k}z_{1} \cdots z_{j} ,{\mathfrak{B}}}\) by saying that it contains both \(\operatorname{var}\{ y_{1} \cdots y_{p}x^{k} \approx0, {\mathfrak{B}}\}\) and \(\operatorname{var}\{ x^{k} z_{1} \cdots z_{j} \approx0, {\mathfrak{B}}\}\). Claim 4 is proved by induction. □
Claim 5
Proof of Claim 5
As in [3], we tell apart the variety \(\mathcal{V}_{j,k,p}\) from all other varieties in \(S_{y_{1}\cdots y_{j} x z_{1} \cdots z_{k}xt_{1}\cdots t_{p} ,{\mathfrak{B}}}\) by saying that \(\mathcal {V}_{j,k,p}\) is contained in the variety \(\operatorname{var}\{y_{1}\cdots y_{j}x^{k+2} t_{1} \cdots t_{p} \approx0,{\mathfrak{B}}\}\) but in neither \(\operatorname{var}\{ y_{1}\cdots y_{j+1} x^{k+1} t_{1} \cdots t_{p} \approx0,{\mathfrak{B}}\}\) nor \(\operatorname{var}\{y_{1}\cdots y_{j}x^{k+1} t_{1} \cdots t_{p+1} \approx0,{\mathfrak{B}}\}\). Claim 5 is proved by induction. □
Now let u=x _{1}⋯x _{ k } be an arbitrary nonlinear word. The final argument in [3] is that we can tell apart the variety \(\operatorname{var}\{u\approx0,{\mathfrak{B}}\}\) from all other varieties in \(S_{u ,{\mathfrak{B}}}\) by saying that for each i,j (1≤i<j≤k) such that x _{ i }=x _{ j } the variety \(\operatorname{var}\{u\approx0,\mathfrak {B}\}\) contains the variety \(\mathcal{V}_{j,k,p}\). □
If u is a word, then u ^{ δ } denotes the dual of u, i.e. the word u written backward. The map δ:u↦u ^{ δ } induces the duality map on sets of identities. We say that a set of identities Σ is selfdual if Σ=Σ ^{ δ }. For example, for each n>1 the set \(\mathfrak{B}_{\ell,r,n}\) is selfdual if and only if ℓ=r.
If \(\mathfrak{B}\) is a selfdual set of regular identities, then evidently, \(v \le_{\mathfrak{B}} u\) if and only if \(v^{\delta} \le_{\mathfrak{B}} u^{\delta}\). In this case, the map \([u]_{\Leftrightarrow _{\mathfrak{B}}} \mapsto[u^{\delta}]_{\Leftrightarrow_{\mathfrak{B}}}\) is welldefined and is an automorphism of \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\).
Extending the definition from [11] to arbitrary selfdual sets \(\mathfrak{B}\) of regular identities, we say that a pattern \([u]_{\Leftrightarrow_{\mathfrak{B}}}\) is semidefinable in \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\) if one can find a firstorder formula \(\varPhi_{u} (\bar{x}, \bar{y})\) that turns into a true statement on \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}}}\) if and only if \(\bar{x} = [u]_{\Leftrightarrow_{\mathfrak{B}}}\) and \(\bar{y} = [x^{2}y]_{\Leftrightarrow_{\mathfrak{B}}}\), or else \(\bar{x} = [u^{\delta}]_{\Leftrightarrow_{\mathfrak{B}}}\) and \(\bar{y} = [yx^{2}]_{\Leftrightarrow_{\mathfrak{B}}}\).
Corollary 6.1
Let \({\mathfrak{B}}\) be a selfdual set of balanced identities with \(\ell({\mathfrak{B}})= r({\mathfrak{B}}) >0\) or \({\mathfrak{B}}=\mathfrak{B}_{k,k,n}\) for some k≥0 and n>1. Then each word pattern is semidefinable in the ordered set \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\).
Proof
For every word u the arguments used to prove Lemma 6.4 and Theorem 6.1 can be easily translated into a firstorder formula \(\varPhi_{u} (\bar{x}, \bar{y})\) that turns into a true statement if and only if \(\bar{x} = [u]_{\Leftrightarrow_{\mathfrak{B}}}\) and \(\bar{y} = [x^{2}y]_{\Leftrightarrow_{\mathfrak{B}}}\), or else \(\bar{x} = [u^{\delta}]_{\Leftrightarrow_{\mathfrak{B}}}\) and \(\bar{y} = [yx^{2}]_{\Leftrightarrow_{\mathfrak{B}}}\).
The defining sentences used in Claims 2–5 can be translated into firstorder formulas with two free variables in a similar way. □
Corollary 6.2
For each ℓ≠r≥0 and n>1 each word pattern is definable in the ordered set \(F_{\infty} / { \Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\).
Proof
For each word u we denote the pattern \([u]_{\Leftrightarrow \mathfrak{B}_{\ell,r,n}}\) simply by [u]. Without loss of generality, we may assume that ℓ<r. In view of Theorem 6.1 we only need to prove that the word pattern [yx ^{2}] is definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\).
To simplify the notation, we define some abbreviations for the elements \([u] \in S_{m}=S_{x^{2}y_{1}y_{2} \cdots y_{m}, \mathfrak{B}_{\ell,r,n}}\) when m≥ℓ+n+r−2. If there are i<ℓ letters before the first occurrence of x in u and j<ℓ letters before the second occurrence of x, then we denote [u]=L _{ i } L _{ j }. If there are i<ℓ letters before the first occurrence of x in u, at least ℓ letters before and at least r letters after the second occurrence of x, then we denote [u]=L _{ i } M. If there are i<ℓ letters before the first occurrence of x in u and j<r letters after the second occurrence of x, then we denote [u]=L _{ i } R _{ j }. If there are at least ℓ letters before the first occurrence of x in u and at least r letters after the second occurrence of x, then we denote [u]=MM. If there are at least ℓ letters before, at least r letters after the first occurrence of x and i<r letters after the second occurrence of x in u, then we denote [u]=MR _{ j }. If there are i<r letters after the first occurrence of x in u and j<r letters after the second occurrence of x, then we denote [u]=R _{ i } R _{ j }.
Observe that if m≥ℓ+n+r−2, then the number of patterns in the set S _{ m } does not depends on m and is equal to ℓ(ℓ−1)/2+r(r−1)/2+(ℓ+1)(r+1). If r=1 then for each m≥l+n+r−2 the set S _{ m } has only two patterns MM and MR _{0}. If ℓ=0 and r>1, then there are three types of word patterns in S _{ m }, namely MM, MR _{ j } and R _{ i } R _{ j }. If ℓ=1, then there are five types of patterns in S _{ m }, namely L _{ i } M, L _{ i } R _{ j }, MM, MR _{ j }, and R _{ i } R _{ j }. If ℓ>1, then there are six types of elements in S _{ m }, namely L _{ i } L _{ j }, L _{ i } M, L _{ i } R _{ j }, MM, MR _{ j }, and R _{ i } R _{ j }.
For k=ℓ+n+r−2 we consider a graph G whose vertices are the word patterns that belong to S _{ k }. If [v _{1}],[v _{2}] are vertices of G, then we put an edge {[v _{1}],[v _{2}]} if there is a pattern [w]∈S _{ k+1} such that \([v_{1}] <_{\mathfrak{B}_{\ell,r,n}} [w]\) and \([v_{2}] <_{\mathfrak{B}_{\ell,r,n}} [w]\). This property is definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\). Moreover, we label the vertices [v] of G by the number of these [w]∈S _{ k+1} such that \([v]<_{\mathfrak{B}_{\ell,r,n}}[w]\). This property is also definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell ,r,n}}}\). It is easy to observe that the only vertex labeled 1 is MM. Hence, the word pattern MM is definable in S _{ k } and, consequently, by Lemma 6.2 in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\). The vertices labeled 2 have the forms L _{ i } L _{ i+1}, L _{ i } M, MR _{ i }, and R _{ i+1} R _{ i }. The rest are labeled 3.
First consider the case when ℓ=0,n=r=2. In this case \([x^{2}y] <_{\mathfrak{B}_{\ell,r,n}} M\!M\) and \([yx^{2}] \not<_{\mathfrak{B}_{\ell,r,n}} M\!M\), and therefore, both word patterns [yx ^{2}] and [x ^{2} y] are definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\).
If r=1, then G consists of two vertices MM and MR _{0}. Hence, MR _{0} is definable in S _{ k } and in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\). In this case \([yx^{2}] <_{\mathfrak{B}_{\ell,r,n}} M\!R_{0}\) and \([x^{2}y]\not<_{\mathfrak{B}_{\ell,r,n}} M\!R_{0}\), and therefore, both word patterns [yx ^{2}] and [x ^{2} y] are definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\).
Assume now that r≥2. Consider a subgraph H of G spanned by vertices that are labeled 1 and 2. The set of vertices of H is obviously definable. It is clear that the distance in the graph H between the vertex MM and the vertices L _{ ℓ−i } L _{ ℓ−i+1}, L _{ ℓ−i } M, MR _{ r−i }, and R _{ r−i+1} R _{ r−i } is i+1. Since r≥2, there are exactly two vertices of H with the distance to MM equal to r. These vertices are MR _{0} and R _{1} R _{0}. Hence, the set {MR _{0},R _{1} R _{0}} is definable in S _{ k }. Moreover, for R _{1} R _{0} there is only one word pattern [v]∈S _{ k−1} such that \([v] <_{\mathfrak{B}_{\ell,r,n}} R_{1}R_{0} \in S_{k}\). This word pattern is R _{1} R _{0}∈S _{ k−1}. But since r≥2 and ℓ+n>2, for MR _{0}, there are at least two distinct patterns in S _{ k−1} with this property: the one that ends with xyx and the one that ends with xyzx. Therefore, R _{1} R _{0}∈S _{ k } is definable in \(F_{\infty}/{\Leftrightarrow_{ \mathfrak{B}_{\ell,r,n}}}\). Now, \([yx^{2}] <_{\mathfrak{B}_{\ell,r,n}} R_{1}R_{0}\) and \([x^{2}y]\not <_{\mathfrak{B}_{\ell,r,n}}R_{1}R_{0}\). Thus, both word patterns [yx ^{2}] and [x ^{2} y] are definable in \(F_{\infty}/{\Leftrightarrow_{\mathfrak{B}_{\ell,r,n}}}\). □
7 Properties of varieties \({\mathcal{V}}_{a,b}^{}\) and \({\mathcal{V}}_{a,b}^{+}\)
Lemma 7.1
 (i)
u∼_{ℜ} v;
 (ii)
u≥_{ℜ} a and v≥_{ℜ} b for some possibly equal words a and b such that \(\{a \approx0, b \approx0\} \subseteq\mathfrak{A}\).
Proof
If one of the conditions (i) or (ii) holds, then clearly, \(\operatorname{var}(\mathfrak{A} \cup \mathfrak{R}) \models u \approx v\).
If a=b, then we set \({\mathcal{V}}_{a}^{} := {\mathcal{V}}_{a,b}^{} \) and \({\mathcal{V}}_{a}^{+} := {\mathcal{V}}_{a,b}^{+}\).
Denote \(\mathfrak{A}=\{ v\approx0 \mid v > a \} \cup\{ u\approx0 \mid u > b \}\) and \(\mathfrak{C}=\{ p(a) \approx q(b) \mid p,q \in P(\operatorname{Cont}(a))\}\).
Lemma 7.2
 (i)
the variety \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}}\) satisfies neither a≈0 nor b≈0;
 (ii)
if \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}} \models U \approx V\) and \(U >_{{\mathfrak{B}}} a\), then \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}} \models U \approx V \approx0\) and \(V >_{{\mathfrak{B}}} c\) for some c∈{a,b}.
Proof
(i) Suppose that \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}} \models a \approx0\). Let a=V _{1}≈V _{2}≈⋯≈0 be a derivation of a≈0 from \(\mathfrak{A} \cup \mathfrak{C} \cup\mathfrak{B}\). Since all identities in set \(\mathfrak{C} \cup\mathfrak{B}\) are regular, we must use some identity from set \(\mathfrak{A}\) in this derivation. Therefore, this derivation contains a word V _{ k } such that V _{ k }>a or V _{ k }>b. Let 1<k<n be the least number with this property and suppose that V _{ k }>a. So, we can consider another derivation of a≈0: a=V _{1}≈V _{2}≈⋯≈V _{ k−1}≈V _{ k }=0. This new derivation has a property that for each i=1,2,…,k−1 the word V _{ i } is neither greater than a nor greater than b. This means that either only identities from ℭ are used in this derivation or \(a \sim_{\mathfrak{B}} V_{k}\). Let j be the maximal number such that we apply an identity from ℭ to V _{ j } or j=1. Then V _{ j }=p(c) for some c∈{a,b} and some renaming of variables p. Since \(V_{j} \sim_{\mathfrak{B}} V_{k}\) we have that \(p(c) \sim_{\mathfrak{B}} V_{k}\). Then by Lemma 5.3 we have that \(V_{k} \Leftrightarrow_{\mathfrak{B}} c\). If c=a then we obtain a contradiction with the fact that V _{ k }>a. If c=b≠a then we obtain a contradiction with the fact that a and b are incomparable modulo \(\mathfrak{B}\) in the order \(\le_{\mathfrak{B}}\). Thus, the variety \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}}\) does not satisfy a≈0.
Similarly, one can show that the variety \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\) does not satisfy b≈0.
(ii) If \(U >_{{\mathfrak{B}}} a\), then by Lemma 5.3 one can find a word W such that \(U \sim_{\mathfrak{B}} W\) and W>a. Therefore, \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}\mathfrak {B} \models U \approx V \approx0\). Since \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}} \models V \approx0\), we can derive V≈0 from \(\mathfrak{A} \cup \mathfrak{C} \cup\mathfrak{B}\). Let V≈V _{1}≈V _{2}≈⋯≈0 be a derivation of V≈0 from \(\mathfrak{A} \cup \mathfrak{C} \cup\mathfrak{B}\). If U _{ i } is the first place in this derivation where we use some identity \(\tau\notin\mathfrak{B}\), then two cases are possible:
Case 1: τ is u≈0 where u>c for some c∈{a,b}. Then U _{ i }≥u>c and by Lemma 5.3 we have that \(V >_{\mathfrak{B}} c\).
Case 2: τ is a≈p(b) for some permutation p of \(\operatorname{Cont}(a)=\operatorname{Cont}(b)\). Then U _{ i }=AΘ(a)B for some word AB and substitution Θ. If the word AB is empty and Θ is a renaming of variables, then U _{ i }=Θ(a). But then \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}{\mathfrak{B}} \models \varTheta(a) \approx0\) which contradicts part (i). So, we can assume that the word AB is not empty or Θ is not a renaming of variables, whence U _{ i }>a. Then by Lemma 5.3 we have that \(V >_{\mathfrak{B}} a\).
Case 3: τ is b≈q(b) for some permutation q of \(\operatorname{Cont}(b)\). This case is similar to Case 2 and the conclusion is that \(V >_{\mathfrak{B}} b\). □
Lemma 7.3
 (i)
\({\mathcal{V}}_{a}^{+} = {\mathcal{V}}_{a}^{} \) if and only if the word a is a power of some variable;
 (ii)
\(\operatorname{var}\{a \approx0,\ b \approx0,\ {\mathfrak{B}}\} \subset{\mathcal{V}}_{a,b}^{+} \wedge\operatorname {var}{\mathfrak{B}} \subseteq{\mathcal{V}}_{a,b}^{} \wedge\operatorname{var}{\mathfrak{B}} \subset\operatorname {var}{\mathfrak{B}}\).
Proof
(i) If a contains more than two variables, then the set \(\{ a \approx p(a)\mid p\in P(\operatorname{Cont}(a))\}\) contains a nontrivial identity that cannot be derived from {v≈0∣v>a}.
(ii) The first inclusion is strict because the variety \({\mathcal {V}}_{a,b}^{+} \wedge\operatorname{var}{\mathfrak{B}}\) does not satisfy a≈0 by Lemma 7.2. The last inclusion is strict because the variety \({\mathcal {V}}_{a,b}^{} \wedge\operatorname{var}{\mathfrak{B}}\) is periodic. □
If \(\mathfrak{B}\) is a set of identities, then an identity τ is called nontrivial modulo \(\mathfrak{B}\) if τ does not follow from \(\mathfrak{B}\). If \(\mathfrak{B}\) contains only balanced identities we consider two types of identities u≈v.
Type 1: \(u \sim_{{\mathfrak{B}}} p(c)\) for some c∈{a,b} and some permutation p of \(\operatorname{Cont}(a)\) and \(v \sim _{{\mathfrak{B}}}q(c)\) for some d∈{a,b} and some permutation q of \(\operatorname{Cont}(a)\).
Type 2: \(u >_{{\mathfrak{B}}} c\) for some c∈{a,b} and \(v >_{{\mathfrak{B}}} d\) for some d∈{a,b}.
Lemma 7.4
 (i)
\(\mathcal{V}\supseteq{\mathcal{V}}_{a,b}^{}\wedge \operatorname{var}{\mathfrak{B}}\) if and only if each nontrivial modulo \(\mathfrak{B}\) identity of \(\mathcal{V}\) has Type 2.
 (ii)
\(\mathcal{V}\supseteq{\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\) if and only if each nontrivial modulo \(\mathfrak{B}\) identity of \(\mathcal{V}\) has Type 1 or Type 2.
Proof
(i) Let u≈v be a nontrivial modulo \(\mathfrak{B}\) identity of \(\mathcal{V} \supseteq{\mathcal{V}}_{a,b}^{}\wedge\operatorname {var}{\mathfrak{B}}\). Then by Lemma 7.1, \(u \ge_{\mathfrak{B}} u'\) and \(v \ge_{\mathfrak{B}} v'\) where u′>c for some c∈{a,b} and v′>d for some d∈{a,b}. Thus, by Lemma 5.3 we have that \(u >_{{\mathfrak{B}}} c\) and \(v >_{{\mathfrak{B}}} d\). Therefore, the identity u≈v is of Type 2.
(ii) Let u≈v be a nontrivial modulo \(\mathfrak{B}\) identity of \(\mathcal{V} \supseteq{\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}}\).
If u or v is incomparable neither with a nor with b modulo \(\mathfrak{B}\), then u≈v is trivial modulo \(\mathfrak{B}\). If \(u>_{{\mathfrak{B}}} c\) for some c∈{a,b}, then by Lemma 7.2 we have that \(v >_{{\mathfrak{B}}} d\) for some d∈{a,b}. In this case the identity u≈v is of Type 2. If the identity u≈v is irregular, then say, v contains some variable x but u does not. If we replace x by a, then we obtain an identity u≈w such that w>a. Then in view of Lemma 7.2, we have that \(u >_{{\mathfrak{B}}} a\). This takes us to the previous case. If the identity u≈v is regular and \(u \Leftrightarrow_{\mathfrak{B}} v\), then the identity u≈v is of Type 1 by Lemma 5.3. □
Lemma 7.5
Let \({\mathfrak{B}}\) be a set of balanced identities and let a and b be two words with \(\operatorname {Cont}(a)=\operatorname{Cont}(b)\) that are either equal or incomparable modulo \(\mathfrak{B}\) in the order \(\le_{\mathfrak{B}}\). If τ is a nontrivial identity modulo \(\mathfrak{B}\), then \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}} \models \tau\) if and only if τ has Type 1 or Type 2.
Proof
If \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}} \models \tau\), then by Lemma 7.4 the identity τ has either Type 1 or Type 2. If τ is of Type 1, then τ follows from \(\{ p(a) \approx q(b)\mid p,q \in P(\operatorname{Cont}(a))\}\). If u≈v is of Type 2, then by Lemma 5.3 we have that \(u \sim_{\mathfrak{B}} u'\) and u′>c. So, \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}\mathfrak {B} \models u \approx0\). Similarly, \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}\mathfrak {B}\models v\approx0\). Therefore, \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}} \models u \approx v\). □
Lemma 7.6
Let \({\mathfrak{B}}\) be a set of balanced identities and let a and b be two words with \(\operatorname{Cont}(a)=\operatorname{Cont}(b)\) that are either equal or incomparable modulo \(\mathfrak{B}\) in the order \(\le _{\mathfrak{B}}\). Then the variety \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) is a cover of the variety \(\operatorname{var}\{a\approx0,\ b \approx0,\ {\mathfrak{B}}\}\). In particular, the variety \({\mathcal{V}}_{a}^{+}\) is a cover of the variety \(\operatorname {var}\{a\approx0\}\).
Proof
Let \(\mathcal{V}\) be a variety such that \(\operatorname {var}\{a\approx0,\ b \approx0,\ {\mathfrak{B}}\} \subseteq\mathcal {V}\subset{\mathcal{V}}_{a,b}^{+} \wedge\operatorname{var}{\mathfrak{B}}\). Since \(\mathcal{V}\) is properly contained in \({\mathcal{V}}_{a}^{+} \wedge\operatorname{var}{\mathfrak{B}}\), the variety \(\mathcal{V}\) satisfies some identity u≈v such that \({\mathcal{V}}_{a}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) does not satisfy u≈v. Since the variety \(\mathcal{V}\) contains \(\operatorname{var}\{a\approx0, b \approx0,\ {\mathfrak{B}}\}\), Lemma 7.1 implies that \(u \ge_{\mathfrak {B}} c\) for some c∈{a,b} and \(v \ge_{{\mathfrak{B}}} d\) for some d∈{a,b}. In view of Lemma 7.5, two essentially different cases are possible.
Case 1: \(u >_{{\mathfrak{B}}} c\) for some c∈{a,b} and \(v \sim _{{\mathfrak{B}}} p(a)\) for some renaming of variables p. Since \({\mathcal{V}}_{a,b}^{+} \wedge\operatorname{var}{\mathfrak{B}}\) satisfies u≈0, we have that \(\mathcal{V}\models p(a)\approx 0\). Since \({\mathcal{V}}_{a,b}^{+} \wedge \operatorname{var}{\mathfrak{B}}\) satisfies b≈p(a), we have that \(\mathcal{V}\models b \approx0\). Therefore \(\mathcal{V}= \operatorname{var}\{a\approx0, b \approx0,\ {\mathfrak{B}}\}\).
Case 2: \(u \sim_{{\mathfrak{B}}} p(a)\) for some renaming of variables p and \(v \sim_{{\mathfrak{B}}} q(c)\) for some c∈{a,b} and some renaming of variables q such that the identity u≈v is irregular. Without loss of generality, \(\mathcal{V}\) satisfies p(a)≈v such that v contains some letter x that does not occur in p(a). If we replace x by a, we obtain an identity p(a)≈v′ such that v′>a. Since \({\mathcal{V}}_{a}^{+} \wedge\operatorname {var}{\mathfrak{B}}\) satisfies v′≈0, we have that \(\mathcal {V}\models p(a)\approx0\). Since \({\mathcal{V}}_{a,b}^{+} \wedge\operatorname{var}{\mathfrak{B}}\) satisfies b≈p(a), we have that \(\mathcal{V}\models b \approx 0\). Therefore \(\mathcal{V}= \operatorname{var}\{a\approx 0, b \approx0,\ {\mathfrak{B}}\}\). □
The next technical lemma is needed only to justify Corollary 7.1.
Lemma 7.7
Let \({\mathfrak{B}}\) be a set of balanced identities and let a and b be two words with \(\operatorname {Cont}(a)=\operatorname{Cont}(b)\) that are incomparable modulo \(\mathfrak{B}\) in the order \(\le _{\mathfrak{B}}\). Let \(\mathcal{V}\) be a variety that contains \(\operatorname{var}\{a\approx0,\ b \approx0,\ {\mathfrak{B}}\}\) and is contained in \({\mathcal {V}}_{a,b}^{}\wedge\operatorname{var}{\mathfrak{B}}\). If \(\mathcal{V}\) does not contain \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\), then \(\mathcal{V}\models a\approx 0\) or \(\mathcal{V}\models b \approx0\).
Proof
Since \(\mathcal{V}\) does not contain \({\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\), the variety \(\mathcal{V}\) satisfies some identity u≈v such that \({\mathcal{V}}_{a}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) does not satisfy u≈v. Since the variety \(\mathcal{V}\) contains \(\operatorname{var}\{a\approx0,\ b \approx0,\ {\mathfrak{B}}\}\), Lemma 7.1 implies that \(u \ge_{\mathfrak {B}} c\) for some c∈{a,b} and \(v \ge_{{\mathfrak{B}}} d\) for some d∈{a,b}. In view of Lemma 7.5, two essentially different cases are possible.
Case 1: \(u >_{{\mathfrak{B}}} c\) for some c∈{a,b} and \(v \sim _{{\mathfrak{B}}} p(a)\) for some renaming of variables p. By Lemma 5.3 one can find a word w such that \(u \sim_{\mathfrak {B}} w\) and w>c. Therefore, \(\mathcal{V}\models w \approx p(a)\). Since w>c and \(\mathcal{V}\subseteq {\mathcal{V}}_{a,b}^{}\wedge \operatorname{var}{\mathfrak{B}}\) we have that \(\mathcal{V}\models w \approx0\). So, the variety \(\mathcal{V}\) satisfies the identity p(a)≈0 and consequently a≈0.
Case 2: \(u \sim_{{\mathfrak{B}}} p(a)\) for some renaming of variables p and \(v \sim_{{\mathfrak{B}}} q(c)\) for some c∈{a,b} and some renaming of variables q such that the identity u≈v is irregular. Without loss of generality, \(\mathcal{V}\) satisfies p(a)≈v such that v contains some letter x that does not occur in p(a). If we replace x by a, we obtain an identity p(a)≈v′ such that v′>a. Since v′>a and \(\mathcal{V}\subseteq {\mathcal {V}}_{a,b}^{}\wedge\operatorname{var}{\mathfrak{B}}\), we have that \(\mathcal{V}\models v'\approx0\). So, the variety \(\mathcal{V}\) satisfies the identity p(a)≈0 and consequently a≈0.
If we consider cases symmetric to Case 1 and Case 2, then we obtain that \(\mathcal{V}\models b \approx0\). □
Corollary 7.1
Let \({\mathfrak{B}}\) be a set of balanced identities and let a and b be two words with \(\operatorname{Cont}(a)=\operatorname {Cont}(b)\) incomparable modulo \(\mathfrak{B}\) in the order \(\le_{\mathfrak{B}}\). Then the variety \({\mathcal{V}}_{a,b}^{+} \wedge\operatorname{var}\mathfrak{B}\) is the only cover of the variety \(\operatorname{var}\{a\approx0,\ b \approx 0,\ {\mathfrak{B}}\}\) that is contained in \({\mathcal{V}}_{a,b}^{} \wedge\operatorname{var}\mathfrak{B}\) but in neither \(\operatorname{var}\{a\approx0,\ {\mathfrak{B}}\}\) nor \(\operatorname{var}\{b \approx0,\ {\mathfrak{B}}\}\).
The next lemma follows from Lemma 1.3(iii) in [27].
Lemma 7.8
[27]
If a permutative nilvariety satisfies an identity of the form u≈v with u<v, then \(\mathcal{V}\) also satisfies the identity u≈0.
The next technical lemma is needed only to justify Corollary 7.2.
Lemma 7.9
Let \({\mathfrak{B}}\) be a set of balanced identities that contains a permutation identity. Let \(\mathcal{V}\) be a nilvariety that contains \(\operatorname{var}\{ a\approx0,{\mathfrak{B}}\}\) and is contained in \(\operatorname {var}{\mathfrak{B}}\). If \(\mathcal{V}\) does not contain \({\mathcal{V}}_{a}^{+}\wedge\operatorname{var}{\mathfrak{B}}\), then \(\mathcal{V}\models a\approx0\).
Proof
Since \(\mathcal{V}\) does not contain \({\mathcal{V}}_{a}^{+}\wedge \operatorname{var}{\mathfrak{B}}\), the variety \(\mathcal{V}\) satisfies some identity u≈v such that \({\mathcal{V}}_{a}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) does not satisfy u≈v. Since \(\mathcal{V}\) contains the variety \(\operatorname{var}\{a\approx0,{\mathfrak{B}}\}\), Lemma 7.1 implies that \(u \ge_{{\mathfrak{B}}} a\) and \(v \ge _{{\mathfrak{B}}} a\). In view of Lemma 7.5, two essentially different cases are possible.
Case 1: \(u >_{{\mathfrak{B}}} a\) and \(v \sim_{{\mathfrak{B}}} p(a)\) for some renaming of variables p. By Lemma 5.3 one can find a word w such that \(u \sim_{{\mathfrak{B}}} w\) and w>a. Therefore, \(\mathcal{V}\models w \approx p(a)\). Since w>a we have that w>p(a). Since \(\mathcal{V}\) is a permutative nilvariety, by Lemma 7.8, the variety \(\mathcal{V}\) satisfies the identity p(a)≈0 and consequently a≈0.
Case 2: \(u \sim_{{\mathfrak{B}}} p(a)\) and \(v \sim_{{\mathfrak{B}}} q(a)\) for some renamings of variables p and q such that the identity u≈v is irregular. Without loss of generality, \(\mathcal{V}\) satisfies p(a)≈v such that v contains some letter x that does not occur in p(a). If we replace x by p(a), we obtain an identity p(a)≈v′ such that v′>p(a). Since \(\mathcal{V}\) is a permutative nilvariety, by Lemma 7.8, the variety \(\mathcal{V}\) satisfies the identity p(a)≈0 and consequently a≈0. □
Corollary 7.2
Let \({\mathfrak{B}}\) be a set of balanced identities that contains a permutation identity and let a be a word. Then the variety \({\mathcal{V}}_{a}^{+}\wedge\operatorname{var}\mathfrak {B}\) is the only cover of the variety \(\operatorname{var}\{a\approx 0,{\mathfrak{B}}\}\) in the lattice \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\).
8 The set of varieties of the form \(\mathrm{var}\{u \approx0, \mathfrak{B}\}\) is definable in \(L (\mathrm{var}{\mathfrak{B}})\)
If \(\mathfrak{A}\) is a set of 0reduced identities and \(\mathfrak{B}\) is a set of regular identities, then we say that \(\mathfrak{A}\) is reduced modulo \(\mathfrak{B}\) if every two words a and b with \(\{ a \approx0, b \approx0 \} \subseteq\mathfrak{A}\) are incomparable in the order \(\le_{\mathfrak{B}}\).
Proposition 8.1
 (i)
\(\mathcal{V}\) is b0reduced.
 (ii)
\(\mathcal{V}=\operatorname{var}(\mathfrak{A} \cup \mathfrak{B})\) for some set of balanced identities \(\mathfrak{B}\) and some nonempty set of 0reduced identities \(\mathfrak{A}\).
 (iii)
\(\mathcal{V}=\operatorname{var}(\mathfrak{A} \cup \mathfrak{B})\) for some set of balanced identities \(\mathfrak{B}\) and some nonempty set of 0reduced identities \(\mathfrak{A}\) reduced modulo \(\mathfrak{B}\).
 (iv)
\(\mathcal{V}\) can be defined by an irredundant basis of balanced and 0reduced identities.
Proof
(i) → (ii). Since \(\mathcal{V}\) is b0reduced, each unbalanced identity u≈v of \(\mathcal{V}\) can be derived from u≈0 and v≈0. If \(\mathfrak{A}\) is the set of all 0reduced identities satisfied by \(\mathcal{V}\) and \(\mathfrak{B}\) is the set of all balanced identities satisfied by \(\mathcal{V}\), then \(\mathcal {V}=\operatorname{var}(\mathfrak{A} \cup\mathfrak{B})\).
(ii) → (iii). Let us show that one can find \(\mathfrak{A}' \subseteq\mathfrak{A}\) such that \(\mathfrak{A}'\) is reduced modulo \(\mathfrak{B}\) and \(\operatorname{var}(\mathfrak{A} \cup\mathfrak{B}) =\operatorname{var}(\mathfrak{A}' \cup\mathfrak{B})\). The following argument is a modification of the argument of Martynova [14]. For each n>0, let \(\mathfrak{A}_{n}\) denote the set of all identities u≈0 in \(\mathfrak{A}\) such that u≤n. Since for each n>0 the set \(\mathfrak{A}_{n}\) is finite, we can reduce \(\mathfrak{A}_{n}\) modulo \(\mathfrak{B}\) to \(\mathfrak{A}'_{n}\) by throwing away extra identities of length n. Since set \(\mathfrak{B}\) contains only balanced identities, no derivation of any 0reduced identity a≈0 uses any 0reduced identity b≈0 with b>a. So, the set \(\mathfrak{A}' = \bigcup_{n >0} \mathfrak{A}'_{n}\) is reduced modulo \(\mathfrak{B}\). Evidently, \(\operatorname{var}(\mathfrak{A} \cup\mathfrak{B}) =\operatorname{var}(\mathfrak{A}' \cup \mathfrak{B})\).
(iii) → (iv) follows from Proposition 4.1 in [20] that says that each set of balanced and 0reduced identities is equivalent to its irreducible subset.
Evidently (iv) → (iii) → (ii).
Recall that a variety that can be defined by 0reduced identities only is called a 0reduced variety. Obviously, each 0reduced variety is also a b0reduced variety. By a result of Ježek [4], there are 0reduced varieties with infinite irredundant identity bases. In contrast, Proposition 8.1 and a result by Perkins [15] imply the following.
Lemma 8.1
Each permutative b0reduced variety can be defined by a finite basis of balanced and 0reduced identities.
Lemma 8.2
 (i)
\(\operatorname{var}(\mathfrak{A} \cup\mathfrak{B}) = \mathcal{V}_{1} \wedge\mathcal{V}_{2}\) for some incomparable varieties \(\mathcal{V}_{1} \in L (\operatorname{var}{\mathfrak{B}}) \cap {\mathbf{N}}\) and \(\mathcal{V}_{2} \in L (\operatorname{var}\mathfrak {B}) \cap{\mathbf{N}}\);
 (ii)
if \({\mathfrak{B}}\) contains a permutation identity, then the variety \(\operatorname{var}(\mathfrak{A} \cup\mathfrak{B})\) has at least two covers in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\).
Proof
(i) Let b≈0 and c≈0 be two distinct identities in \(\mathfrak{A}\). It is easy to see that \(\mathcal{V}= \operatorname{var}((\mathfrak{A} \setminus\{b \approx0\})\cup \mathfrak{B}) \wedge \operatorname {var}((\mathfrak{A} \setminus\{c \approx0\})\cup\mathfrak{B})\). Since the set \(\mathfrak{A}\) is reduced modulo \(\mathfrak{B}\), the varieties \(\mathcal{V}_{1}= \operatorname {var}((\mathfrak{A} \setminus\{b \approx0\})\cup\mathfrak{B})\) and \(\mathcal{V}_{2}= \operatorname{var}((\mathfrak{A} \setminus\{c \approx0\})\cup \mathfrak{B})\) are incomparable.
(ii) Since \({\mathfrak{B}}\) contains a permutation identity, each variety in \(L (\operatorname{var}{\mathfrak{B}})\) is permutative. Since each variety in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\) is permutative and periodic, by the result of Perkins [15], every variety in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\) is finitely based. Therefore, there are no infinite descending chains between \(\mathcal {V}_{1}\) and \(\mathcal{V}=\operatorname{var}(\mathfrak{A} \cup\mathfrak{B})\) or between \(\mathcal{V}_{2}\) and \(\mathcal{V}\). Thus, \(\mathcal{V}\) has both a cover contained in \(\mathcal{V}_{1}\) and a cover contained in \(\mathcal{V}_{2}\); these two covers cannot coincide since \(\mathcal{V}_{1} \wedge\mathcal{V}_{2}=\mathcal{V}\). We conclude that \(\mathcal{V}\) must have at least two covers in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\). □
Lemma 8.3
 (i)
\(\operatorname{var}\{a \approx0,\mathfrak{B} \cup \mathfrak{C}\} = \mathcal{V}_{1} \wedge\mathcal{V}_{2}\) for some incomparable varieties \(\mathcal{V}_{1} \in L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\) and \(\mathcal {V}_{2} \in L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\);
 (ii)
if \({\mathfrak{B}}\) contains a permutation identity, then the variety \(\operatorname{var}\{a \approx0,\mathfrak{B} \cup \mathfrak{C}\}\) has at least two covers in \(L (\operatorname{var}{\mathfrak{B}}) \cap {\mathbf{N}}\).
Proof
(i) The variety \({\mathcal{V}}_{a}^{+}\wedge\operatorname {var}({\mathfrak{B}} \cup \mathfrak{C})\) is a cover of \(\operatorname{var}\{a \approx0,\mathfrak{B} \cup \mathfrak{C}\}\) by Lemma 7.6. Therefore, \(\operatorname{var}\{a \approx 0,\mathfrak{B} \cup \mathfrak{C}\}= \operatorname{var}\{a \approx0,\mathfrak{B}\} \wedge{\mathcal {V}}_{a}^{+}\wedge\operatorname{var}({\mathfrak{B}} \cup\mathfrak{C})\). The variety \({\mathcal{V}}_{a}^{+}\wedge \operatorname{var}({\mathfrak{B}} \cup \mathfrak{C})\) is not contained in \(\operatorname{var}\{a \approx0,\mathfrak{B}\}\) because it does not satisfy a≈0.
(ii) Using a similar argument as in Lemma 8.2(ii), one can show that there is a cover of \(\operatorname{var}\{a \approx 0,\mathfrak{B} \cup \mathfrak{C}\}\) under \(\operatorname{var}\{a \approx0,\mathfrak{B}\}\) as well as a cover under \({\mathcal{V}}_{a}^{+}\wedge\operatorname {var}({\mathfrak{B}} \cup \mathfrak{C})\), and these two covers cannot coincide. □
Proposition 8.2
Let \({\mathfrak{B}}\) be a set of balanced identities that contains a permutation identity. A b0reduced variety \(\mathcal{V} \in L (\operatorname {var}{\mathfrak{B}})\) has exactly one cover in \(L (\operatorname {var}{\mathfrak{B}}) \cap{\mathbf{N}}\) if and only if \(\mathcal{V}= \operatorname{var}\{u \approx0,{\mathfrak{B}}\}\).
Proof
If \(\mathcal{V}= \operatorname{var}\{u \approx0, {\mathfrak{B}}\}\), then \(\mathcal{V}\) has exactly one cover in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\) by Corollary 7.2.
Now assume that \(\mathcal{V}\) has exactly one cover in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\). Since \(\mathcal {V}\) is a b0reduced variety in \(L (\operatorname{var}{\mathfrak{B}})\), we have that \(\mathcal {V}=\operatorname{var}(\mathfrak{A} \cup\mathfrak{B} \cup\mathfrak{C})\) for some set of 0reduced identities \(\mathfrak{A}\) and some set of balanced identities ℭ. In view of Proposition 8.1, we can assume that the set \(\mathfrak{A}\) is reduced modulo \(\mathfrak{B} \cup\mathfrak{C}\). If \(\mathfrak{A}\) contains two identities then, by Lemma 8.2, \(\mathcal{V}\) must have at least two covers in \(L (\operatorname {var}{\mathfrak{B}}\cup\mathfrak{C}) \cap{\mathbf{N}}\) and consequently, in \(L (\operatorname{var}{\mathfrak{B}}) \cap{\mathbf{N}}\).
To avoid a contradiction, we must assume that \(\mathfrak{A}\) contains exactly one identity, i.e. \(\mathcal{V}=\operatorname{var}\{u \approx 0,\mathfrak{B} \cup \mathfrak{C}\}\) for some word u. If the set ℭ contains some identity that does not follow from \(\mathfrak{B} \cup\{a \approx0\}\), then by Lemma 8.3, the variety \(\mathcal {V}\) must have at least two covers in \(L (\operatorname{var}\mathfrak {B}) \cap{\mathbf{N}}\). We conclude that \(\mathcal{V}=\operatorname{var}\{u \approx0, {\mathfrak{B}}\}\). □
Lemma 2.4, Theorem 4.1 and Proposition 8.2 imply the following.
Theorem 8.1
Let \({\mathfrak{B}}\) be a set of balanced identities that contains a permutation identity. Then the set of all varieties of the form \(\operatorname{var}\{u \approx0, {\mathfrak{B}}\}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\).
9 Some definable and semidefinable varieties and sets of varieties in \(L (\mathrm{var}{\mathfrak{B}})\)
If \({\mathfrak{B}}\) is a set of balanced identities, then a b0reduced variety \(\mathcal{V}\in L (\operatorname{var}{\mathfrak{B}})\) is called \({\mathfrak{B}}\)0reduced if every balanced identity of \(\mathcal{V}\) follows from \({\mathfrak{B}}\). Since every balanced identity follows from xy≈yx, the set of all {xy≈yx}0reduced varieties coincides with the set of all commutative b0reduced varieties. The set of all {x≈x}0reduced varieties obviously coincides with the set of all 0reduced varieties.
It is proved in [11] and reproved in [24, 29] that the set of all 0reduced varieties is definable in SEM. Corollary 2.12 in [24] (reproduced as [25, Theorem 2.3]) and Proposition 2.2 in [18] define the set of all 0reduced varieties and the set of all commutative b0reduced varieties as follows.
Lemma 9.1
If \({\mathfrak{B}} = \{x\approx x\}\) or \({\mathfrak{B}} = \{xy\approx yx\}\), then a variety \(\mathcal{V}\in L (\operatorname{var}{\mathfrak{B}})\) is \(\mathfrak {B}\)0reduced if and only if \(\mathcal{V}\) is a nilvariety and \(\mathcal{V}\) is lowermodular in \(L (\operatorname{var}{\mathfrak{B}})\).
Lemma 9.1 defines the set of all commutative b0reduced varieties in a different way than Corollary 4.1.
Question 9.1
Is it true that the set of all \(\mathfrak {B}\)0reduced varieties is definable in \(L (\operatorname {var}{\mathfrak{B}})\) for every set of balanced identities \({\mathfrak{B}}\)?
The following definition is essentially the definition of semidefinability in [11] extended to arbitrary selfdual sets of regular identities.
Definition 9.1
Let \({\mathfrak{B}}\) be a selfdual set of regular identities and \(\mathcal{V}\in L (\operatorname {var}{\mathfrak{B}})\). We say that \(\mathcal{V}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx 0,\mathfrak{B}\}\) if there exists a firstorder formula \(\varPhi_{\mathcal{V}} (\bar{x}, \bar{y})\) that turns into a true statement on \(L (\operatorname{var}{\mathfrak{B}})\) if and only if \(\bar{x} = \mathcal{V}\) and \(\bar{y} = \operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\), or else \(\bar{x} = \mathcal{V}^{\delta}\) and \(\bar{y} = \operatorname{var}\{yx^{2} \approx 0,\mathfrak{B}\}\).
Lemma 9.2
Let \({\mathfrak{B}}\) be a selfdual set of regular identities and \(\mathcal{V}, \mathcal{U} \in L (\operatorname {var}{\mathfrak{B}})\). If each of the varieties \(\mathcal{V}\) and \(\mathcal{U}\) is definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{ x^{2}y \approx0,\mathfrak{B}\}\), then the variety \(\mathcal{V}\wedge\mathcal{U}\) is also definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\).
Proof
For the rest of this article we focus on definability in \(L (\operatorname{var}{\mathfrak{B}})\), where \({\mathfrak{B}}= \mathfrak {B}_{\ell,r,n}\) for some ℓ,r≥0 and n≥2. But each result on definability in this section and in the next section holds true for an arbitrary set of balanced identities \({\mathfrak{B}}\) that satisfies the following conditions:
(i) \({\mathfrak{B}}\) contains a permutation identity.
(ii) Each word pattern modulo \({\mathfrak{B}}\) is definable (or semidefinable) in \(F_{\infty} / {\Leftrightarrow_{\mathfrak{B}}}\).
In particular, in view of Corollary 6.1, each statement on definability up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\) in Sects. 9 and 10 holds true if \({\mathfrak{B}}\) is an arbitrary selfdual set of balanced identities with \(\ell({\mathfrak{B}})=r({\mathfrak{B}}) >0\) that contains a permutation identity.
Theorem 9.1
 (i)
If ℓ=r, then each \({\mathfrak{B}}\)0reduced variety is definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0, \mathfrak{B}\}\).
 (ii)
If ℓ≠r, then each \({\mathfrak{B}}\)0reduced variety is definable in \(L (\operatorname{var}{\mathfrak{B}})\).
Proof
(i) First, we assume that \(\mathcal{V}=\operatorname {var}\{u \approx0,{\mathfrak{B}}\}\) for some word u. By Corollaries 6.1 and 8.1 the variety \(\mathcal{V}\) is definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0, \mathfrak{B}\}\). Now if \(\mathcal{V}\) is an arbitrary \(\mathfrak {B}\)0reduced variety, then by Lemma 8.1, we have that \(\mathcal{V}=\operatorname{var}(\mathfrak{A}\cup{\mathfrak{B}})\) for some finite set of 0reduced identities \(\mathfrak{A}\). The rest follows from Lemma 9.2.
(ii) follows from Corollaries 6.2, 8.1 and Lemma 8.1 in a similar manner. □
Theorem 9.1 implies the following partial answer to Question 9.1.
Corollary 9.1
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell,r,n}\) for some ℓ,r≥0 and n>1 and let m>0, then the set of all \({\mathfrak{B}}\)0reduced varieties contained in \(\operatorname {var}\{x^{m} \approx0,{\mathfrak{B}}\}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\).
Proof
If \(\mathcal{V}\subseteq\operatorname{var}\{x^{m} \approx0,{\mathfrak{B}}\}\), then \(\mathcal{V}= \operatorname {var}(\mathfrak{A}\cup\mathfrak{B})\) for some set of 0reduced identities \(\mathfrak{A}\). In view of Proposition 8.1 we may assume that the set \(\mathfrak{A}\) is reduced modulo \(\mathfrak{B}\). By the result of Perkins [15], the number of identities in \(\mathfrak{A}\) is bounded by a computable function of ℓ,r,n and m. □
Corollary 9.2
 (i)
If ℓ=r, then each of the varieties \({\mathcal {V}}_{a,b}^{} \wedge\operatorname{var}{\mathfrak{B}}\) and \({\mathcal {V}}_{a,b}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) is definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\).
 (ii)
If ℓ≠r, then each of the varieties \({\mathcal {V}}_{a,b}^{} \wedge\operatorname{var}{\mathfrak{B}}\) and \({\mathcal {V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\).
Proof
(i) The variety \({\mathcal{V}}_{a,b}^{}\wedge \operatorname{var}{\mathfrak{B}}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\) as a \({\mathfrak{B}}\)0reduced variety by Theorem 9.1. The variety \({\mathcal{V}}_{a}^{+}\wedge \operatorname{var}{\mathfrak{B}}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx 0,\mathfrak{B}\}\) as the only cover of a \({\mathfrak{B}}\)0reduced variety in \(L (\operatorname{var}\mathfrak {B}) \cap\mathbf{N}\) by Corollary 7.2 and Lemma 2.4. The variety \({\mathcal{V}}_{a,b}^{+}\wedge\operatorname{var}{\mathfrak{B}}\) is definable in \(L (\operatorname{var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak{B}\}\) by the formula in Corollary 7.1.
(ii) Similar. □
If \({\mathfrak{B}}\) is a set of balanced identities and a and b are two possibly equal words with \(\operatorname{Cont}(a)=\operatorname {Cont}(b)\), then \(\operatorname{Sub}({\mathfrak{B}}, a,b)\) denotes the class of all varieties of the form \(\operatorname{var}({\mathfrak{B}}\cup\{ p(c) \approx q(d) \mid c,d \in \{a,b\},p,q \in G(\operatorname{Cont}(a))\})\) where \(G(\operatorname {Cont}(a))\) is a nontrivial group of permutations of \(\operatorname {Cont}(a)\). If a=b then we set \(\operatorname{Sub}({\mathfrak{B}}, a):=\operatorname{Sub}(\mathfrak {B}, a,b)\).
The following theorem is a translation of Theorems 5.1 and 5.4 in [12].
Theorem 9.2
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1 and let a and b are two words with \(\operatorname {Cont}(a)=\operatorname{Cont}(b)\) that are either equivalent or incomparable in the order \(\le_{\mathfrak{B}}\). If ℓ=r [respectively ℓ≠r], then the class of varieties \(\operatorname{Sub}({\mathfrak{B}}, a, b)\) is definable up to \(\operatorname{var}\{x^{2}y \approx0, \mathfrak{B}\}\) [respectively definable] in \(L (\operatorname {var}{\mathfrak{B}})\) by the following formula:
\(\mathcal{V}\in\operatorname{Sub}({\mathfrak{B}}, a,b)\) if and only if \(\mathcal{V} \supseteq{\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}}\), and if \(\mathcal{V}= \mathcal{V}_{1} \wedge \mathcal{V}_{2}\) and \(\mathcal{V}_{2} \supseteq{\mathcal{V}}_{a,b}^{}\wedge \operatorname{var}{\mathfrak{B}}\), then \(\mathcal{V}_{1} = \mathcal{V}\).
Proof
If \(\mathcal{V}\in\operatorname{Sub}({\mathfrak{B}}, a,b)\), then \(\mathcal{V} \supseteq{\mathcal{V}}_{a,b}^{+}\wedge\operatorname {var}{\mathfrak{B}}\) by Lemma 7.4. Now assume that \(\mathcal{V} = \mathcal{V}_{1} \wedge\mathcal{V}_{2}\) where \(\mathcal{V}_{2} \supseteq {\mathcal{V}}_{a,b}^{}\wedge\operatorname{var}{\mathfrak{B}}\). Since \(\mathcal{V}_{2} \supseteq{\mathcal{V}}_{a}^{}\wedge \operatorname{var}{\mathfrak{B}}\), by Lemma 7.4 the variety \(\mathcal{V}_{2}\) satisfies only identities of Type 2. Since \(\mathcal {V}= \mathcal{V}_{1} \wedge\mathcal{V}_{2}\) and no identity of Type 1 can be derived from the identities of Type 2 and \(\mathfrak{B}\), the variety \(\mathcal{V}_{1}\) must satisfy all identities of Type 1 that are satisfied by \(\mathcal{V}\), i.e. \(\mathcal{V}_{1} \subseteq \mathcal{V}\). Therefore, \(\mathcal{V}_{1} = \mathcal{V}\).
Now we assume that a variety \(\mathcal{V}\) satisfies this formula. Since \(\mathcal{V} \supseteq{\mathcal{V}}_{a,b}^{+}\wedge \operatorname{var}{\mathfrak{B}}\), by Lemma 7.4 the variety \(\mathcal{V}\) satisfies only identities of Types 1 and 2. So, we have that \(\mathcal{V}= \operatorname {var}({\mathfrak{B}}\cup T_{1}\cup T_{2})\) where T _{1} is a finite set of identities of Type 1 and T _{2} is a finite set of identities of Type 2.
Since the variety \(\operatorname{var}{\mathfrak{B}}\) does not satisfy the rest of the formula, we conclude that the set T _{1}∪T _{2} is not empty. Since for nonempty T _{2} the variety \(\operatorname{var}({\mathfrak{B}}\cup T_{2})\) does not satisfy the rest of the formula, we conclude that the set T _{1} is not empty.
Now the goal is to show that set T _{2} is empty. If set T _{2} is notempty, then \(\mathcal{V}= \operatorname{var}({\mathfrak{B}}\cup T_{1}) \wedge \operatorname{var}({\mathfrak{B}}\cup T_{2})\) and the variety \(\mathcal {V}\) does not satisfy the rest of the formula for \(\mathcal{V}_{1} = \operatorname{var}({\mathfrak{B}}\cup T_{1})\) and \(\mathcal{V}_{2} = \operatorname{var}({\mathfrak{B}}\cup T_{2})\). To avoid the contradiction, we must assume that the set T _{2} is empty. Therefore, \(\mathcal{V}= \operatorname{var}({\mathfrak{B}}\cup T_{1}) \in\operatorname {Sub}({\mathfrak{B}}, a,b)\).
The rest follows from Corollary 9.2. □
10 Definability of each variety of the form \(\mathrm {var}\{u \approx v,{\mathfrak{B}}\}\) in \(L (\mathrm{var}{\mathfrak{B}})\) if u≈v is a regular identity and the words u and v are either equivalent or incomparable in the order \(\le_{\mathfrak{B}}\)
If \(\mathfrak{B}\) is a set of balanced identities then \(\mathfrak{B}\) denotes the length of the shortest nontrivial identity from \(\mathfrak{B}\). In view of Lemma 5.2, any two words that are shorter than \(\mathfrak{B}\) and are equivalent (incomparable) in the order \(\le_{\mathfrak{B}}\) are also equivalent (incomparable) in the order ≤.
Lemma 10.1
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1 and let u be a word with \(\operatorname{Cont}(u)=k>1\) and \(u < \mathfrak{B}\). If ℓ=r [respectively ℓ≠r], then the set \(\operatorname {Sub}_{pp}({\mathfrak{B}},u)\) of all varieties of the form \(\operatorname{var}\{u \approx p(u), \mathfrak {B}\}\), where the order of the permutation p is a prime power, is definable up to \(\operatorname{var}\{x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}{\mathfrak{B}})\).
Proof
Since \(u < \mathfrak{B}\), the lattice \(\operatorname {Sub}({\mathfrak{B}},u)\) is antiisomorphic to the lattice of all subgroups of the symmetric group \(\mathbb{S}_{k}\). We use the fact that, for every k>1, each subgroup of \(\mathbb{S}_{k}\), which is not cyclic of prime power order, has at least two incomparable subgroups. Therefore the set \(\operatorname{Sub}_{pp}({\mathfrak{B}},u)\) is defined in \(\operatorname{Sub}({\mathfrak{B}}, u)\) as the set of all varieties \(\mathcal{V} \in\operatorname {Sub}({\mathfrak{B}}, u)\) such that there are no varieties \(\mathcal {V}_{1}\) and \(\mathcal{V}_{2}\) in \(\operatorname{Sub}({\mathfrak{B}}, u)\) satisfying \(\mathcal{V} \leq \mathcal{V}_{1} \wedge\mathcal{V}_{2}\) and neither \(\mathcal{V}_{1} \subseteq \mathcal{V}_{2}\) nor \(\mathcal{V}_{2} \subseteq\mathcal{V}_{1}\). The rest follows from Theorem 9.2. □
Recall (see Sect. 5) that there are two types of elementary substitutions that rename variables and we agreed to use the term renaming of variables to refer to a onetoone renaming of variables. If x and y are two distinct variables then E _{ x=y } denotes the elementary substitution that renames y by x and is identical on all other variables.
Lemma 10.2
 (i)
\([E_{s=t}(u)]_{\mathcal{V}} = \{E_{s=t}(p^{\ell}(u)) \mid \ell>0\}\);
 (ii)
any two words in the equivalence class \([E_{s=t}(u)]_{\mathcal{V}}\) have the same content and are either equivalent or incomparable in the order \(\le_{\mathfrak{B}}\).
Proof
(i) Obviously, the equivalence class \([E_{s=t}(u)]_{\mathcal{V}}\) contains each word of the form E _{ s=t }(p ^{ ℓ }(u)). Since \(u=p(u) < \mathfrak{B}\), each identity of the form E _{ s=t }(u)≈W follows only from u≈p(u). In order to show that each word W in the equivalence class \([E_{s=t}(u)]_{\mathcal {V}}\) is of the required form, it is enough to check that if we derive an identity of the form E _{ s=t }(p ^{ ℓ }(u))≈W from u≈p(u) in one step, then W=E _{ s=t }(p ^{ m }(u)) for some m>0. If E _{ s=t }(p ^{ ℓ }(u))≈W follows from u≈p(u) in one step, then without any loss we can assume that E _{ s=t }(p ^{ ℓ }(u))=Θ(u) and W=Θ(p(u)). Since E _{ s=t }(p ^{ ℓ }(u))=u, the substitution Θ is a composition of some lengthpreserving elementary substitutions. Without any loss, we have that Θ=E _{ s=t } q for some renaming of variables q invariant on \(\operatorname{Cont}(u)\). Therefore, we have that E _{ s=t }(p ^{ ℓ }(u))=E _{ s=t } q(u) and, consequently, p ^{ ℓ }=q. So, W=p ^{ ℓ+1}(u) is of the required form.
(ii) Clearly, for any ℓ>0 and m>0 the words E _{ s=t }(p ^{ ℓ }(u)) and E _{ s=t }(p ^{ m }(u)) have the same content. Suppose that \(E_{s=t}(p^{\ell}(u)) \le_{\mathfrak{B}} E_{s=t}(p^{m}(u))\). Since \(E_{s=t}(p^{l}(u))= E_{s=t}(p^{m}(u)) < \mathfrak{B}\), this can only happen if E _{ s=t }(p ^{ m }(u))=Θ(E _{ s=t }(p ^{ ℓ }(u))) where Θ is a composition of renamings and equalizings of variables. But since \(\operatorname{Cont}(E_{s=t}(p^{\ell}(u))) = \operatorname {Cont}(E_{s=t}(p(u)))\), the substitution Θ can only be a renaming of variables. Thus, the words E _{ s=t }(p ^{ ℓ }(u)) and E _{ s=t }(p ^{ m }(u)) are either equivalent or incomparable in the order \(\le_{\mathfrak{B}}\). □
Lemma 10.3
 (i)
E _{ s=t }(q(u))=p(E _{ x=y }(u));
 (ii)
q=p, p(y)=t and p(x)=s.
Proof
(i) → (ii). Both words E _{ s=t }(q(u)) and p(E _{ x=y }(u)) are obtained from u by renaming variables in u. Since the word E _{ s=t }(p(u)) does not contain t and the word p(E _{ x=y }(u)) does not contain p(y), we must have that p(y)=t. The variables x and y are the only variables in u that receive that same name p(x) in p(E _{ x=y }(u)). Since E _{ s=t }(q(u))=p(E _{ x=y }(u)), the same variables are identified (as s) in E _{ s=t }(q(u)). Therefore p(x)=s.
If a variable z is different from y, then q(z) stands in the same positions in E _{ s=t }(q(u)) as z does in u. Since the variable p(z) stands in the same positions in p(E _{ x=y }(u)) as z does in u, we have that q(z)=p(z). Since both renamings p and q are oneto one and invariant on \(\operatorname{Cont}(u)\), we also have that q(y)=p(y)=t. Since the renamings p and q coincide on all variables in \(\operatorname{Cont}(u)\), we have that q=p.
(ii) → (i) can be easily verified. □
Let \(\mathfrak{B}\) be a set of balanced identities, u a word, and p a permutation of \(\operatorname{Cont}(u)\) of prime power order. Then for each distinct \(x,y \in\operatorname{Cont}(u)\) we define set \(V(\mathfrak {B},u,p,x,y)\) as the set of all varieties \(\operatorname{var}\{ u\approx q(u),\mathfrak{B}\} \in \operatorname{Sub}_{pp}({\mathfrak{B}},u)\) such that q ^{ ℓ }(x)=p(x) and q ^{ ℓ }(y)=p(y) for some ℓ>0. Obviously, \(\operatorname {var}\{u\approx p(u), \mathfrak{B}\} \in V({\mathfrak{B}},u,p,x,y) \subseteq\operatorname {Sub}_{pp}({\mathfrak{B}},u)\).
Lemma 10.4
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1, let u be a word such that \(u < \mathfrak{B}\) and let p be a permutation of \(\operatorname {Cont}(u)\) of a prime power order. If ℓ=r [respectively ℓ≠r], then for each distinct \(x,y \in\operatorname{Cont}(u)\) the set \(V({\mathfrak{B}},u,p,x,y)\) is definable up to \(\operatorname{var}\{ x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}{\mathfrak{B}})\) as the set of all varieties \(\mathcal{V}\in \operatorname {Sub}_{pp}({\mathfrak{B}},u)\) such that \(\mathcal{V}\) is contained in some variety that belongs to the set \(\operatorname {Sub}({\mathfrak{B}}, E_{s=t}(u), E_{s=t}(p(u)))\) where s=p(x) and t=p(y).
Proof
Suppose that \(\mathcal{V}=\operatorname{var}\{u=q(u),\mathfrak{B}\} \in \operatorname{Sub}_{pp}({\mathfrak{B}},u)\) such that q ^{ ℓ }(x)=p(x) and q ^{ ℓ }(y)=p(y) for some ℓ>0. Since \(\mathcal{V}\models v \approx q^{\ell}(v)\), the variety \(\mathcal{V}\) also satisfies E _{ s=t }(u)≈E _{ s=t }(q ^{ ℓ }(u)) for s=p(x) and t=p(y).
If \(\mathcal{V}=\operatorname{var}\{u\approx q(u), \mathfrak{B}\} \in \operatorname{Sub}_{pp}({\mathfrak{B}},u)\) is contained in some variety that belongs to the set \(\operatorname{Sub}({\mathfrak{B}}, E_{s=t}(v), E_{s=t}(p(u)))\) where s=p(x) and t=p(y), then \(\mathcal{V}\) satisfies the identity E _{ s=t }(u)≈τ(E _{ s=t }(p(u))) for some renaming of variables τ invariant on \(\operatorname{Cont}(u) \setminus{t}\). Then by Lemmas 10.2 and 10.3 we have that τ(E _{ s=t }(p(u)))=τp(E _{ x=y }(u))=E _{ s=t }(q ^{ ℓ }(u)) for some ℓ>0. Now by Lemma 10.3 we have that q ^{ ℓ }=τp, q ^{ ℓ }(x)=s and q ^{ ℓ }(y)=t. Therefore, \(\mathcal{V}\) belongs to the set \(V({\mathfrak{B}},u,p,x,y)\).
The rest follows from Theorem 9.2 and Lemmas 10.1 and 10.2. □
 (∗)

for each x≠y and s≠t, there exists an ℓ>0 such that p ^{ ℓ }(x,y)=(s,t) if and only if one can find an m>0 such that q ^{ m }(x,y)=(s,t).
Obviously, for each x≠y we have that \(\mathcal{V}_{p} \in \operatorname{Sub}_{pp} (\mathcal{V}_{p}) \subseteq V(\mathfrak {B},u,p,x,y) \subseteq \operatorname{Sub}_{pp}({\mathfrak{B}},u)\).
Lemma 10.5
 (∗∗)

for each \(x\ne y \in\operatorname{Cont}(u)\) and each permutation q, we have that \(\mathcal{V}\in V(\mathfrak {B},u,q,x,y)\) if and only if \(\mathcal{V}_{p} \in V({\mathfrak{B}},u,q,x,y)\).
Proof
Suppose that \(\mathcal{V}_{\tau}\in\operatorname {Sub}_{pp} (\mathcal{V}_{p})\). Take \(x\ne y \in\operatorname{Cont}(u)\) and some permutation q such that q(x)=s and q(y)=t.
If \(\mathcal{V}_{\tau}\in V({\mathfrak{B}},u,q,x,y)\), then for some ℓ>0 we have that τ ^{ ℓ }(x,y)=(s,t). Since \(\mathcal {V}_{\tau}\in\operatorname{Sub}_{pp} (\mathcal{V}_{p})\), one can find an m such that p ^{ m }(x,y)=(s,t). Therefore, \(\mathcal{V}_{p} \in V({\mathfrak{B}},u,q,x,y)\).
Conversely, if \(\mathcal{V}_{p} \in V({\mathfrak{B}},u,q,x,y)\), then for some ℓ>0 we have that p ^{ ℓ }(x,y)=(s,t). Since \(\mathcal {V}_{\tau}\in \operatorname{Sub}_{pp} (\mathcal{V}_{p})\), one can find an m such that τ ^{ m }(x,y)=(s,t). Therefore, \(\mathcal{V}_{\tau}\in V({\mathfrak{B}},u,q,x,y)\).
Now suppose that variety \(\mathcal{V}_{\tau}\in \operatorname {Sub}_{pp}({\mathfrak{B}},u)\) satisfies Condition (∗∗). In order to prove that \(\mathcal{V}_{\tau}\in \operatorname{Sub}_{pp} (\mathcal{V}_{p})\) we take x≠y and s≠t.
If one can find an ℓ>0 such that p ^{ ℓ }(x,y)=(s,t), then \(\mathcal{V}_{p^{\ell}} \in V({\mathfrak{B}},u,p^{\ell},x,y)\) and by Condition (∗∗) we have that \(\mathcal{V}_{\tau}\in V({\mathfrak{B}},u,p^{\ell},x,y)\). Therefore, one can find an m>0 such that τ ^{ m }(x,y)=(s,t).
Conversely, if one can find an m>0 such that τ ^{ m }(x,y)=(s,t), then \(\mathcal{V}_{\tau^{m}} \in V({\mathfrak{B}},u,\tau^{m},x,y)\) and by Condition (∗∗) we have that \(\mathcal{V}_{p} \in V({\mathfrak{B}},u,\tau ^{m},x,y)\). Therefore, one can find an ℓ>0 such that p ^{ ℓ }(x,y)=(s,t).
The rest follows from Lemma 10.4. □
Theorem 10.1
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1, let u be a word such that \(u<{\mathfrak{B}}\), and let p be a permutation of \(\operatorname{Cont}(u)\). If ℓ=r [respectively ℓ≠r], then the variety \(\operatorname{var}\{u \approx p(u),{\mathfrak{B}}\}\) is definable up to \(\operatorname{var}\{x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L({\mathfrak{B}})\).
Proof
We follow the direction suggested in [3, Sect. 10]. First, we prove Theorem 10.1 for the case when the permutation p has a prime power order. In this case the variety \(\mathcal {V}_{p}=\operatorname{var}\{u \approx p(u),{\mathfrak{B}}\}\) is contained in the set \(\operatorname{Sub}_{pp} (\mathcal{V}_{p})\) which is definable up to \(\operatorname{var}\{x^{2}y \approx0,\mathfrak {B}\}\) [respectively definable] in \(L({\mathfrak{B}})\) by Lemma 10.5. Our goal is to show that the variety \(\mathcal{V}_{p}\) is the only variety in this set.
 (†)

for each i≠j and s≠t, there exists an ℓ>0 such that p ^{ ℓ }(i,j)=(s,t) if and only if one can find an m>0 such that q ^{ m }(i,j)=(s,t).
The task of proving that the variety \(\mathcal{V}_{p}\) is the only variety in the set \(\operatorname{Sub}_{pp} (\mathcal{V}_{p})\) is equivalent to the task of proving that P(p)=〈p〉. In each of the following lemmas we narrow the set of possible members of P(p).
Let Z _{1},…,Z _{ ℓ } be the orbits of the fixed permutation p.
Lemma 10.6
If 〈q〉⊂P(p), then the orbits of q are exactly Z _{1},…,Z _{ ℓ }.
Proof
If the orbits of q are not the same as the orbits of p, then there are i≠s that belong to the same orbit of p but do not belong to the same orbit of q (or visa versa). This means that p ^{ r }(i)=s for some r but there is no m>0 such that q ^{ m }(i)=s. Therefore, Condition (†) is violated. □
The next restriction concerns the cyclic structure of the permutation q. Let c _{1}⋯c _{ ℓ } be the cyclic decomposition of our fixed permutation p, where c _{ i } is a cyclic permutation of Z _{ i }.
Lemma 10.7
If 〈q〉⊂P(p), then q acts as the product \(c_{1}^{t_{1}} \cdots c_{l}^{t_{\ell}}\) of powers of the cycles c _{1},…,c _{ ℓ } such that c _{ i } and \(c_{i}^{t_{i}}\) generate the same cyclic group for each i. (It is equivalent to say that q leaves every Z _{ i } invariant and the group generated by q, restricted to Z _{ i }, is 〈c _{ i }〉).
Proof
By Lemma 10.6, since 〈q〉⊂P(p), the permutation q acts on each Z _{ i } as some cycle (the trivial cycle if Z _{ i }=1). If an orbit Z _{ i } has less than four elements then there is a unique transitive cyclic group on Z _{ i }, hence every 〈q〉⊂P(p) has the required property with respect to such an orbit Z _{ i }. Now consider an orbit Z _{ i } with more than three elements.
Choose s∈Z _{ i }. Then q and c _{ i } generate the same cyclic group on Z _{ i } if and only if for every j there is an ℓ>0 such that \(q^{\ell}(s)=c_{i}^{j}(s)\) and \(q^{\ell}(c_{i}(s))=c_{i}^{j+1}(s)\).
Since this is true for q=p, by the definition of P(p), this is also true for every q such that 〈q〉⊂P(p). □
Now, if all Z _{ i } are oneelement sets, then p is the identity permutation. Hence, in the sequel, we can assume that one of Z _{ i } contains at least two elements. Let γ be the prime appearing in the order of p.
Our next restrictions concern the exponents t _{ i } in the cyclic decomposition \(q=c_{1}^{t_{1}} \cdots c_{\ell}^{t_{\ell}}\) where 〈q〉⊂P(p). We may assume that, for all i, γ does not divide t _{ i }, 1≤t _{ i }<c _{ i } when c _{ i }>1, and t _{ i }=1 if c _{ i }=1.
Lemma 10.8
Let 〈q〉⊂P(p) and suppose that \(q=c_{1}^{t_{1}} \cdots c_{\ell}^{t_{\ell}}\). If c _{ i }=c _{ j } for some i,j, then t _{ i }=t _{ j }.
Proof
Assume to the contrary that t _{ i }≠t _{ j }. Let us denote N=c _{ i }=γ ^{ m }. By renumbering, we can assume that c _{ i }=(1,…,N) and c _{ j }=(N+1,…2N). Obviously, there exists some ℓ>0 such that p ^{ ℓ }(1)=2 and p ^{ ℓ }(N+1)=N+2 Since 〈q〉⊂P(p), there exists d such that q ^{ d }(1)=2, and q ^{ d }(N+1)=N+2. Therefore, \(c_{i}^{dt_{i}}(1)=2\) and \(c_{j}^{dt_{j}}(N+1)=N+2\). Since c _{ i } acts regularly on the set Z _{ i }, we have dt _{ i }≡1(modN). But then \(dt_{j} \not\equiv1 \pmod{N}\), as 1≤t _{ i },t _{ j }<N, t _{ i }≠t _{ j } and t _{ i } and t _{ j } are prime to N. Finally, since c _{ j } acts regularly on the set Z _{ j }, we have \(c_{j}^{dt_{j}}(N+1)\ne N+2\), which leads to a contradiction and thus proves Lemma 10.8. □
We may without loss of generality assume that for every i<ℓ, c _{ i }≤c _{ i+1}. Let 〈p _{1}〉⊂P(p). Note that we can choose d such that \(p_{1}^{d}\) acts as c _{1} on Z _{1}. If \(p_{2}=p_{1}^{d}\) then since d is prime to γ, we have that 〈p _{2}〉=〈p _{1}〉⊂P(p). We choose p _{2} from {σ:〈σ〉=〈p _{2}〉} such that in the representation \(p_{2}=c_{1} ^{t_{1}} \cdots c_{\ell}^{t_{\ell}}\), t _{1}=t _{2}=⋯=t _{ j }=1 for j as large as possible. As the final step we prove
Lemma 10.9
If 〈p _{2}〉⊂P(p), then p _{2}=p.
Proof
Now, it follows from Lemma 10.9 that P(p)=〈p〉 and Theorem 10.1 is proved for the case when the order of p is a prime power. Otherwise, the order of permutation p is n _{1} n _{2}⋯n _{ k } where for each 1≤i≤k the number n _{ i } is a prime power. In this case the variety \(\mathcal{V}_{p}=\operatorname{var}\{u \approx p(u),{\mathfrak{B}}\}\) is definable up to \(\operatorname{var}\{ x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}{\mathfrak{B}})\) by the formula \(\mathcal{V}_{p} =\mathcal{V}_{n_{1}} \cap\cdots\cap \mathcal{V}_{n_{k}}\) and Lemma 9.2. This completes the proof of Theorem 10.1. □
Theorem 10.2
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1 and let u and v be words with \(\operatorname{Cont}(u)=\operatorname{Cont}(v)\), of lengths shorter than \(\mathfrak{B}\), and incomparable in the order \(\le _{\mathfrak{B}}\). If ℓ=r [respectively ℓ≠r], then the variety \(var\{u \approx v,{\mathfrak{B}}\}\) is definable up to \(\operatorname{var}\{x^{2}y \approx0, {\mathfrak{B}}\}\) [respectively definable] in \(L (\operatorname {var}{\mathfrak{B}})\).
Proof
We start with the following.
Lemma 10.10
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1 and let u and v be words with \(\operatorname{Cont}(u)=\operatorname{Cont}(v)\), of lengths shorter than \(\mathfrak{B}\), and incomparable in the order \(\le _{\mathfrak{B}}\). If ℓ=r [respectively ℓ≠r], then the set \(\operatorname {Sub}_{1}({\mathfrak{B}},u,v)=\{\operatorname{var}\{u \approx p(v), \mathfrak{B}\} \mid p \, \mbox{\textit{is a permutation of} } \operatorname{Cont}(u)\}\) is definable up to \(\operatorname{var}\{ x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}\mathfrak{B})\).
Proof
Denote \(\mathcal{V}=\{u \approx p(v), \mathfrak{B}\}\). Since the words u and v are shorter than \(\mathfrak{B}\) and incomparable in the order \(\le_{\mathfrak{B}}\), the equivalence class \([u]_{\mathcal {V}}\) contains only u and p(v). Therefore, the set \(\operatorname{Sub}_{1}({\mathfrak{B}},u,v)\) is the set of all coatoms of the lattice \(\operatorname{Sub}({\mathfrak{B}},u,v)\) that belong to neither \(\operatorname{Sub}({\mathfrak{B}},u)\) nor \(\operatorname{Sub}({\mathfrak{B}},v)\). □
If x and y are two distinct variables, then T _{ x=y } denotes the elementary substitution that swaps x and y and is identical on all other variables.
Lemma 10.11
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell,r,n}\) for some ℓ,r≥0 and n>1 and let u and v be words with \(\operatorname{Cont}(u)=\operatorname{Cont}(v)\) and \(\operatorname{Cont}(u)\geq3\), of lengths shorter than \(\mathfrak{B}\), and incomparable in the order \(\le_{\mathfrak{B}}\). If ℓ=r [respectively ℓ≠r], then the variety \(\mathcal{V}=\operatorname{var}\{u \approx v,{\mathfrak{B}}\}\) is definable up to \(\operatorname{var}\{x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}\mathfrak{B})\) by the formula: \(\mathcal{V}\in \operatorname{Sub}_{1}({\mathfrak{B}},u,v)\) and for every transposition q of \(\operatorname{Cont}(v)\) the variety \(\operatorname{var}\{u \approx q(u),\mathfrak{B}\}\) contains the variety \(\mathcal{V}\wedge\operatorname{var}\{v \approx q(v), \mathfrak{B}\}\).
Proof
If a variety satisfies both u≈v and v≈q(v), then, obviously, it satisfies u≈q(u). Hence, the variety \(\mathcal{V}=\operatorname{var}\{u \approx v,{\mathfrak{B}}\}\) satisfies the proposed formula.
Assume that \(\mathcal{V}=\operatorname{var}\{v \approx p(u),{\mathfrak{B}}\}\) for some permutation p of \(\operatorname {Cont}(u)\) and for every transposition q of \(\operatorname{Cont}(v)\) the variety \(\operatorname{var}\{u \approx q(u),\mathfrak{B}\}\) contains the variety \(\mathcal{V}\wedge\operatorname{var}\{v \approx q(v), \mathfrak{B}\}\). We have to show that p is the identity permutation. Suppose, to the contrary, that p(x)=y for some x≠y. Let \(z \in\operatorname{Cont}(v) \setminus\{x,y\}\) and take q=T _{ x,z }. Denote \(\mathcal{V}_{1} = \mathcal{V}\wedge \operatorname{var}\{v \approx T_{x,z}(v),{\mathfrak{B}}\}= \operatorname{var}\{v \approx p(u),\ v \approx T_{x,z}(v),\ {\mathfrak{B}}\}\). Since the words u and v are shorter than \(\mathfrak{B}\) and incomparable in the order \(\le_{\mathfrak{B}}\), we have that \([v]_{\mathcal{V}_{1}} = \{v, p(u), T_{x,z}(v), T_{x,z}p(u)\}\). By the assumption, \(\mathcal{V}_{1} \subseteq[u \approx T_{x,z}(u), {\mathfrak{B}}\). Therefore, \(\mathcal{V}_{1}\) satisfies the identity u≈T _{ x,z }(u) and also the identity p(u)≈pT _{ x,z }(u).
Since the words u and v are incomparable in the order \(\le _{\mathfrak{B}}\), the word pT _{ x,z }(u) must coincide with either p(u) or T _{ x,z } p(u). If pT _{ x,z }(u)=p(u) then p(x)=p(z), which contradicts the fact that p is a permutation. If pT _{ x,z }(u)=T _{ x,z } p(u), then p(u)=T _{ x,z } pT _{ x,z }(u). But then T _{ x,z } pT _{ x,z }(z)=p(x)=y≠p(z), a contradiction. Therefore, p is the identity permutation. □
Lemma 10.12
Let \({\mathfrak{B}}= {\mathfrak{B}}_{\ell ,r,n}\) for some ℓ,r≥0 and n>1 and let u and v be words with \(\operatorname{Cont}(u)=\operatorname{Cont}(v)=\{x,y\}\), of lengths shorter than \(\mathfrak{B}\), and incomparable in the order \(\le_{\mathfrak{B}}\). If ℓ=r [respectively ℓ≠r], then the variety \(\mathcal {V}=\operatorname{var}\{u \approx v,{\mathfrak{B}}\}\) is definable up to \(\operatorname{var}\{x^{2}y \approx 0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname {var}\mathfrak{B})\) by the formula: \(\mathcal{V}\in\operatorname {Sub}_{1}({\mathfrak{B}},u,v)\) and \(\mathcal{V}\subset \operatorname{var}\{uz \approx vz, \mathfrak{B}\}\), where z∉{x,y}.
Proof
Since \(\operatorname{Cont}(v)=2\), there are only two varieties in the set \(\operatorname{Sub}_{1}({\mathfrak{B}},u,v)\): \(\mathcal {V}=\operatorname{var}\{u \approx v,{\mathfrak{B}}\}\) and \(\operatorname{var}\{u \approx T_{x,y}(v), \mathfrak{B}\}\). We have to distinguish between them. Since z∉{x,y}, we have \(\operatorname{Cont}(uz)=\operatorname{Cont}(vz)=3\). Since the words u and v are incomparable in the order \(\le_{\mathfrak{B}}\), the words uz and vz are also incomparable. Hence, by Lemma 10.11, the variety \(\operatorname{var}\{uz \approx vz, \mathfrak{B}\}\) is semidefinable in \(L(\operatorname{var}\mathfrak{B})\). Moreover, uz≈vz is, obviously, a consequence of u≈v, and is not a consequence of u≈T _{ x,y }(v). Therefore, \(\mathcal{V}\subset\operatorname{var}\{uz \approx vz, \mathfrak{B}\} \) and \(\operatorname{var}\{u \approx T_{x,y}(v), \mathfrak{B}\} \not \subset\operatorname{var}\{uz \approx vz, \mathfrak{B}\}\). Thus, both \(\mathcal{V}\) and \(\operatorname{var}\{u \approx T_{x,y}(v), \mathfrak{B}\}\) are definable up to \(\operatorname {var}\{x^{2}y \approx0,{\mathfrak{B}}\}\) [respectively definable] in \(L(\operatorname{var}\mathfrak{B})\). □
Lemmas 10.11 and 10.12 cover all the cases and complete the proof of Theorem 10.2. □
11 Definability of permutative nilvarieties in \(L(\mathrm {var}{\mathfrak{B}}_{\ell,r,n})\)
It is easy to see that every identity u≈v falls into one of the following four categories.
Case 1: u≈v is irregular.
Case 2: u≈v is regular and u<v.
Case 3: v=p(u) for some permutation p of \(\operatorname{Cont}(u)\).
Case 4: u≈v is regular and u and v are incomparable in the order ≤.
An identity as in Case 3 is called substitutive and an identity as in Case 4 is called parallel.
Lemma 11.1
Let \({\mathfrak{B}}\) be a selfdual set of regular identities and \(\mathcal{V}\in L (\operatorname{var}{\mathfrak{B}})\). If the variety \(\mathcal{V}\) is definable in \(L (\operatorname {var}{\mathfrak{B}})\) up to \(\operatorname{var}\{x^{2}y \approx 0,{\mathfrak{B}}\}\), then \(\mathcal{V}\) is semidefinable in \(L (\operatorname{var}{\mathfrak{B}})\).
Proof
Let \(\varPhi_{\mathcal{V}} (\bar{x}, \bar{y})\) be a firstorder formula in two free variables that turns into a true statement on \(L (\operatorname{var}{\mathfrak{B}})\) if and only if \(\bar{x} = \mathcal{V}\) and \(\bar{y} = \operatorname {var}\{x^{2}y \approx0,{\mathfrak{B}}\}\), or else \(\bar{x} = \mathcal {V}^{\delta}\) and \(\bar{y} = \operatorname{var}\{yx^{2} \approx0,{\mathfrak{B}}\}\). Then formula \(\exists\bar{y} \varPhi_{\mathcal{V}} (\bar{x}, \bar{y})\) defines the set \(\{ \mathcal{V}, \mathcal{V}^{\delta}\}\) in \(L (\operatorname{var}{\mathfrak{B}})\). □
Lemma 11.2
[16]
 (i)
For every permutation identity τ with ℓ(τ)=0 and r(τ)=0 there is an n>1 such that \(\tau \vdash{\mathfrak{B}}_{0,0,n}\).
 (ii)
For every two permutation identities τ _{1} and τ _{2} with ℓ(τ _{1})=ℓ and r(τ _{2})=r there is an n>1 such that \(\{\tau_{1}, \tau_{2}\} \vdash{\mathfrak{B}}_{\ell,r,n}\).
 (iii)
If \(\mathcal{V}\) is a permutative variety, then \(\ell =\ell(\mathcal{V})\) and \(r=r(\mathcal{V})\) are the minimal numbers such that \(\mathcal{V}\models {\mathfrak{B}}_{\ell,r,n}\) for some n>1.
Proof
(iii) Follows immediately from part (ii) and the definition of the functions \(\ell=\ell(\mathcal{V})\) and \(r=r(\mathcal{V})\). □
Theorem 11.1
For each permutative nilvariety \(\mathcal{V}\) and each \(\ell\ge\ell(\mathcal{V})\) and \(r\ge r(\mathcal{V})\) there exists n>1 such that \(\mathcal{V}\) is definable in \(L(\operatorname {var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ≠r or \(\mathcal{V}\) is semidefinable in \(L(\operatorname{var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ=r.
Proof
If \(\mathcal{V}\) is a permutative nilvariety, then by a result of Perkins [15], we have that \(\mathcal{V}= \operatorname {var}\varSigma\) for some finite set of identities Σ. Let n be bigger than the lengths of all identities in Σ. By Lemma 11.2, for each \(\ell\ge\ell(\mathcal{V})\) and \(r\ge r(\mathcal{V})\) we have that \(\mathcal{V}\models {\mathfrak{B}}_{\ell,r,n}\). Therefore, we may assume that Σ contains the set of identities \({\mathfrak{B}}_{\ell,r,n}\). Obviously, in a nilvariety, every irregular identity u≈v is equivalent to the pair of identities u≈0 and v≈0. By Lemma 7.8, every identity u≈v as in Case 2 is also equivalent to u≈0 and v≈0. Therefore, we may assume that in addition to \({\mathfrak{B}}_{\ell,r,n}\) the set Σ also contains only 0reduced identities, substitutive identities and parallel identities. Theorems 9.1, 10.1 and 10.2 and Lemmas 9.2 and 11.1 imply that \(\mathcal{V}\) is definable in \(L (\operatorname{var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ≠r and semidefinable in \(L (\operatorname{var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ=r. □
Lemma 11.3
If u≈v is a regular identity such that u<v then u<v.
Proof
Since u≤v, we have that v=aΘ(u)b for some possibly empty words a and b and some substitution Θ. If one of the words a or b is not empty or the value of Θ on one of the variables is not a oneletter word, then the word v is longer than u. So, we may assume that both words a and b are empty and that substitution Θ maps the variables to oneletter words. Since the identity u≈v is regular, the substitution Θ maps the variables in u to some variables in \(\operatorname {Cont}(u)=\operatorname{Cont}(v)\). If any two variables are identified, then the identity u≈v is irregular. The remaining case is that u=p(v) for some permutation p of \(\operatorname{Cont}(u)=\operatorname{Cont}(v)\) which contradicts the fact that u<v. □
The next lemma follows from Lemma 2 and the proof of Proposition 1 in [28].
Lemma 11.4
[28]
Let \(\mathcal{V}\) be a periodic 0permutative variety. Then for \(m=m(\mathcal{V})\), \(d=d(\mathcal{V})\) and some nilvariety \(\mathcal{N}\) we have that \(\mathcal{V}=\mathcal{N} \vee\operatorname{var}\mathbf{C}_{m,d}\).
Corollary 11.1
([3], Theorem 10.9)
Every 0permutative variety is semidefinable in the lattice \(\bf P(0)\) of all 0permutative varieties.
Proof
If \(\mathcal{V}\) is a 0permutative variety, then \(\ell(\mathcal {V})=r(\mathcal{V})=0\) and by the result of Putcha and Yaqub [16] (see Lemma 11.2), the variety \(\mathcal{V}\) is finitely based.
If \(\mathcal{V}\) is periodic, then by Lemma 11.4, \(\mathcal{V}\) is a join of a nilvariety \(\mathcal{N}\) and \(\operatorname{var}(\mathbf{C}_{m,d})\). Since \(\mathcal{N}\) is semidefinable in \(L (\operatorname{var}{\mathfrak{B}}_{0,0,n})\) for some n>1 by Theorem 11.1, the variety \(\mathcal{V}\) is semidefinable in \(L (\operatorname{var}{\mathfrak{B}}_{0,0,n})\) by Lemmas 2.2 and 2.3. Therefore, \(\mathcal{V}\) is semidefinable in \(\bf P(0)\) by Lemma 2.7.
If \(\mathcal{V}\) is not periodic, then in view of Lemma 11.3 and Proposition 3.1, \(\mathcal{V}\) satisfies only substitutive and/or parallel identities. In this case, Theorems 10.1 and 10.2 and Lemmas 9.2 and 11.1 imply that \(\mathcal{V}\) is semidefinable in \(L (\operatorname{var}{\mathfrak{B}}_{0,0,n})\) for some n big enough. Now Lemma 2.7 implies that \(\mathcal{V}\) is semidefinable in \(\mathbf{P(0)}\). □
For each k>0, denote \(\mathcal{LZ}(k)=\operatorname{var}\{t_{1}t_{2} \cdots t_{k} \approx t_{1}t_{2} \cdots t_{k} x\}\) and \(\mathcal {RZ}(k)=\operatorname{var}\{t_{1}t_{2} \cdots t_{k} \approx x t_{1}t_{2} \cdots t_{k}\}\). Note that \(\mathcal{LZ}=\mathcal {LZ}(1)\) and \(\mathcal{RZ}=\mathcal{RZ}(1)\) are the only noncommutative atoms of SEM.
Conjecture 11.1
For each k>0 the variety \(\mathcal {LZ}(k)\) is semidefinable in every selfdual ideal I of SEM that contains \(\mathcal{LZ}(k)\) and \(\operatorname{var}\{xy \approx yx\}\).
Since the variety \(\mathcal{LZ}(k)\) is given by an irregular identity, Conjecture 11.1 is true for I=SEM by [11, Proposition 8.2].
Lemma 11.5
Conjecture 11.1 is true for k<3.
Proof
If k=1, then it is proved in [11, Lemma 4.3] and reproved in [25, Proposition 1.4] that the set \(\{\mathcal{LZ}, \mathcal{RZ}\}\) is definable in SEM. The arguments in [25, Proposition 1.4] (see the explanations after Lemma 2.1) can be used to show that the set \(\{\mathcal{L} \mathcal{Z}, \mathcal{R} \mathcal{Z}\}\) is definable in I.
Here are the arguments of Vernikov that show that the set \(\{\mathcal {LZ} (2) , \mathcal{RZ}(2) \}\) is definable in I.
Now the variety \(\mathcal{ LZ}(2)=\operatorname{var}\{t_{1}t_{2} \approx t_{1}t_{2} x\}\) is the only cover of the variety \(\operatorname{var}\{tx \approx ty\}\) with the following properties.
1. \(\mathcal{L Z}(2)\) does not contain any atoms of I but \(\mathcal{ L Z}\) and \(\mathcal{ZM}\).
2. \(\mathcal{LZ}(2)\) does not contain \(\mathcal{N}_{3}\). □
Lemma 11.6
For each k≥0, n>1 and each ℓ,r with 0≤ℓ,r≤min(k,2) the set \(\{\operatorname {var}{\mathfrak{B}}_{\ell,r,n}, \operatorname{var}{\mathfrak{B}}_{r,\ell,n}\}\) is definable in the lattice \(\bf P(k)\) of all kpermutative varieties.
Proof
In view of Lemma 2.7 we may assume that k>0. It is easy to check that \(\operatorname{var}{\mathfrak{B}}_{\ell,r,n} = \operatorname {var}{\mathfrak{B}}_{0,0,n+l+r} \vee\mathcal{LZ} (\ell) \vee\mathcal {RZ} (r)\). In view of Lemmas 2.7 and 11.5, the set \(\{\operatorname{var}{\mathfrak{B}}_{\ell ,r,n}, \operatorname{var}{\mathfrak{B}}_{r,\ell,n}\}\) is definable in \(\bf P(k)\). □
The difficulty of extending Lemma 11.6 to arbitrary ℓ,r with 0≤ℓ,r≤k lies in extending Lemma 11.5 to k>2.
Theorem 11.1 and Lemma 11.6 imply the following.
Corollary 11.2
For each k=0,1,2, every kpermutative nilvariety is semidefinable in the lattice \(\bf P(k)\) of all kpermutative varieties.
Acknowledgements
O. Sapir thanks Dr. Ralph McKenzie for directing her attention to the articles [2, 3] and Dr. Boris Vernikov for teaching her this subject and for many illuminating discussions. The authors are also grateful to Vyacheslav Shaprynskii for finding a hole in the previous version.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.