Friedrich Wehrung
email: friedrich.wehrung01@unicaen.fr

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

Keywords: October 24, 2016. 2010 Mathematics Subject Classification. 20M18, 08B10, 08B15, 06F05, 08A30, 08A55, 08B05, 08B20, 20E22, 20M14 Semigroup, monoid, inverse, Boolean, bias, variety, group, wreath product, additive homomorphism, conical, refinement monoid, index, type monoid, generalized rook matrix, fully group-matricial, radical, congruence, residually finite

In an earlier work, the author observed that Boolean inverse semigroups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of varieties of biases in terms of varieties of groups:

(1) Every free bias is residually finite. In particular, the word problem for free biases is decidable.

(2) Every proper variety of biases contains a largest finite symmetric inverse semigroup, and it is generated by its members that are generalized rook matrices over groups with zero. (3) There is an order-preserving, one-to-one correspondence between proper varieties of biases and certain finite sequences of varieties of groups, descending in a strong sense defined in terms of wreath products by finite symmetric groups.

Introduction

Boolean inverse semigroups are an abstraction of semigroups of partial transformations which are closed under finite disjoint unions, originally studied by Tarski's school (cf. [START_REF] Tarski | With an Appendix: Cardinal Products of Isomorphism Types[END_REF]). These objects have been for the last decade an active topic of research, see, for example, [START_REF] Kudryavtseva | Invariant means on Boolean inverse monoids[END_REF][START_REF]A noncommutative generalization of Stone duality[END_REF][START_REF]Non-commutative Stone duality: inverse semigroups, topological groupoids and C *algebras[END_REF][START_REF] Lawson | Pseudogroups and their étale groupoids[END_REF][START_REF] Lawson | AF inverse monoids and the structure of countable MValgebras[END_REF]. By definition, an inverse semigroup S with zero is Boolean, if its semilattice of idempotents is (generalized) Boolean and S has finite orthogonal joins. (We refer to Section 2 for precise definitions.)

Unlike classes of structures such as groups, inverse semigroups, modules, rings, Lie algebras, the class of Boolean inverse semigroups is not defined as a variety of algebras in the sense of universal algebra: while the multiplication and the inversion of an inverse semigroup are full operations, orthogonal join is only a partial operation. The author introduced in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF] two full operations ⊘ and ▽ (cf. (2.1) and (2.2) for precise definitions), defined, on every Boolean inverse semigroup, in terms of multiplication, inversion, and the partial operation of orthogonal join, such that the semigroup homomorphisms preserving ⊘ and ▽ are exactly the additive semigroup homomorphisms; by definition, a semigroup homomorphism is additive if it preserves all finite orthogonal joins. Moreover, Boolean inverse semigroups can be characterized via a finite system of identities in the similarity type (0, -1 , •, ⊘ , ▽). The models of those identities are called biases. Hence, the category of biases, with bias homomorphisms, is identical to the category of Boolean inverse semigroups, with additive semigroup homomorphisms. We also prove in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF] that the variety of biases is congruence-permutable, which makes Boolean inverse semigroups much closer, in spirit, to groups and rings than to semigroups.

The question was thus raised, during the open problem session of the 2016 Workshop on New Directions in Inverse Semigroups in Ottawa, whether there could be a convenient way to describe the varieties of biases, that is, the solution classes, within biases, of sets of identities in the similarity type of biases. In this paper we solve that question, by proving that any variety V of biases, distinct from the variety of all biases (we say that V is proper ), is determined by the (necessarily finite) descending sequence of group varieties G n , where G n (which we will call the n-th radical of V, see Notation 10.1) is the variety of all groups G such that the bias M ⊕ n G ⊔0 of all generalized rook matrices of order n over the Boolean inverse semigroup G ⊔0 = G ∪ {0} (we call such structures groups with zero) belongs to V. Moreover, we describe, in terms of wreath products by finite symmetric groups, which descending sequences of varieties of groups arise in this way, thus yielding, in Theorem 10.10, an isomorphism between proper varieties of biases and certain finite descending sequences of group varieties. In particular, the lattice of all proper varieties of biases embeds, as a sublattice, into a countable power of the lattice of all group varieties enlarged by the empty class.

Let us now summarize, section by section, the organization of the paper.

In Section 2, we recall the main definitions and facts needed through the paper.

In Section 3, we analyze the structure of the universal bias of an arbitrary inverse semigroup, proving in particular that finiteness of the latter implies finiteness of the former. We deduce the following result: Theorem 3.8. Every free bias is residually finite. In particular, the word problem for free biases is decidable.

Section 4 is devoted to introducing a few elementary tools on generalized rook matrices and the type monoid. This yields, as a byproduct, the following result: Proposition 4.6. The Boolean inverse monoids with finite sets of idempotents are exactly the finite products of monoids of the form M ⊕ n G ⊔0 . In Section 5 we prove that the nonzero elements, of the type monoid of a (finitely) subdirectly irreducible bias, form a downward directed subset.

In Section 6 we prove the following result: Theorem 6.3. Every proper variety of biases is generated by its members which are biases of generalized rook matrices over groups with zero, with an upper bound on the order of those matrices.

In Section 7 we observe that the invertible elements of a bias of generalized rook matrices, over a group with zero, can be described as a wreath product with a finite symmetric group. This enables us to express, in group-theoretical terms, embeddability questions between biases of generalized rook matrices over groups with zero.

In Section 8 we prove that finite symmetric biases are projective, and we state a projectivity property of biases of generalized rook matrices, over groups with zero, within the class of all biases with cancellative type monoid.

In Section 9 we express the monoid-theoretical concept of index, studied for type monoids of biases in Section 6, in terms of a certain inverse semigroup identity, thus expressing, in the language of inverse semigroups, the concept of index of a variety of biases.

In Section 10 we prove our main technical result, Lemma 10.3, which gives an exact description of the variety order on biases of generalized rook matrices over groups with zero. This enables us to prove our main result: Theorem 10.10. There is a one-to-one, order-preserving correspondence between proper varieties of biases and finite, decreasing sequences (G k | 1 ≤ k ≤ n) of varieties of groups, such that for all positive integers k, l with kl ≤ n and every G ∈ G kl , the wreath product G ≀ S k belongs to G l .

The sequence (G k | 1 ≤ k ≤ n) associated to a variety V of biases is given as follows: n is the largest nonnegative integer such that I n ∈ V (the index of V, see Definition 9.5) and whenever 1 ≤ k ≤ n, the k-th radical G k is the variety of all groups G such that the bias M ⊕ k G ⊔0 , of all generalized rook matrices of order k over the bias G ⊔0 , belongs to V.

Basic concepts

An inverse semigroup (cf. [START_REF] Howie | An Introduction to Semigroup Theory[END_REF][START_REF] Mark | Inverse Semigroups[END_REF]) is a semigroup S where every x ∈ S has a unique inverse, that is, an element x -1 such that x = xx -1 x and x -1 = x -1 xx -1 . Every group, or every semilattice, is an inverse semigroup.

We shall denote by Idp S the set of all idempotent elements in a semigroup S. For every element x in an inverse semigroup S, the elements d(x) = x -1 x and r(x) = xx -1 are both idempotent. The natural ordering between elements x and y of S, simply denoted by x ≤ y, can be defined, among others, by any of the equivalent statements x = yd(x) and x = r(x)y. Recall that Green's relations L , R, and D can be defined on S by For a semigroup S, we shall denote by S ⊔0 the semigroup obtained by adding to S a new zero element 0 (i.e., 0 • x = x • 0 = 0 for every x). In particular, if S is an inverse semigroup, then so is S ⊔0 . Elements x and y in an inverse semigroup with zero are orthogonal, in notation x ⊥ y, if x -1 y = xy -1 = 0. An inverse semigroup S with zero is Boolean if Idp S is a generalized Boolean algebra and any two orthogonal elements x and y in S have a join with respect to the natural ordering, then denoted by x ⊕ y.

x L y if d(x) = d(y) ; x R y if r(x) = r(y) , D = L •R = R •L (cf.
For any elements x and y in a Boolean inverse semigroup S such that the meet x ∧ y exists, we denote by x y the unique element such that x = (x ∧ y) ⊕ (x y). Observe, in particular, that x y is always defined if x and y are compatible (i.e., x -1 y and xy -1 are both idempotent). This encompasses the case where x and y are both idempotent, and also the one where x and y are comparable (i.e., x ≤ y or y ≤ x).

Important examples of Boolean inverse semigroups are the finite symmetric inverse semigroups I n , for nonnegative integers n, consisting of all partial one-to-one functions on the set [n] = {1, 2, . . . , n} under composition.

Every commutative monoid M can be endowed with a partial preordering ≤ + , defined by

x ≤ + y if x + z = y for some z ∈ M . We say that M is conical if x + y = 0 implies that x = y = 0, for all x, y ∈ M ; -a refinement monoid if for all a 0 , a

1 , b 0 , b 1 ∈ M such that a 0 + a 1 = b 0 + b 1 ,
there are elements c i,j ∈ M , for i, j ∈ {0, 1}, such that each a i = c i,0 + c i,1 and each b i = c 0,i + c 1,i . A partially ordered abelian group (G, +, 0, ≤) is a dimension group if it is directed (as a poset), unperforated (i.e., 0 ≤ mx implies that 0 ≤ x, whenever m is a positive integer and x ∈ G), and the positive cone

G + = def {x ∈ G | 0 ≤ x} is a refinement monoid.
The commutative monoids we shall be mainly concerned with are the type monoids Typ S, for Boolean inverse semigroups S. By definition, Typ S is the universal monoid of the partial monoid Int S of all D-classes of elements of S (which we call the type interval of S), endowed with the partial addition defined by x/D + y/D = (x ⊕ y)/D , whenever x, y ∈ S are orthogonal .

Moreover, as in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF], we shall write typ S (x), or sometimes simply typ(x), instead of x/D. Since the canonical map from Int S to Typ S is one-to-one, typ(x) = typ(y) iff x D y, for all x, y ∈ S. By [28, Corollary 4-1.4], Int S is a lower interval of Typ S, generating Typ S as a monoid, and Typ S is a conical refinement monoid.

For a positive integer n and a Boolean inverse semigroup S, a matrix x = (x i,j

) (i,j)∈[n]×[n]
with entries in S is a generalized rook matrix of order n (cf. [26, § 4.5], [START_REF] Kudryavtseva | Invariant means on Boolean inverse monoids[END_REF], also [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]Section 3.5]) if the equalities x -1 i,j x i,k = x j,i x -1 k,i = 0 hold whenever i, j, k ∈ [n] with j = k. The generalized rook matrices of order n over a Boolean inverse semigroup S form a Boolean inverse semigroup, denoted as in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF] by M ⊕ n (S). As in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF], we denote by x (i,j) the generalized rook matrix with (i, j)th entry equal to x and all other entries equal to zero, for every x ∈ S and every (i, j)

∈ [n] × [n].
The following easy result is contained in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]].

Proposition 2.1. Let S be a Boolean inverse semigroup and let n be a positive integer. Then the idempotent elements of M ⊕ n (S) are exactly the diagonal matrices with idempotent entries.

Definition 2.2. A Boolean inverse semigroup S is D-cancellative if the conjunction of a ⊕ b = a ′ ⊕ b ′ and a D a ′ implies that b D b ′ , for all a, b, a ′ , b ′ ∈ Idp S such that a ⊥ b and a ′ ⊥ b ′ .
Recall that an inverse monoid is factorizable if for every x ∈ S there is an invertible element g ∈ S such that x ≤ g. Proposition 2.3. A Boolean inverse semigroup S is D-cancellative iff its type monoid Typ S is cancellative. Furthermore, if S is unital, then this is equivalent to S be factorizable.

u = 1 d(x) and v = 1 r(x). Then 1 = d(x) ⊕ u = r(x) ⊕ v with d(x) D r(x), thus, since S is D-cancellative, u D v,
that is, there exists y ∈ S such that d(y) = u and r(y) = v. The element g = x ⊕ y is invertible and x ≤ g, thus completing the proof that S is factorizable.

Suppose, conversely, that S is factorizable and let a, b, a

′ , b ′ ∈ Idp S such that a ⊕ b = a ′ ⊕ b ′ and a D a ′ . We must prove that b D b ′ . Setting c = 1 (a ⊕ b), we get (a ⊕ c) ⊕ b = (a ′ ⊕ c) ⊕ b ′ = 1 with a ⊕ c D a ′ ⊕ c, thus reducing the problem to the case where a ⊕ b = a ′ ⊕ b ′ = 1. Let x ∈ S such that a = d(x) and a ′ = r(x).
Since S is factorizable, there is an invertible element g ∈ S such that x ≤ g. From a ′ = gag -1 and the invertibility of g it follows that b

′ = gbg -1 , whence, since g is invertible, b D b ′ .
Every Boolean inverse semigroup S can be endowed with the skew difference ⊘ and the skew addition ▽, respectively defined by

x ⊘ y = r(x) r(y) x d(x) d(y) , (2.1)
x ▽ y = (x ⊘ y) ⊕ y , (2.2)
for all x, y ∈ S. We prove in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF] that the structures (S, 0, -1 , •, ⊘ , ▽) can then be axiomatized by a finite number of identities, whose models are called biases. We prove in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF] that for any Boolean inverse semigroups S and T , a homomorphism f : S → T of semigroups with zero is a bias homomorphism iff it is additive, that is, f (x ⊕ y) = f (x) ⊕ f (y) whenever x and y are orthogonal elements in S. (In particular, f (0) = 0.) A nonempty subset I of S is an additive ideal of S if IS ∪ SI ⊆ I and I is closed under finite orthogonal joins. In that case, the inclusion map from I into S is an additive semigroup embedding, and I is a sub-bias of S.

The bias congruences of a Boolean inverse semigroup S are characterized, in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF], as those inverse semigroup congruences θ such that for all x ∈ S and all orthogonal idempotents a and b of S, xa ≡ θ a and xb ≡ θ b implies that x(a⊕b) ≡ θ a⊕b. (Here and elsewhere, x ≡ θ y is an equivalent notation for (x, y) ∈ θ.) We denote by Con S the (algebraic) lattice of all bias congruences of any Boolean inverse semigroup S. For a bias congruence θ of a Boolean inverse semigroup S, we shall usually denote by θ : S ։ S/θ the canonical projection.

A similarity type (cf. [START_REF] Mckenzie | The Wadsworth & Brooks/Cole Mathematics Series[END_REF]) is a pair Σ = (F, ν), where F is a set and ν is a map from F to the nonnegative integers. The elements of F should be thought of as function symbols and ν(f ) should be thought of as the arity of f . For example, the similarity type of groups is usually given by F = •, -1 , ν(•) = 2, and ν( -1 ) = 1. The similarity type of biases is given by

F = 0, -1 , •, ⊘ , ▽ , ν(0) = 0, ν( -1 ) = 1, and ν(•) = ν( ⊘ ) = ν(▽) = 2.
In general, formal compositions of elements of F, taking the arities into account, are called the terms of Σ. An identity of Σ is an expression of the form p = q, where p and q are both terms. A Σ-algebra is a nonempty set A, endowed with a map which to each f ∈ F, with arity n, associates a map f A : A n → A (just an element of A if n = 0).

A variety of Σ-algebras is the class of all Σ-algebras that satisfy a given set of identities of Σ. Varieties, also known under the name of equational classes, are defined and studied in any textbook of universal algebra such as [START_REF] Burris | A Course in Universal Algebra[END_REF][START_REF] Grätzer | Universal Algebra[END_REF][START_REF] Mckenzie | The Wadsworth & Brooks/Cole Mathematics Series[END_REF]. A standard reference for varieties of groups is Neumann's monograph [START_REF] Neumann | Varieties of Groups[END_REF]. Every variety V, on a set X of variables, is determined by the set of all identities, with set of variables X, satisfied by V. This set of identities is, in turn, a fully invariant congruence of the algebra of all terms on Σ. This correspondence gives an order-reversing bijection between varieties and fully invariant congruences of the term algebra (cf. [3, Corollary II.14.10]), and thus it enables us to dispose conveniently of the apparent foundational problem raised by varieties being proper classes. In particular, the lattice of all varieties of Σ-algebras can be defined, and it has cardinality at most 2 ℵ0+card F . Moreover, the fully invariant congruences of an algebra A form a complete sublattice of the congruences of A (cf. [3, Exercise II.14.1]), thus the lattice of all subvarieties of a variety V satisfies the dual of every lattice identity satisfied by the congruence lattices of all members of V.

Now the variety of all groups, and the variety of all biases, are both congruencepermutable (see [START_REF] Burris | A Course in Universal Algebra[END_REF]Section II.5] and [28, Section 3-4], respectively). Since the congruence lattice of every congruence-permutable algebra satisfies the modular identity, and in fact the even stronger Arguesian identity (cf. [START_REF] Jónsson | On the representation of lattices[END_REF] and [7, Theorem 410]), and since the Arguesian identity is self-dual (cf. [START_REF]The class of Arguesian lattices is self-dual[END_REF]), the lattice Λ Grp of all varieties of groups and the lattice Λ Bis of all varieties of biases are both Arguesian. Stronger congruence identities, following from congruence-permutability, were discovered by Mark Haiman in [START_REF] Haiman | Proof theory for linear lattices[END_REF]. For more on identities satisfied by normal subgroup lattices of groups or congruence lattices in algebras from congruencepermutable varieties, we refer the reader to [START_REF] Burns | Varieties of groups and normal-subgroup lattices-a survey[END_REF][START_REF]Day's early work: congruence identities[END_REF].

On the cardinality side, it is known since Ol ′ šanskiȋ that there are continuum many varieties of groups [START_REF] Ju | The finite basis problem for identities in groups[END_REF].

We denote by Var(C) the variety of groups generated by a class C of groups, and set Var(G) = def Var({G}) for any group G.

For a poset P , we denote by P ⊔ {∞} the poset obtained by adding to P a new top element.

We set Z + = {0, 1, 2, 3, . . . } and N = {1, 2, 3, . . . }.

Free biases are residually finite

In this section we prove that the satisfaction of any equation, in the universal bias of an inverse semigroup S, can be reduced to a positive quantifier-free formula over S in the similarity type of inverse semigroups (Proposition 3.7). We deduce from this that every free bias is residually finite, so, in particular, the word problem for finite biases is decidable (Theorem 3.8).

The proof of the following lemma is an elementary calculation and we omit it.

Lemma 3.1. Let a, b, c, d be elements in a Boolean ring B. Then (a b)∧(c d) = (a ∧ c) (b ∨ d). Furthermore, a b ≤ c d iff a ≤ b ∨ c and a ∧ d ≤ b.
Since every inverse semigroup S has a semigroup embedding into a bias T such that 0 T / ∈ S (use the Vagner-Preston Theorem), the canonical map from S to its universal bias U bis (S) is a semigroup embedding with 0 / ∈ S, and we shall thus assume that this embedding is an inclusion map. Therefore, S is an inverse subsemigroup of U bis (S), generating U bis (S) as a bias, and every semigroup homomorphism from S to a bias T extends to a (unique) bias homomorphism from U bis (S) to T .

Lemma 3.2. Let S be an inverse subsemigroup of a Boolean inverse semigroup T . Suppose that T is generated by S as a bias. Denote by B the Boolean subring of Idp T generated by Idp S. Then B = Idp T and every element x ∈ T can be written in the form

x = n i=1
x i a i , where n ∈ Z + , a 1 , . . . , a n ∈ B , and x 1 , . . . , x n ∈ S .

(3.1)
Proof. The set of all elements a ∈ Idp T , such that xax -1 ∈ B whenever x ∈ S, contains Idp S and is closed under finite meets, differences, and orthogonal joins, thus it contains B. Hence,

xBx -1 ⊆ B whenever x ∈ S. Set ∆ = {xa | (x, a) ∈ S × B}. For each (x, a) ∈ S × B, ax = axx -1 x = xx -1 ax = xa ′ where a ′ = x -1 ax ∈ B.
This also proves that ∆ is closed under the inversion operation x → x -1 . Now for all x, y ∈ S and all a, b ∈ B, there is a ′ ∈ B such that ay = ya ′ , thus

(xa)(yb) = xya ′ b belongs to ∆ .
Therefore, ∆ is an inverse subsemigroup of T , and therefore so is the closure ∆ ⊕ of ∆ under finite orthogonal joins. Let x be written as in (3.1). Then

d(x) = n i=1 d(x i a i ) = n i=1 d(x i )a i belongs to B. It follows that Idp ∆ ⊕ ⊆ B. On the other hand, for every a ∈ B, there are n ∈ Z + and a 0 , . . . , a n-1 ∈ S such that a ≤ i<n a i . Setting b i = a ∧ (a i j<i a j ) for all i < n, we get a = i<n b i = i<n a i b i ∈ ∆ ⊕ ,
thus completing the proof that B ⊆ Idp ∆ ⊕ . Therefore, B = Idp ∆ ⊕ . Since ∆ ⊕ is an inverse subsemigroup of T , closed under finite orthogonal joins and difference of idempotent elements, it is, by [28, Corollary 3-2.7], a sub-bias of T . Since it contains S, it follows that T = ∆ ⊕ . Hence, Idp T = Idp ∆ ⊕ = B. Corollary 3.3. Let S be a finite inverse semigroup. Then the universal bias U bis (S) is finite.

The following is a slight strengthening of Lemma 3.2. Lemma 3.4. Let S be an inverse subsemigroup of a Boolean inverse semigroup T . Suppose that T is generated by S as a bias. Then every element x ∈ T can be written in the form

x = n i=1 x i a i ni j=1 b i,j , where all x i ∈ S , all a i , b i,j ∈ Idp S , all b i,j ≤ a i , and all a i ≤ d(x i ) . (3.2)
Proof. By virtue of Lemma 3.2, the Boolean ring B = Idp T is generated by Idp S. Furthermore, by that lemma, it suffices to prove the existence of the given decomposition in case x = xa, where x ∈ S and a ∈ B. Since Idp S is closed under finite meets, a is a finite orthogonal join of elements of the form a i ni j=1 b i,j . Replacing each a i by a i d(x i ) and each b i,j by a i d(x i )b i,j , we get the desired conclusion. Lemma 3.5. Let S be an inverse semigroup, let n ∈ Z + , and let x, x 1 , . . . , x n ∈ S such that the x i are pairwise compatible. Then x ≤ n i=1 x i , within U bis (S), iff x ≤ x i for some i.

Proof. We prove the nontrivial direction. Suppose that x ≤ n i=1 x i within U bis (S). Denote by ρ : (S, •) → (I S , •) the inverse semigroup embedding given by the Vagner-Preston Theorem, which we will call the Vagner-Preston completion of S: for every z ∈ S, ρ z is the bijection from d(z)S onto r(z)S given by

ρ z (t) = zt whenever t ∈ d(z)S .
From our assumption it follows that the partial function ρ x is extended by the union of all the ρ xi . Since d(x) belongs to the domain of ρ x , it also belongs to the domain of ρ xi for some i, and then

x = ρ x (d(x)) = ρ xi (d(x)) = x i d(x), that is, x ≤ x i .
there is i ∈ [1, m] such that ad(x) ≤ a i or xa = yd(x)a and ad(x) ≤ bd(y) , (3.3)
for each j ∈ [1, n] there is i ∈ [1, m] such that ad(x)b j ≤ a i . (3.4
ρ x • id aS m i=1 id aiS ⊆ ρ y • id bS n j=1 id bj S , (3.5)
where the containment symbol, between partial functions, means extension and the union symbol, applied to partial functions, means the least common extension. Observing that a belongs to the left hand side of (3.6), we obtain that

a ≤ a i for some i ∈ [1, m] or a ≤ b , (3.8)
for each j there exists i such that ab j ≤ a i .

(3.9)

Furthermore, suppose that a a i for all i. Then a belongs to U , thus, by (3.5), ρ x (a) = ρ y (a), that is, xa = ya. Proposition 3.7. Let p(x 1 , . . . , x n ) and q(x 1 , . . . , x n ) be terms in the similarity type of biases. Then there is a positive quantifier-free formula r(x 1 , . . . , x n ), in the similarity type of inverse semigroups, such that for every inverse semigroup S and all elements x 1 , . . . , x n ∈ S, U bis (S) satisfies p(x 1 , . . . ,

x n ) = q(x 1 , . . . , x n ) iff S satisfies r(x 1 , . . . , x n ).
Proof. Set x = (x 1 , . . . , x n ). Expressing the equation p( x) = q( x) as the conjunction of the two inequalities p( x) ≤ q( x) and q( x) ≤ p( x), we see that it suffices to establish the conclusion for the inequality p( x) ≤ q( x).

Set Σ = {x 1 , . . . , x n }. Due to the Vagner-Preston Theorem, every inverse semigroup embeds into a bias, thus the canonical map from F inv (Σ) into F bis (Σ) is oneto-one. Applying Lemma 3.4 to the inclusion F inv (Σ) ֒→ F bis (Σ), we obtain, for every bias term u( x), nonnegative integers m u and n u,i together with elements s u i ( x) in F inv (Σ), for 1 ≤ i ≤ m u , and idempotent elements a u i ( x) and b u i,j ( x) in F inv (Σ), for 1 ≤ i ≤ m u and 1 ≤ j ≤ n u,i , such that the relations

b u i,j ( x) ≤ a u i ( x) , (3.10)
a u i ( x) ≤ d(s u i ( x)) , (3.11)
u( x) = mu i=1 s u i ( x) a u i ( x) nu,i j=1 b u i,j ( x) (3.12)
all hold in F bis (Σ), thus in every bias.

In particular, for every bias S and every finite sequence x = (x 1 , . . . , x n ) ∈ S n , the inequality p( x) ≤ q( x) is equivalent to the conjunction of all inequalities

s p i ( x) a p i ( x) np,i j=1 b p i,j ( x) ≤ mq k=1 s q k ( x) a q k ( x) n q,k l=1 b q k,l ( x) , (3.13)
for 1 ≤ i ≤ m p . By virtue of (3.10) and (3.11), each inequality (3.13) is, in turn, equivalent to the conjunction of all the inequalities

a p i ( x) np,i j=1 b p i,j ( x) ≤ mq k=1 a q k ( x) n q,k l=1 b q k,l ( x) , (3.14)
s p i ( x) a p i ( x) np,i j=1 b p i,j ( x) a q i ′ ( x) n q,i ′ j=1 b q i ′ ,j ( x) ≤ s q i ′ ( x) , (3.15)
where 1 ≤ i ≤ m p and 1 ≤ i ′ ≤ m q . By [28, Lemma 5-2.13], the inequality (3.14) can be expressed by a conjunction of formulas of the form k∈X c k ≤ k / ∈X c k , where the c k are parameters, in Idp S, among the

a p i ( x), b p i,j ( x), a q i ′ ( x), b q i ′ ,j ′ ( x)
. Since Idp S is closed under finite meets (i.e., products), this reduces to a conjunction of formulas of the form c ≤ k c k , where c and the c k are idempotent elements in Idp S. By Lemma 3.5, each such formula is equivalent to the disjunction of the formulas c ≤ c k . Hence, we can express the inequality (3.14) by a positive quantifier-free formula with parameters from Idp F inv (Σ). By using Lemmas 3.1 and 3.6, so can the inequality (3.15).

We are now reaching the main result of this section.

Theorem 3.8. Every free bias is residually finite. In particular, the variety of all biases is generated by all finite symmetric biases I N , and the word problem for free biases is decidable.

Proof. Let Σ be an alphabet and let x and y be elements of the free bias F bis (Σ) on Σ, such that x = y. We need to find a positive integer N and a bias homomorphism ϕ : F bis (Σ) → I N such that ϕ(x) = ϕ(y). Write x = p(x 1 , . . . , x n ) and y = q(x 1 , . . . , x n ), for bias terms p and q and elements x 1 , . . . , x n ∈ Σ, and denote by r the positive quantifier-free formula associated to (p, q) via Proposition 3.7. Now it follows from Proposition 3.7 that the formula r(x 1 , . . . , x n ) does not hold in the free inverse semigroup F inv (Σ). Since, by Munn's Theorem [START_REF] Walter | Free inverse semigroups[END_REF], F inv (Σ) is residually finite, there are a finite inverse semigroup T and a homomorphism ψ : F inv (Σ) → T such that the formula r(ψ(x 1 ), . . . , ψ(x n )) does not hold in T . Again by Proposition 3.7 and denoting by ψ : F bis (Σ) → U bis (T ) the unique extension of ψ to a bias homomorphism, this means that r(ψ(x 1 ), . . . , ψ(x n )) holds within U bis (T ); that is, ψ(x) = ψ(y) within U bis (T ). Now by Corollary 3.3, U bis (T ) is a finite bias, thus, by the Lawson-Lenz duality from [START_REF] Lawson | Pseudogroups and their étale groupoids[END_REF] (see also [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]), there are a positive integer N and a bias embedding θ : U bis (T ) ֒→ I N . Set ϕ = θ • ψ. Then ϕ(x) = ϕ(y), which completes the proof that F bis (Σ) is residually finite. By McKinsey's work [START_REF] John | The decision problem for some classes of sentences without quantifiers[END_REF], it follows that if Σ is finite, then the word problem for F bis (Σ) is decidable.

Homogeneous sequences and rook matrices

In this section we state an analogue, for biases, of the block matrix decomposition of an endomorphism of a module (Lemma 4.2). We also characterize, in Lemma 4.4, the Boolean inverse monoids with type monoid Z + , and we describe in Proposition 4.6 the Boolean inverse monoids with finite sets of idempotents.

The terminology of the following definition is inspired by von Neumann's work on regular rings. n (e 1 Se 1 ) and ψ : M ⊕ n (e 1 Se 1 ) → eSe be the maps given by

ϕ(x) =      c -1 1 xc 1 c -1 1 xc 2 . . . c -1 1 xc n c -1 2 xc 1 c -1 2 xc 2 . . . c -1 2 xc n . . . . . . . . . . . . c -1 n xc 1 c -1 n xc 2 . . . c -1 n xc n      , for each x ∈ eSe , and
ψ (x i,j ) (i,j)∈[n]×[n] = (i,j)∈[n]×[n] c i x i,j c -1 j , for each (x i,j ) (i,j)∈[n]×[n] ∈ M ⊕ n (e 1 Se 1 ) .
The verification that the maps ϕ and ψ are well defined and mutually inverse semigroup isomorphisms is straightforward, if not a bit tedious.

The Boolean unitization of a Boolean inverse semigroup S, introduced in [28, Chapter 6], is the unique (up to isomorphism) Boolean inverse monoid S in which every element has the form (1 e) ⊕ x, where e ∈ Idp S and x ∈ S, and such that S = S if S is unital. In particular (cf. [28, Proposition 6-6.5]), S is an additive ideal of S and if S is not unital, then S/S is the two-element inverse semigroup. Proof. Observe, first, that M ⊕ mn (S) is an additive ideal of M ⊕ mn S . Whenever 1 ≤ i ≤ mn, we denote by a i the diagonal matrix, in M ⊕ mn S , with unique nonzero entry at (i, i), equal to 1. Setting e k = km i=1+(k-1)m a i , the finite sequence (e 1 , . . . , e n ) is homogeneous in M ⊕ mn S , and e 1 M ⊕ mn (S) e 1 consists of all generalized rook matrices, over S, all whose entries outside [m] × [m] are zero; thus it is isomorphic to M ⊕ m (S). Apply Lemma 4.2. Lemma 4.4. Let S be a Boolean inverse monoid and let m be a positive integer. Then (Typ S, typ S (1)) ∼ = (Z + , m) iff S ∼ = M ⊕ m G ⊔0 for some group G.

Proof. We start with the case where m = 1. Since G ⊔0 has exactly one nontrivial idempotent, we get the isomorphism (Typ G ⊔0 , typ G ⊔0 (1)) ∼ = (Z + , 1). Suppose, conversely, that (Typ S, typ S (1)) ∼ = (Z + , 1). For any a ∈ Idp S, By the first part of the present proof, it follows that e 1 Se 1 ∼ = G ⊔0 for some group G.

Therefore, S ∼ = M ⊕ m (e 1 Se 1 ) ∼ = M ⊕ m G ⊔0 .
In [START_REF]Non-commutative Stone duality: inverse semigroups, topological groupoids and C *algebras[END_REF]Theorem 4.18], Mark Lawson describes finite Boolean inverse monoids in terms of groupoids. The methods of the present section yield the following description of those monoids, and, more generally, of the Boolean inverse monoids with finite sets of idempotents, in terms of groups. Although we will not need this result in the rest of the paper, we found it worth recording here. Definition 4.5. A Boolean inverse monoid is fully group-matricial if it is isomorphic to M ⊕ n G ⊔0 , for some positive integer n and some group G.

Proposition 4.6. Let S be a Boolean inverse monoid. Then S has finitely many idempotent elements iff it is isomorphic to a finite product of fully group-matricial Boolean inverse semigroups.

Proof. We prove the nontrivial direction. Assume that the Boolean algebra B of all idempotent elements of S is finite, denote by A the set of all its atoms, and denote by θ the restriction of Green's equivalence relation D to A. The elements e a = a, for a ∈ A/θ, are all idempotent, and they satisfy the relation

1 = (e a | a ∈ A/θ) within S . (4.2)
We claim that e a belongs to the center of S, for every a ∈ P/θ. Indeed, let x ∈ S. Then for every p ∈ a, the element xpx -1 is either zero or θ-equivalent to p, thus it belongs to a ∪ {0}, and thus it lies below e a . It follows that the element xe a x -1 = xpx -1 | p ∈ a lies below e a . Hence,

xe a = xx -1 xe a = xe a x -1 x ≤ e a x .
The proof that e a x ≤ xe a is symmetric. This completes the proof of our claim. By virtue of (4.2), this yields a direct decomposition S ∼ = a∈P/θ e a S, thus reducing the problem to the case where θ has exactly one equivalence class. Thus, denoting by e 1 , . . . , e n the distinct atoms of B, the finite sequence (e 1 , . . . , e n ) is homogeneous. By Lemma 4.2, S ∼ = M ⊕ n (e 1 Se 1 ). Since e 1 is the only nontrivial idempotent in e 1 Se 1 , we get e 1 Se 1 ∼ = G ⊔0 for some group G.

Alternatively, Proposition 4.6 can also be obtained from [START_REF]Non-commutative Stone duality: inverse semigroups, topological groupoids and C *algebras[END_REF]Theorem 4.18](1), by decomposing the groupoid obtained there into its connected components, then using Lemma 4.2 as above.

Type monoids of finitely subdirectly irreducible biases

The main aim of this section is to establish Lemma 5.5, which states that the type monoid of every (finitely) subdirectly irreducible bias is prime (cf. Definition 5.3).

Denote by θ I the congruence generated by I × {0}, for an additive ideal I of a Boolean inverse semigroup S (cf. [28, Proposition 3-4.6]; θ I is denoted there by ≡ I ). Recall that this congruence can be defined by (x, y) ∈ θ I ⇔ (∃z) z ≤ x and z ≤ y and {x z, y z} ⊆ I , for all x, y ∈ S .

(5.1)

Lemma 5.1. θ I ∩ θ J = θ I∩J , for all additive ideals I and J of S.

Proof. It is sufficient to prove that θ I ∩ θ J ⊆ θ I∩J . Let (x, y) ∈ θ I ∩ θ J . By definition (cf. (5.1)), there are u, v ≤ x, y such that both containments {x u, y u} ⊆ I and {x v, y v} ⊆ J hold. Since u, v ≤ x, the elements u and v are compatible, thus they have a join w, and w ≤ x. From u, v ≤ y it follows that w ≤ y. From x u = (x w) ⊕ (w u) it follows that x w ≤ x u, thus, since x u ∈ I, we get x w ∈ I. Likewise, x w ∈ J, so x w ∈ I ∩ J. Likewise, y w ∈ I ∩ J, so w witnesses that (x, y) ∈ θ I∩J .

If S is a Boolean inverse meet-semigroup, that is, x ∧ y exists for all x, y ∈ S, then the satisfaction of (5.1) needs to be checked only on the element z = x ∧ y, which implies immediately that Lemma 5.1 can be extended to arbitrary infinite collections of additive ideals. However, the following example shows that this observation does not extend to the case where S need not be an inverse meet-semigroup. Recall that an inverse semigroup is a Clifford inverse semigroup if it satisfies the identity d(x) = r(x) (i.e., x -1 x = xx -1 ).

Example 5.2. A Clifford Boolean inverse monoid S, with an infinite descending sequence (I n | n ∈ Z + ) of additive ideals such that n∈Z + I n = {0}, yet n∈Z + θ In is not the identity congruence.

Proof. The example in question is the one of [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]. Let us recall its construction. Denote by B the Boolean algebra of all subsets of N that are either finite or cofinite, and pick any nontrivial group G. For every x ∈ B, we set N x = G if x is finite, and N x = {1} if x is cofinite. For g, h ∈ G and x ∈ B, let g ≡ x h hold if g ≡ h (mod N x ). We define an equivalence relation ∼ on B × G by setting (x, g) ∼ (y, h) if (x = y and g ≡ x h) , for all x, y ∈ B and all g, h ∈ G , and we denote by [x, g] the ∼-equivalence class of (x, g). Then ∼ is a semigroup congruence on B× G, and the quotient S = (B× G)/∼ is a Boolean inverse monoid, where d

[x, g] = r[x, g] = [x, 1] whenever (x, g) ∈ B × G.
For the rest of the proof, we pick any element g ∈ G \ {1}, and we set

a n = [N \ [n], g] , e n = [N \ [n], 1] ,
for every n ∈ Z + . The set Lemma 5.4 (folklore). Let two elements x and y in a conical refinement monoid M be orthogonal, in notation x ⊥ y, if there is no nonzero z ∈ M such that z ≤ + x and z ≤ + y. Then the following statements hold: (i) x ⊥ z and y ⊥ z implies that x + y ⊥ z, for all x, y, z ∈ M .

I n = def {[x, h] ∈ S | x ∩ [n] = ∅} is
(ii) x ⊥ y implies that nx ⊥ ny, for all x, y ∈ M and every positive integer n.

A bias S is subdirectly irreducible (resp., finitely subdirectly irreducible) if it has a smallest nonzero congruence (resp., if any two nonzero congruences of S have nonzero intersection). Trivially, every subdirectly irreducible bias is finitely subdirectly irreducible. By using the results of [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF], it is easy to construct finitely subdirectly irreducible Boolean inverse monoids that are not subdirectly irreducible.

Generators for varieties of biases

The main aim of this section is to prove that every proper variety of biases is generated by biases of generalized rook matrices, of finite order, over groups with zero (Theorem 6.3).

Recall (see, for example, [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]) that the index of an element e in a conical commutative monoid M is the least nonnegative integer n, if it exists, such that (n + 1)x ≤ + e implies that x = 0 whenever x ∈ M , and ∞ otherwise. Proof. We claim that every element of M \ {0} is above an atom of M . Suppose otherwise and let a ∈ M without any atom below a. Let x ∈ (0, a]. Since there is no atom below x, x is not an atom, thus, since x = 0, there are x 0 , x 1 ∈ M \ {0} such that x = x 0 + x 1 . Since M is prime, there is y = 0 such that y ≤ + x 0 and y ≤ + x 1 . It follows that 2y ≤ + x. Arguing inductively, we find n ∈ Z + and z ∈ (0, a] such that 2 n is greater than the index of a and 2 n z ≤ + a, in contradiction with the definition of the index. This proves our claim.

In particular, there is at least one atom p in M . Since M is prime, p is the only atom in M . By the claim above, every element of M \ {0} is larger than or equal to p. Now let a ∈ M . Since p ≤ + x whenever x ∈ (0, a], the index m of a is the largest integer such that mp ≤ + a. Let b such that mp + b = a. If b = 0, then p ≤ + b, thus (m + 1)p ≤ + mp + b = a, in contradiction with the definition of the index. Therefore, mp = a, thus completing the proof that M = Z + p. Since M is a conical refinement monoid and p is an atom, it follows that the map (Z + → M , n → np) is one-to-one. Therefore, M ∼ = Z + . Notation 6.2. We denote by Bis the variety of all biases.

Recall that a partially ordered Abelian group G is Archimedean if for all a, b ∈ G, if na ≤ b for every n ∈ Z + , then a ≤ 0. Theorem 6.3. Let V be a proper variety of biases.

(1) There is a largest nonnegative integer h such that I h ∈ V. Furthermore, h is the largest possible value of the index of typ S (e) within Typ S, for S ∈ V and e ∈ Idp S. (2) For any S ∈ V, every element of the type monoid Typ S has finite index. In particular, Typ S is the positive cone of an Archimedean dimension group. (3) The variety V is generated by the collection of all its fully group-matricial members.

Proof. Ad (1), [START_REF] Burns | Varieties of groups and normal-subgroup lattices-a survey[END_REF]. If I n ∈ V for all n ∈ Z + , then, by Theorem 3.8, V = Bis, which contradicts our assumption. Hence there is a largest nonnegative integer h such that I h ∈ V. Moreover, either h = 0 and Typ I h = {0}, or h > 0 and (Typ I h , typ I h (1)) ∼ = (Z + , h). It follows that the index of typ I h (1) in Typ I h is exactly h. Let S ∈ V. We shall prove that the index of e = def typ S (e) is less than or equal to h, for every e ∈ Idp S. Suppose otherwise. By the definition of the index and by [28, Lemma 4-1.6], there are nonzero pairwise orthogonal idempotents e 0 , . . . , e h ≤ e such that typ S (e 0 ) = typ S (e i ) whenever 0 ≤ i ≤ h. By definition, (e 0 , . . . , e h ) is a homogeneous sequence of S. Set e ′ = h i=0 e i . By Lemma 4.2, M ⊕ h+1 (e 0 Se 0 ) is isomorphic to e ′ Se ′ , hence it embeds into S. Since I h+1 embeds into M ⊕ h+1 (e 0 Se 0 ), it also belongs to V, a contradiction.

Since every element of the type interval Int S of S has finite index in Typ S, and since Int S generates the refinement monoid Typ S, it follows from [27, Corollary 3.12] that every element of Typ S has finite index. By [27, Proposition 3.13], it follows that Typ S is the positive cone of an Archimedean dimension group.

Ad (3). Denote by K the class of all fully group-matricial members of V. Every member S of V is the directed union, thus the direct limit, of all unital biases eSe, where e ∈ Idp S; thus the unital members of V generate V. Further, every Proof. By Lemma 7.4, any group embedding of G into H ≀ S n gives rise to a group embedding of G into the group of all invertible elements of M ⊕ n H ⊔0 , which in turn extends to a bias embedding from G ⊔0 into M ⊕ n H ⊔0 . Let, conversely, ϕ : G ⊔0 ֒→ M ⊕ n H ⊔0 be a bias embedding. Since ϕ( 1) is an idempotent element of M ⊕ n H ⊔0 , it is, by Proposition 2.1 a diagonal matrix with entries in {0, 1}. Denote by Ω the set of all indices i ∈ [n] such that the (i, i)th entry of ϕ( 1) is 1. For every g ∈ G, the element ϕ(g) = ϕ(1)ϕ(g)ϕ(1) belongs to ϕ(1) M ⊕ n H ⊔0 ϕ(1), which consists of all generalized rook matrices all whose entries outside Ω × Ω are zero. Hence, setting m = card Ω, the map ϕ induces a unital bias embedding ψ : G ⊔0 ֒→ M ⊕ m H ⊔0 . Since ψ sends the unit to the unit, it sends every invertible element to an invertible element. By Lemma 7.4, G embeds, as a subgroup, into H ≀ S m . The latter embeds, in turn, into

H ≀ S n , via [h 1 , . . . , h m ; σ] → [h 1 , . . . , h m , 1, . . . , 1; σ],
where σ stands for the extension of σ by the identity map on

[n] \ [m].
Denote by ⌊x⌋ the largest integer less than or equal to x, for any rational number x. The following lemma strengthens Lemma 7.5 to bias embeddings between fully group-matricial biases.

Lemma 7.6. Let G and H be groups, let m and n be positive integers. Then M ⊕ m G ⊔0 embeds, as a bias, into M ⊕ n H ⊔0 , iff m ≤ n and G embeds, as a subgroup, into the wreath product H ≀ S ⌊n/m⌋ . Proof. Suppose, first, that m ≤ n and that G embeds, as a subgroup, into H ≀ S ⌊n/m⌋ . By Lemma 7.5, G ⊔0 embeds, as a bias, into M ⊕ ⌊n/m⌋ H ⊔0 . It follows that M ⊕ m G ⊔0 embeds, as a bias, into M ⊕ m M ⊕ ⌊n/m⌋ H ⊔0 , thus, by Lemma 4.3, into M ⊕ m⌊n/m⌋ H ⊔0 . Since m⌊n/m⌋ ≤ n, it follows that M ⊕ m G ⊔0 embeds, as a bias, into M ⊕ n H ⊔0 . Let, conversely, ϕ : M ⊕ m G ⊔0 ֒→ M ⊕ n H ⊔0 be a bias embedding. Whenever 1 ≤ i ≤ m, denote by a i the generalized rook matrix of order m with (i, i)th entry 1 and all others 0. Similarly, for X ⊆ [n], denote by b X the diagonal generalized rook matrix of order n with (j, j)th entry 1 if j ∈ X, 0 otherwise. Then each ϕ(a i ) is a nonzero idempotent element of M ⊕ n H ⊔0 , so, by Proposition 2.1, ϕ(a i ) = b Xi for some nonempty

X i ⊆ [n]. Since (a 1 , . . . , a m ) is a homogeneous se- quence in M ⊕ m G ⊔0 , (b X1 , . . . , b Xm ) is a homogeneous sequence in M ⊕ n H ⊔0
, thus the X i are pairwise disjoint and they all have the same cardinality, say d. Hence,

md ≤ n. Moreover, ϕ embeds a 1 M ⊕ m G ⊔0 a 1 , which is isomorphic to G ⊔0 , into b X1 M ⊕ n H ⊔0 b X1 , which is isomorphic to M ⊕ d H ⊔0
. By Lemma 7.5, G embeds into H ≀ S d . Since d ≤ ⌊n/m⌋, the desired conclusion follows.

A projectivity property of fully group-matricial biases

The main aim of this section is the projectivity property of fully group-matricial biases, within the class of all D-cancellative biases, stated in Lemma 8.3. Our first lemma is an analogue, for biases, of the lattice-theoretical result stating the projectivity of von Neumann frames (cf. [START_REF] Freese | Planar sublattices of FM(4)[END_REF][START_REF] András | Schwach distributive Verbände. I[END_REF]).

Lemma 8.1. The symmetric inverse monoid I n is a projective bias, for every positive integer n.

Proof. Let S be a Boolean inverse semigroup. We need to prove that every surjective bias homomorphism ϕ : S ։ I n has a right inverse bias embedding. The kernel ϕ of ϕ is an additive congruence of S. Denote by e i,j the unique function from {j} to {i}, whenever i, j ∈ [n]. Since ϕ is a surjective homomorphism of inverse semigroups, for every i ∈ [n], there exists a 1,i ∈ S such that ϕ(a 1,i ) = e 1,i . Since e 1,1 is idempotent, we may take a 1,1 idempotent. By replacing each a 1,i by a 1,i d(a 1,i )

1≤j<i d(a 1,j ) , we may assume that d(a 1,i )d(a 1,j ) = 0, that is,

a 1,i a -1 1,j = 0 , for all distinct i, j ∈ [n] . (8.1) Now set b 1,1 = def n j=1 r(a 1,j ) , b i,i = def a -1 1,i b 1,1 a 1,i , b 1,i = def b 1,1 a 1,i , for each i ∈ [n]
. This causes no conflict of notation, because b 1,1 ≤ a 1,1 . All elements b i,i are idempotent, and, by (8.1), they are pairwise orthogonal. Furthermore, for every i ∈ [n], it is easy to verify that ϕ(b i,i ) = e i,i , ϕ(b

1,i ) = e 1,i , d(b 1,i ) = b i,i , and r(b 1,i ) = b 1,1 . Since b 1,i ≤ a 1,i and by (8.1), we get b 1,i b -1 1,j = 0 , for all distinct i, j ∈ [n] . We set b i,j = def b -1 1,i b 1,j , whenever i, j ∈ [n]. Then ϕ(b i,j ) = e -1
1,i e 1,j = e i,1 e 1,j = e i,j . Furthermore, by using the above, it is not hard to verify that the b i,j form a system of matrix units in S, that is, b i,j b k,l = δ j,k b i,l , whenever i, j, k, l ∈ [n]. The map ψ : I n → S, x → i∈dom(x) b x(i),i is an additive semigroup homomorphism, and ϕ • ψ = id In .

In order to establish an analogue of Lemma 8.1 for fully group-matricial biases, we will need to add to our assumptions a statement of D-cancellativity. We first prove a crucial preparatory lemma.

′ = def yu ′ y -1 are idempotent, with u ′ ≤ ua, v ′ ≤ vb, u ′ ≡ θ u ≡ θ a, and v ′ ≡ θ v ≡ θ b. Setting y ′ = def yu ′ , we get d(y ′ ) = u ′ d(y) = u ′ , r(y ′ ) = yu ′ y -1 = v ′ , so u ′ D S v ′ .
Since a D S b, u ′ ≤ a, and v ′ ≤ b, and since S is D-cancellative, it follows that a u ′ D S b v ′ , that is, there is s ∈ S such that d(s) = a u ′ and r(s) = b v ′ . From u ′ ≡ θ a it follows that s ≡ θ 0. Set x = y ′ ⊕ s. Then x ≡ θ y ′ ≡ θ y, so x ∈ x. Furthermore, d(x) = a and r(x) = b.

Finally, for every

x ∈ M ⊕ n G ⊔0 , (ϕ • η)(x) = (i,j)∈[n]×[n] ϕ(a i,1 x i,j a 1,j ) = (i,j)∈[n]×[n]
e i,1 ψ(x i,j ) (1,1) e 1,j

= (i,j)∈[n]×[n] ψ(x i,j ) (i,j) = ψ (i,j)∈[n]×[n] (x i,j ) (i,j) = ψ(x) , so ϕ • η = ψ.

Boolean inverse semigroups with bounded index

The main result of this section, Lemma 9.3, aims at relating the monoid-theoretical concept of index, to be checked on the type monoid of a Boolean inverse semigroup S, to the satisfaction of a certain inverse semigroup-theoretical identity, to be checked in S. Lemma 9.1. Let S be an inverse semigroup, let n be a positive integer, and let

x ∈ S. Then d(x n ) = r(x n ) iff d(x n ) = d(x n+1 ) and r(x n ) = r(x n+1 ). Proof. (G. Kudryavtseva) If d(x n ) = r(x n ), then d(x 2n ) = x -n x -n x n x n = x -n x n x -n x n = (d(x n )) 2 = d(x n ) , whence d(x n ) = d(x n+1
). The proof that r(x n ) = r(x n+1 ) is similar.

Suppose, conversely, that d(x n ) = d(x n+1 ) and r(x n ) = r(x n+1 ). For any positive integer k, if d(x k ) = d(x k+1 ), then

d(x k+1 ) = x -1 d(x k )x = x -1 d(x k+1 )x = d(x k+2 ) .
Hence, our assumption implies that d(x n ) = d(x k ) for every k ≥ n. In particular,

d(x n ) = d(x 2n ) . (9.1) Now x -n x n = x -n x n x -n x n (that is, d(x n ) is idempotent) = x -n x 2n x -2n x n (use (9.1)) = x -n x n x n x -n x -n x n = x -n x n x n x -n
(the idempotents x -n x n and x n x -n commute)

≤ x n x -n .
The proof that x n x -n ≤ x -n x n is symmetric.

Recall the notation x y = xyx -1 , used in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]. The identity d(x n ) = r(x n ), the earliest appearance of which we are aware being [START_REF] Reilly | Varieties of completely semisimple inverse semigroups[END_REF]Theorem 3.4], plays a crucial role in the following lemma. It was suggested to the author by Ganna Kudryavtseva, together with a sketch of a proof of Corollary 9.4. Our argument here is different.

e = b ⊕ x b ⊕ • • • ⊕ x n-1 b ⊕ r(x n ) = b ⊕ x b ⊕ • • • ⊕ x n-1 b ⊕ r(x n+1 ) , whence r(x n ) = r(x n+1
). By applying that result to x -1 , we get d(x n ) = d(x n+1 ). By Lemma 9.1, it follows that d(x n ) = r(x n ). (ii)⇒(i). Suppose that typ S (e) has index greater than n, where e ∈ Idp S. By the definition of the index and by [28, Lemma 4-1.6], there are nonzero pairwise orthogonal idempotents e 0 , . . . , e n such that typ S (e 0 ) = typ S (e i ) whenever 0 ≤ i ≤ n. For 0 ≤ i < n, there exists x i ∈ S such that d(x i ) = e i+1 and r(x i ) = e i . Observe that x i x j = 0 iff j = i + 1, whenever 0 ≤ i, j < n.

Set x = x 0 ⊕ • • • ⊕ x n-1 . Then x n = x 0 • • • x n-1 , with d(x n ) = e n distinct from r(x n ) = e 0 .
Corollary 9.4 (G. Kudryavtseva). Let G be a group and let n and k be positive integers. Then M ⊕ k G ⊔0 satisfies the identity d(

x n ) = r(x n ) iff k ≤ n.
Proof. The idempotents of M ⊕ k G ⊔0 form a finite Boolean lattice with k pairwise D-equivalent atoms. Hence (Typ M ⊕ k G ⊔0 , typ(1)) ∼ = (Z + , k). Apply Lemma 9.3.

Definition 9.5. Let S be a Boolean inverse semigroup.

• Define the index of an element x of S as 0 if x = 0, the least positive integer n such that d(x n ) = r(x n ) if it exists and x = 0, and ∞ in all other cases (i.e., x = 0 and d(x n ) = r(x n ) for every positive integer n). • Define the index of S as the supremum of all indexes of all elements of S.

Moreover, define the index of a class C of Boolean inverse semigroups as the supremum of all indexes of all members of C. Now the following is a reformulation of Lemma 9.3. Corollary 9.6. Let S be a Boolean inverse semigroup. Then the index of S is equal to the supremum of the indexes, within the type monoid Typ S, of all elements of the type interval Int S.

Corollary 9.7. Let V be a variety of biases. Then the index of V is equal to the largest nonnegative integer n such that I n ∈ V if it exists, ∞ otherwise.

In particular, we emphasize that every variety of biases, distinct from the variety Bis of all biases, has finite index (this follows from Theorem 6.3). Furthermore, for every positive integer n, the class Bis n of all biases with index ≤ n is a variety, defined by Reilly's identity d(x n ) = r(x n ). All its subdirectly irreducible members have the form M ⊕ k G ⊔0 , where 0 < k ≤ n and G is a group. In that sense, the identity d(x n ) = r(x n ) is an analogue, for biases, of the Amitsur-Levitzki Theorem [START_REF] Shimshon | Minimal identities for algebras[END_REF] for matrix rings.

The variety order on fully group-matricial biases

In this section we finally reach the main result of the paper, Theorem 10.10, which states an isomorphism between proper varieties of biases and certain finite descending finite sequences of varieties of groups.

Notation 10.1. For a positive integer n, the n-th radical Rad n (C) of a class C of biases is defined as the class of all groups G such that M ⊕ n G ⊔0 ∈ C. Lemma 10.2. Let V be a variety of biases. Then Rad n (V) is either empty or a variety of groups, for every variety V of biases.

M ⊕ ni G i ⊔0 . Setting m = max {n i | i ∈ I}, all biases M ⊕ ni G i ⊔0
belong to the variety Bis m of all biases of index at most m, thus so does S. By Lemma 9.3, the index of typ(e) in Typ S is at most m, for every e ∈ Idp S. By [27, Corollary 3.12] (see also [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]), every element of Typ S has finite index in Typ S. By [27, Proposition 3.13] (see also [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]), the monoid Typ S is cancellative, thus (cf. Proposition 2.3) S is D-cancellative. By Lemma 8.3, there are a group G, a surjective group homomorphism ψ : G ։ G, and a bias embedding

η : M ⊕ n G ⊔0 ֒→ S such that M ⊕ n ψ ⊔0 = ϕ • η.
Since G belongs to the variety of groups generated by G, this reduces the problem to the case where S = M ⊕ n G ⊔0 . By possibly renaming the (n i , G i ), we can reduce the problem to the case where there is a bias embedding

ψ : M ⊕ n G ⊔0 ֒→ i∈I M ⊕ ni G i ⊔0 .
We may assume, in addition, that the ith component

ψ i : M ⊕ n G ⊔0 → M ⊕ ni G i ⊔0
of the map ψ is nonconstant, for every i ∈ I. By Corollary 7.3, the kernel ψ i of ψ i has the form M ⊕ n θ i ⊔0 , where θ i is the congruence of G associated to a normal subgroup H i of G. Since ψ is one-to-one, the intersection of all congruences θ i is the diagonal of G, thus the intersection of all normal subgroups H i is {1}. Now the bias homomorphisms M

⊕ n θ i ⊔0 : M ⊕ n G ⊔0 ։ M ⊕ n (G/H i ) ⊔0 and ψ i : M ⊕ n G ⊔0 → M ⊕ ni G i ⊔0 both have kernel M ⊕ n θ i ⊔0 . Since M ⊕ n θ i ⊔0 is surjective, there is a unique bias embedding τ i : M ⊕ n (G/H i ) ⊔0 ֒→ M ⊕ ni (G i ) such that ψ i = τ i • M ⊕ n θ i ⊔0
. By Lemma 7.6, it follows that n ≤ n i and G/H i embeds, as a subgroup, into G i ≀ S ⌊ni/n⌋ . Since G embeds into the product of all G/H i and each G i ≀ S ⌊ni/n⌋ belongs to G, it follows that G ∈ G.

Our next notation introduces an operator, denoted by Wr n , which sends any class of groups to either a variety of groups or the empty class. Proof. The class of all groups G such that G ≀ S n ∈ Wr n (C) contains C, and it is easily seen to be closed under subgroups, products, and homomorphic images. By Birkhoff's HSP Theorem, it is thus a variety of groups. Since it contains C, it contains Var C. Lemma 10.6. Let I be a nonempty set and let (G i | i ∈ I) be a family of group varieties. Then Wr n i∈I G i = i∈I Wr n (G i ). (The join is evaluated within the lattice Λ Grp of all varieties of groups).

Proof. Simply observe that i∈I G i = Var i∈I G i , and then use Lemma 10.5.

Lemma 10.7. Let V be a variety of biases and let m and n be positive integers. Then Wr m (Rad mn (V)) is contained in Rad n (V).

Proof. If mn is greater than the index of V, then Rad mn (V) = ∅ and the result is trivial. Suppose from now on that mn is less than or equal to the index of V. This ensures that Rad mn (V) is nonempty, so, by Lemma 10.2, it is a variety of groups. By Lemma 10.5, it thus suffices to prove that G ≀ S m belongs to Rad n (V), for each G ∈ Rad mn (V). By Lemma 7.6, M ⊕ n (G ≀ S m ) ⊔0 embeds, as a bias, into M ⊕ mn G ⊔0 , which, since G ∈ Rad mn (V), belongs to V. Hence, G ≀ S m ∈ Rad n (V), as required.

⊆ G n (because G ∈ Λ Grp ) .
Hence, G ∈ G n , which completes the proof that Rad Mat( G) = G.

In particular, since Λ Grp is Arguesian (cf. Section 2), so is Λ Bis . Similarly, Λ Bis satisfies the duals of Haiman's identities from [START_REF] Haiman | Proof theory for linear lattices[END_REF]. However, all this is already a consequence of congruence-permutability, which we established, for biases, in [START_REF]Refinement monoids, equidecomposability types, and Boolean inverse semigroups[END_REF]. Since the problem whether every lattice identity, satisfied by all normal subgroup lattices of groups, also holds in the congruence lattice of every algebra in a congruence-permutable variety (or even in the congruence lattice of any loop), is still open, it is not clear at this point whether Theorem 10.10 would yield new identities valid in Λ Bis .

Corollary 10.11. The assignment G → M ⊕ 1 G ⊔0 defines an isomorphism from Λ Grp onto a convex sublattice of Λ Bis , with smallest element the variety of all idempotent biases (i.e., generalized Boolean algebras).

In particular, by Ol'šanskiȋ's theorem quoted in Section 2, Λ Bis has cardinality the continuum.

[ 9 ,

 9 Proposition II.1.3]). The relation D takes a particularly convenient form on the idempotent elements: namely, for all a, b ∈ Idp S, the relation a D b holds iff there exists x ∈ S such that a = d(x) and b = r(x).

Proof.

  Let Typ S be cancellative and let a, b, a ′ , b ′ ∈ Idp S such that a ⊕ b D a ′ ⊕ b ′ and a D a ′ . Since typ(a) + typ(b) = typ(a ⊕ b) = typ(a ′ ⊕ b ′ ) = typ(a ′ ) + typ(b ′ ) and typ(a) = typ(a ′ ), it follows from the cancellativity of Typ S that typ(b) = typ(b ′ ), that is, b D b ′ . Suppose, conversely, that S is D-cancellative. We claim that the type interval Int S is cancellative. Let a, b, b ′ ∈ Int S such that a + b = a + b ′ within Int S. By [28, Lemma 4-1.6], there are a, a ′ ∈ a, b ∈ b, and b ′ ∈ b ′ such that a⊕ b = a ′ ⊕ b ′ . Since S is D-cancellative, it follows that b D b ′ , that is, b = b ′ , which completes the proof of our claim. Now Int S is a generating lower interval of the conical refinement monoid Typ S (cf. [28, Corollary 4-1.4]), thus, by our claim together with [28, Corollary 2-7.4], Typ S is cancellative. Now let S be unital. Suppose first that S is D-cancellative and let x ∈ S. Set

Lemma 3 . 6 .

 36 Let S be an inverse semigroup, let m, n ∈ Z + , and let x, y, a, a 1 , . . . , a m , b 1 , . . . , b n be elements of S, with a, b, a 1 , . . . , a m , b 1 , . . . , b n all idempotent. Then x a m i=1 a i ≤ y b n j=1 b j within U bis (S) iff the following statements hold:

)

  Proof. By replacing a by ad(x) and b by bd(y), we may assume without loss of generality that a ≤ d(x) and b ≤ d(y). Suppose first that the conditions (3.3) and (3.4) both hold. Set u = a m i=1 a i and v = b n j=1 b j . We must prove that xu ≤ yv within U bis (S). If a ≤ a i for some i, then u = 0, thus xu = 0 and we are done. Suppose now that a a i for all i. It follows from (3.3) that a ≤ b and xa = ya. An elementary application of Lemma 3.1, together with (3.3) and (3.4), then yields u ≤ v. Since xa = ya and u ≤ a, it thus follows that xu = yu ≤ yv. Suppose, conversely, that xu ≤ yv within U bis (S). Denote again by ρ : (S, •) → (I S , •) the Vagner-Preston completion of S. By projecting the equation xu ≤ yv onto the symmetric inverse semigroup I S , via ρ, we obtain

  Since a ≤ d(x) and b ≤ d(y), the left hand side and the right hand side of (3.5) have respective domains U = aS \ m i=1 a i S and V = bS \ n j=1 b j S , and it follows from (3.5) that U ⊆ V . By applying Lemma 3.1, within the powerset lattice of S, the latter containment implies that aS ⊆

Definition 4 . 1 .

 41 Let S be a Boolean inverse semigroup. A finite sequence (e 1 , . . . , e n ) of idempotent elements of S is homogeneous if e i e j = 0 and e i D e j , whenever i, j ∈ [1, n] with i = j. Lemma 4.2. Let n be a positive integer, let S and T be Boolean inverse semigroups with S an additive ideal of T , and let (e 1 , . . . , e n ) be a homogeneous sequence in T . Set e = n i=1 e i . Then eSe ∼ = M ⊕ n (e 1 Se 1 ). Proof. For each i ∈ [1, n], we pick c i ∈ T such that d(c i ) = e 1 and r(c i ) = e i . We may assume that c 1 = e 1 . Let ϕ : eSe → M ⊕

Lemma 4 . 3 .

 43 Let S be a Boolean inverse semigroup and let m and n be positive integers. Then M ⊕ mn (S) ∼ = M ⊕ n M ⊕ m (S) .

  1 = typ S (1) = typ S (a) + typ S (1 -a), thus either typ S (a) = 0 or typ S (1 -a) = 0, that is, either a = 0 or a = 1. It follows that G = def S \ {0} is a group and S ∼ = G ⊔0 . Now we deal with the general case. Since the idempotent elements of M ⊕ m G ⊔0 form a Boolean algebra with m atoms, all pairwise D-equivalent (cf. Proposition 2.1), we get the isomorphism Typ M ⊕ m G ⊔0 , typ(1) ∼ = (Z + , m). Let, conversely, S be a Boolean inverse monoid such that (Typ S, typ(1)) ∼ = (Z + , m). It follows from [28, Lemma 4-1.6] that there is a decomposition 1 = e 1 ⊕ • • • ⊕ e m with each typ(e i ) = 1. In particular, (e 1 , . . . , e m ) is a homogeneous sequence in S. By Lemma 4.2, it follows that S ∼ = M ⊕ m (e 1 Se 1 ). By (the proof of) [28, Theorem 4-2.6], the following isomorphism holds: Typ(e 1 Se 1 ), typ e1Se1 (e 1 ) ∼ = Z + , 1 . (4.1)

  an additive ideal of S, for every n ∈ Z + . Obviously, n∈Z + I n = {0}. On the other hand, for every n ∈ Z + , both elements a 0 [[n], 1] = a n and e 0 [[n], 1] = e n belong to I n , thus the pair (a 0 , b 0 ) belongs to the intersection of all θ In , with a 0 = b 0 . Definition 5.3. A conical commutative monoid M is prime if M \{0} is downward directed.

Lemma 5 . 5 .

 55 Let S be a finitely subdirectly irreducible bias. Then the type monoid Typ S is prime. Proof. It suffices to prove that for any nonzero idempotent elements a and b of S, there exists a nonzero element of Typ S below typ S (a) and typ S (b). Denote by I(x) the additive ideal of S generated by {x}, for any x ∈ S. Then θ I(a) and θ I(b) are both nonzero congruences of S, thus, since S is finitely subdirectly irreducible, the intersection θ I(a) ∩ θ I(b) is a nonzero congruence of S. By Lemma 5.1, we get I(a) ∩ I(b) = {0}. The subsets I a = x ∈ Typ S | (∃n ∈ N)(x ≤ + n • typ S (a)) , I b = x ∈ Typ S | (∃n ∈ N)(x ≤ + n • typ S (b)) of Typ S are both o-ideals of Typ S. By [28, Proposition 4-2.4], the subsets J(a) = {x ∈ S | typ S (x) ∈ I a } , J(b) = {x ∈ S | typ S (x) ∈ I b } are both additive ideals of S. Since a ∈ J(a) and b ∈ J(b), it follows that I(a) ⊆ J(a) and I(b) ⊆ J(b). (Actually, with a small additional effort, it is not hard to get I(a) = J(a) and I(b) = J(b).) Hence, J(a) ∩ J(b) = {0}, and hence there are a positive integer n and c ∈ (Typ S) \ {0} such that c ≤ + n typ S (a), n typ S (b). Since Typ S is a conical refinement monoid, it has, by Lemma 5.4, a nonzero element below typ S (a) and typ S (b).

Lemma 6 . 1 .

 61 Let M be a nonzero conical refinement monoid. If M is prime and every element of M has finite index, then M ∼ = Z + .

Lemma 8 . 2 .

 82 Let θ be an additive congruence of a D-cancellative Boolean inverse semigroup S, let a, b ∈ Idp S such that aD S b, and let x ∈ S/θ such that d(x) = a/θ and r(x) = b/θ. Then there exists x ∈ x such that d(x) = a and r(x) = b. Proof. Pick y ∈ x. It follows from our assumptions that d(y) ≡ θ a and r(y) ≡ θ b. Set u = def d(y) and v = def r(y). The elements u ′ = def uay -1 by and v

Lemma 9 . 2 .

 92 Let S be a Boolean inverse semigroup and let x, e ∈ S with e idempotent. Then typ S (x e ) ≤ + typ S (e) within Typ S. Proof. d(xe) = d(x)e ≤ e, while r(xe) = x e , so typ S (x e ) = typ S (r(xe)) = typ S (d(xe)) ≤ + typ S (e).

Lemma 9 . 3 .

 93 The following are equivalent, for any Boolean inverse semigroup S and every positive integer n:(i) typ S (e) has index at most n in Typ S, for every e ∈ Idp S;(ii) d(x n ) = r(x n ) for every x ∈ S.Proof. (i)⇒(ii). Set e = def d(x)∨r(x) and b = e r(x). Then e = b ⊕ r(x) = b ⊕ x e , thus r(x) = x e = x b ⊕ x 2 e , so e = b ⊕ x b ⊕ x 2 e , and so on. By an easy induction argument, we thus get e = b ⊕ x b ⊕ • • • ⊕ x k b ⊕ r(x k+1 ) , for every k ∈ Z + . (9.2) By Lemma 9.2, it follows that (k + 1) • typ S (x k b ) + typ S (r(x k+1 )) ≤ + typ S (e). Hence, taking k = n and by assumption on the index of typ S (e), we get x n b = 0. By applying (9.2) to k = n and k = n + 1, we thus get

Notation 10 . 4 .

 104 For a class C of groups and a positive integer n, we denote by Wr n (C) the variety of groups generated by {G ≀ S n | G ∈ C} if C = ∅, the empty class otherwise. Lemma 10.5. Let C be a nonempty class of groups and let n be a positive integer. Then Wr n (C) = Wr n (Var C).

Notation 10 . 8 .Lemma 10 . 9 .⊆

 108109 Denote by Λ Grp the set of all descending sequences (G n | n ∈ N) of elements of Λ Grp ∪ {∅}, such that only finitely G n are nonempty, and Wr m (G mn ) is contained in G n for all positive integers m and n. We order Λ Grp componentwise:(G n | n ∈ N) ≤ (H n | n ∈ N) if G n ⊆ H n for every n ∈ N.For every V ∈ Λ Bis \ {Bis}, we setRad (V) = def (Rad n (V) | n ∈ N) .Conversely, for every sequenceG = (G n | n ∈ N) in Λ Grp , we set Mat( G) = def n∈N M ⊕ n G n ⊔0 ,where the join is evaluated within Λ Bis ∪ {∅}, the empty join is by convention the trivial variety, and M ⊕ n G n ⊔0 denotes the variety of biases generated by the classM ⊕ n G ⊔0 | G ∈ G n if G n = ∅,the empty class otherwise. A straightforward application of Lemma 10.6 yields the following. The poset Λ Grp is a sublattice of (Λ Grp ∪ {∅}) N . Theorem 10.10. The assignments Rad and Mat define mutually inverse lattice isomorphisms between Λ Bis \ {Bis} and Λ Grp . Consequently, Λ Bis ∼ = Λ Grp ⊔ {∞}. Proof. Let V be a proper variety of biases. Denote by h the index of V and set G n = Rad n (V) for every n ∈ N. It follows from the above, together with Lemma 10.7, that the sequence Rad (V) = (G n | n ∈ N) belongs to Λ Grp . It follows from the definition of G n that M ⊕ n G n ⊔0 is contained in V, for every n ∈ N. Conversely, since, by Theorem 6.3, the variety V is generated by its fully group-matricial members, it is contained in the join of all M ⊕ n G n ⊔0 . This proves that V = Mat(Rad (V)). Let, conversely, G = (G n | n ∈ N) ∈ Λ Grp , and denote by h the largest nonnegative integer such that G n = ∅ whenever 1 ≤ n ≤ h. (The value h = 0 is possible, in which case all G n = ∅.) The class V = Mat( G) is, by definition, a variety of biases. Set G ′ n = Rad n (V) for every n ∈ N. By definition,G n ⊆ G ′ n . Let, conversely, G ∈ G ′ n ; that is, M ⊕ n G ⊔0 belongsto the variety of biases generated by all M ⊕ k H ⊔0 , where 1 ≤ k ≤ h and H ∈ G k . By Lemma 10.3, G belongs to the variety of groups generated by all H ≀ S ⌊k/n⌋ , where n ≤ k ≤ h and H ∈ G k . Now for each such pair (k, H), H ≀ S ⌊k/n⌋ ∈ Wr ⌊k/n⌋ (G k ) (by the definition of Wr ⌊k/n⌋ (G k )) Wr ⌊k/n⌋ G n⌊k/n⌋ (because n⌊k/n⌋ ≤ k)

unital member S of V is a subdirect product of subdirectly irreducible members of V, which are all homomorphic images of S, thus they are all unital. Hence, V is generated by the class of its unital subdirectly irreducible members, so it suffices to prove that every unital subdirectly irreducible member S of V belongs to K.

By Lemma 5.5, Typ S is a prime conical refinement monoid. Further, by (2) above, every element of Typ S has finite index in Typ S. By Lemma 6.1, it follows that Typ S ∼ = Z + . Identifying Typ S with Z + and setting n = typ S (1), it follows from Lemma 4.4 that S ∼ = M ⊕ n G ⊔0 for some group G.

Generalized rook matrices and wreath products of groups

The main aim of this section is to relate embedding properties of fully groupmatricial biases and embedding properties of the corresponding groups (Lemma 7.6). Owing to Lemma 7.4, the latter will be stated in terms of wreath products by finite symmetric groups.

The proof of the following lemma is a straightforward application of [28, Section 3.5] together with the equivalence between bias homomorphism and additive semigroup homomorphism, and we leave it to the reader. Lemma 7.1. Let S and T be Boolean inverse semigroups and let n be a positive integer. Then for every bias homomorphism f : S → T , the assignment

Lemma 7.2. Let S be a Boolean inverse semigroup and let n be a positive integer. Then every additive congruence α of S gives rise to a unique additive congruence

) for all (x i,j

Conversely, every additive congruence of M ⊕ n (S) has the form M ⊕ n (α) for a unique additive congruence α of S. In particular, the assignment α → M ⊕ n (α) defines an isomorphism from Con S onto Con M ⊕ n (S). Proof. The canonical projection α : S ։ S/α is a bias homomorphism, which, by Lemma 7.1, induces a bias homomorphism M ⊕ n (α) :

, and it is given by (7.1). Observe that

for all i, i ′ , j, j ′ ∈ [n] and all x, a ∈ S with a idempotent and d(x) ∨ r(x) ≤ a. Now let θ be an additive congruence of M ⊕ n (S). The equivalence relation α on S defined by

x ≡ α y ⇔ x (1,1) ≡ θ y (1,1) , for all x, y ∈ S , is an additive congruence of S, and it follows from the above that

x ≡ α y ⇔ x (i,j) ≡ θ y (i,j) , for all x, y ∈ S and all i, j ∈

, the relation x i,j ≡ α y i,j holds, that is, by definition and by (7.2), (x i,j ) (i,j) ≡ θ (y i,j ) (i,j) . Since x = (i,j)∈[n]×[n] (x i,j ) (i,j) and similarly for y, it follows that x ≡ θ y. Suppose, conversely, that x ≡ θ y and let e be an idempotent element of S such that i,j d(x i,j ) ∨ i,j r(x i,j ) ≤ e. Let i, j ∈ [n]. From x ≡ θ y it follows that e (i,i) xe (j,j) ≡ θ e (i,i) ye (j,j) , that is, (x i,j ) (i,j) ≡ θ (y i,j ) (i,j) , thus, by (7.2), x i,j ≡ α y i,j . Therefore, x ≡ M ⊕ n (α) y, thus completing the proof of our claim. Finally, since the map α → M ⊕ n (α) is clearly one-to-one, it defines an isomorphism from Con S onto Con M ⊕ n (S). Taking S = G ⊔0 for a group G, we get two types of congruences in S:

(1) The congruences of the form θ ⊔0 = θ ∪ {(0, 0)}, for a congruence θ of the group G;

In turn, the congruences of the group G are in one-to-one correspondence with the normal subgroups of G. Denoting by NSub G the lattice of all normal subgroups of G, we thus obtain the following corollary to Lemma 7.2.

Corollary 7.3. Let G be a group and let n be a positive integer. Then

Our next series of lemmas will focus on bias homomorphisms between fully groupmatricial biases.

Lemma 7.4. Let G be a group and let n be a positive integer. Then the group of all invertible elements of M ⊕ n G ⊔0 is isomorphic to the wreath product G ≀ S n . Proof. The group homomorphism G → {1} extends to an additive semigroup homomorphism, that is, a bias homomorphism, G ⊔0 → {0, 1}, which, by Lemma 7.1, extends to a bias homomorphism

thus it is a permutation matrix, that is, denoting by S n the group of all permutations of [n],

where δ denotes Kronecker's symbol. It follows that there is a finite sequence (g 1 , . . . , g n ) ∈ G n such that

Denoting by [g 1 , . . . , g n ; σ] the right hand side of (7.3), the product of two such elements is given by

so the elements of the form [g 1 , . . . , g n ; σ] form a subgroup of the monoid M ⊕ n G ⊔0 , isomorphic to the wreath product G ≀ S n . By the above, this subgroup contains all invertibles of M ⊕ n G ⊔0 , thus it consists exactly of all invertibles of M ⊕ n G ⊔0 . Lemma 7.5. Let G and H be groups and let n be a positive integer. Then G ⊔0 embeds, as a bias, into M ⊕ n H ⊔0 , iff G embeds, as a subgroup, into the wreath product H ≀ S n .

We can now state the promised projectivity statement for fully group-matricial biases.

Lemma 8.3. Let S be a D-cancellative Boolean inverse semigroup, let n be a positive integer, let H be a group, and let ϕ : S ։ M ⊕ n G ⊔0 be a surjective bias homomorphism. Then there are a group G, a surjective group homomorphism ψ : G ։ G, and a bias embedding

The situation is illustrated on Figure 8.1.

denote by e i,j the element of M ⊕ n G ⊔0 with (i, j)th entry equal to 1 and all other entries equal to 0. By Lemma 8.1, there is a system (a i,j ) (i,j)∈[n]×[n] of matrix units in S such that each ϕ(a i,j ) = e i,j . The subset

We claim that ψ is surjective. Observe first that the kernel ϕ of ϕ is an additive congruence of S. Let g ∈ G. Since ϕ is surjective, there exists y ∈ S such that ϕ(y) = g (1,1) . Set x = y/ϕ. Since

we get d(y) ≡ ϕ a 1,1 , and similarly, r(y) ≡ ϕ a 1,1 . Hence, d(x) = r(x) = a 1,1 /ϕ. By Lemma 8.2, there exists x ∈ x such that d(x) = r(x) = a 1,1 ; so x ∈ G. Moreover, ϕ(x) = ϕ(y) (because x belongs to x = y/ϕ) = g (1,1) , that is, ψ(x) = g, thus proving our claim.

For every x ∈ M ⊕ n G ⊔0 , it is not hard to verify that the elements a i,1 x i,j a 1,j , for (i, j) ∈ [n] × [n], are pairwise orthogonal. This enables us to set

Elementary calculations show that η is an additive semigroup homomorphism, that is, a bias homomorphism, from M ⊕ n G ⊔0 to S. Furthermore, for every x ∈ G ⊔0 ,

The desired conclusion follows then from Birkhoff's HSP Theorem. By Corollary 9.7, Rad n (V) is nonempty iff n is less than or equal to the index of the variety V. Also, observe that trivially, Rad n+1 (V) ⊆ Rad n (V). The following lemma is the main technical result of this section. Proof. Suppose first that n ≤ n o for some o ∈ I. We must prove that M ⊕ n G ⊔0 belongs to V, for each G ∈ G; that is, we must prove that G is contained in Rad n (V).

Let i ∈ I with n ≤ n i . It follows from Lemma 7.6 that G i ≀ S ⌊ni/n⌋ belongs to Rad n (V). By Lemma 10.2, it follows that G is contained in Rad n (V).

Suppose, conversely, that M ⊕ n G ⊔0 belongs to V. By Birkhoff's HSP Theorem, there are a Boolean inverse semigroup S and a surjective bias homomorphism ϕ : S ։ M ⊕ n G ⊔0 such that S embeds into a product of biases of the form