FRIEDRICH WEHRUNG
Abstract. 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.

1. 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. [25]). These objects have been for the last decade an active topic of research, see, for example, [13, 15, 16, 17, 18]. 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
and ▽ (cf. (2.1)
operation. The author introduced in [28] two full operations
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 [28] that the variety
⊘

⊘

arXiv:1610.07447v1 [math.GR] 24 Oct 2016

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

Date: January 30, 2018.
2010 Mathematics Subject Classification. 20M18; 08B10; 08B15; 06F05; 08A30; 08A55; 08B05;
08B20; 20E22; 20M14.
Key words and phrases. 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.
1

2

F. WEHRUNG

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 Gn , where Gn (which we will call the
n-th radical of V, see Notation 10.1) is the variety of all groups G such that the
⊔0
of all generalized rook matrices of order n over the Boolean inverse
bias M⊕
n G
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
⊔0
.
exactly the finite products of monoids of the form M⊕
n G

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,

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

3

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 (Gk | 1 ≤ k ≤ n) of varieties of groups, such that for all positive integers k, l with kl ≤ n and every G ∈ Gkl ,
the wreath product G ≀ Sk belongs to Gl .
The sequence (Gk | 1 ≤ k ≤ n) associated to a variety V of biases is given as
follows: n is the largest nonnegative integer such that In ∈ V (the index of V, see
Definition 9.5) and whenever 1 ≤ k ≤ n, the k-th radical Gk is the variety of all
⊔0
groups G such that the bias M⊕
, of all generalized rook matrices of order k
k G
⊔0
over the bias G , belongs to V.
2. Basic concepts
An inverse semigroup (cf. [9, 14]) 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
xL y

if

d(x) = d(y) ;

xRy

if

r(x) = r(y) ,

D = L ◦R = R ◦L (cf. [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).
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.
For any elements x and y in a Boolean inverse semigroup S such that the meet
x ∧ y exists, we denote by x r y the unique element such that x = (x ∧ y) ⊕ (x r y).
Observe, in particular, that x r 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 In , for nonnegative integers n, consisting of all partial one-to-one
functions on the set [n] = {1, 2, . . . , n} under composition.

4

F. WEHRUNG

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 a0 , a1 , b0 , b1 ∈ M such that a0 + a1 = b0 + b1 ,
there are elements ci,j ∈ M , for i, j ∈ {0, 1}, such that each ai = ci,0 + ci,1
and each bi = c0,i + c1,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+ = {x ∈ G | 0 ≤ x} is a refinement
def

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 [28], we shall write typS (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 =
(xi,j )(i,j)∈[n]×[n] with entries in S is a generalized rook matrix of order n (cf. [26,
−1
§ 4.5], [13], also [28, Section 3.5]) if the equalities x−1
i,j xi,k = xj,i xk,i = 0 hold
whenever i, j, k ∈ [n] with j 6= k. The generalized rook matrices of order n over a
Boolean inverse semigroup S form a Boolean inverse semigroup, denoted as in [28]
by M⊕
n (S). As in [28], 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 [28, Proposition 3-5.3].
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.
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′ .

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

5

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
u = 1 r d(x) and v = 1 r 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 r (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′ .


x ▽ y = (x

⊘

⊘

⊘

Every Boolean inverse semigroup S can be endowed with the skew difference
and the skew addition ▽, respectively defined by


x y = r(x) r r(y) x d(x) r d(y) ,
(2.1)
y) ⊕ y ,

(2.2)

−1

⊘

⊘

⊘

for all x, y ∈ S. We prove in [28] that the structures (S, 0, , ·, , ▽) can then be
axiomatized by a finite number of identities, whose models are called biases. We
prove in [28] 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 [28],
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. [19]) 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 asthe 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

6

F. WEHRUNG

map which to each f ∈ F, with arity n, associates a map f A : An → 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 [3, 6, 19]. A standard
reference for varieties of groups is Neumann’s monograph [22]. 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 [3, 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. [11] and [7, Theorem 410]), and since the Arguesian identity is self-dual (cf. [12]), 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 [8]. For more on identities satisfied by normal
subgroup lattices of groups or congruence lattices in algebras from congruencepermutable varieties, we refer the reader to [2, 5].
On the cardinality side, it is known since Ol′ šanskiı̆ that there are continuum
many varieties of groups [23].
We denote by Var(C) the variety of groups generated by a class C of groups, and
set Var(G) = Var({G}) for any group G.
def

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, . . . }.
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 (arb)∧(crd) =
(a ∧ c) r (b ∨ d). Furthermore, a r b ≤ c r d iff a ≤ b ∨ c and a ∧ d ≤ b.
Since every inverse semigroup S has a semigroup embedding into a bias T such
that 0T ∈
/ S (use the Vagner-Preston Theorem), the canonical map from S to
its universal bias Ubis (S) is a semigroup embedding with 0 ∈
/ S, and we shall thus

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

7

assume that this embedding is an inclusion map. Therefore, S is an inverse subsemigroup of Ubis (S), generating Ubis (S) as a bias, and every semigroup homomorphism
from S to a bias T extends to a (unique) bias homomorphism from Ubis (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
n
M
xi ai , where n ∈ Z+ , a1 , . . . , an ∈ B , and x1 , . . . , xn ∈ S .
(3.1)
x=
i=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 7→ 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.
L
L
Let x be written as in (3.1). Then d(x) = ni=1 d(xi ai ) = ni=1 d(xi )ai belongs
to B. It follows that Idp ∆⊕ ⊆ B. On the W
other hand, for every a ∈ B, there
W are
n ∈ Z+ and a0 , . . . , an−1 ∈ S such that a ≤ i<n ai . Setting bi = a ∧ (ai r j<i aj )
for all i < n, we get
M
M
ai bi ∈ ∆⊕ ,
bi =
a=
i<n

i<n

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 Ubis (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
ni
n


_
M
bi,j ,
xi ai r
x=
(3.2)
j=1
i=1
where all xi ∈ S , all ai , bi,j ∈ Idp S , all bi,j ≤ ai , and all ai ≤ d(xi ) .
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 isWclosed under finite
ni
meets, a is a finite orthogonal join of elements of the form ai r j=1
bi,j . Replacing
each ai by ai d(xi ) and each bi,j by ai d(xi )bi,j , we get the desired conclusion. 

8

F. WEHRUNG

+
Lemma 3.5. Let S be an inverse semigroup, let n ∈ ZW
, and let x, x1 , . . . , xn ∈ S
n
such that the xi are pairwise compatible. Then x ≤ i=1 xi , within Ubis (S), iff
x ≤ xi for some i.

Wn
Proof. We prove the nontrivial direction. Suppose that x ≤ i=1 xi within Ubis (S).
Denote by ρ : (S, ·) → (IS , ◦) the inverse semigroup embedding given by the VagnerPreston 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)) = xi d(x), that is,
x ≤ xi .

Lemma 3.6. Let S be an inverse semigroup, let m, n ∈ Z+ , and let x, y, a, a1 , . . . ,
am , b 1 , . . . , W
bn be elements
of W
S, with a, b, a1 , . . . , am , b1 , . . . , bn all idempotent.

n
≤
y
b
r
Then x a r m
a
i
j=1 bj within Ubis (S) iff the following statements
i=1
hold:

there is i ∈ [1, m] such that ad(x) ≤ ai 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)bj ≤ ai .

(3.4)

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).
Wm
Suppose first
Wn that the conditions (3.3) and (3.4) both hold. Set u = a r i=1 ai
and v = b r j=1 bj . We must prove that xu ≤ yv within Ubis (S).
If a ≤ ai for some i, then u = 0, thus xu = 0 and we are done. Suppose now
that a  ai 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 Ubis (S). Denote again by ρ : (S, ·) →
(IS , ◦) the Vagner-Preston completion of S. By projecting the equation xu ≤ yv
onto the symmetric inverse semigroup IS , via ρ, we obtain
n
m




[
[
idbj S ,
idai S ⊆ ρy ◦ idbS r
ρx ◦ idaS r

(3.5)

j=1

i=1

where the containment symbol, between partial functions, means extension and
the union symbol, applied to partial functions, means the least common extension.
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

ai S and V = bS \

n
[

j=1

bj S ,

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

9

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 ⊆
aS ∩

n
[

bj S ⊆

m
[

i=1
m
[

ai S ∪ bS ,

(3.6)

ai S .

(3.7)

i=1

j=1

Observing that a belongs to the left hand side of (3.6), we obtain that
a ≤ ai for some i ∈ [1, m] or a ≤ b ,

(3.8)

for each j there exists i such that abj ≤ ai .

(3.9)

Furthermore, suppose that a  ai 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(x1 , . . . , xn ) and q(x1 , . . . , xn ) be terms in the similarity
type of biases. Then there is a positive quantifier-free formula r(x1 , . . . , xn ), in the
similarity type of inverse semigroups, such that for every inverse semigroup S and
all elements x1 , . . . , xn ∈ S, Ubis (S) satisfies p(x1 , . . . , xn ) = q(x1 , . . . , xn ) iff S
satisfies r(x1 , . . . , xn ).
Proof. Set ~x = (x1 , . . . , xn ). 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 Σ = {x1 , . . . , xn }. Due to the Vagner-Preston Theorem, every inverse semigroup embeds into a bias, thus the canonical map from Finv (Σ) into Fbis (Σ) is oneto-one. Applying Lemma 3.4 to the inclusion Finv (Σ) ֒→ Fbis (Σ), we obtain, for
every bias term u(~x), nonnegative integers mu and nu,i together with elements sui (~x)
in Finv (Σ), for 1 ≤ i ≤ mu , and idempotent elements aui (~x) and bui,j (~x) in Finv (Σ),
for 1 ≤ i ≤ mu and 1 ≤ j ≤ nu,i , such that the relations
bui,j (~x) ≤ aui (~x) ,
aui (~x)

≤

u(~x) =

(3.10)

d(sui (~x)) ,
mu
M
i=1

(3.11)
nu,i



_
bui,j (~x)
sui (~x) aui (~x) r

(3.12)

j=1

all hold in Fbis (Σ), thus in every bias.
In particular, for every bias S and every finite sequence ~x = (x1 , . . . , xn ) ∈ S n ,
the inequality p(~x) ≤ q(~x) is equivalent to the conjunction of all inequalities
nq,k
mq
np,i




_ q
_
_ p
bk,l (~x) ,
sqk (~x) aqk (~x) r
bi,j (~x) ≤
spi (~x) api (~x) r
j=1

k=1

l=1

(3.13)

10

F. WEHRUNG

for 1 ≤ i ≤ mp . By virtue of (3.10) and (3.11), each inequality (3.13) is, in turn,
equivalent to the conjunction of all the inequalities
np,i

api (~x) r

_

bpi,j (~x) ≤

j=1

mq 
_

nq,k

aqk (~x) r

_

l=1

k=1


bqk,l (~x) ,

nq,i′
np,i



_ q
_ p
bi′ ,j (~x) ≤ sqi′ (~x) ,
bi,j (~x) aqi′ (~x) r
spi (~x) api (~x) r

(3.14)

(3.15)

j=1

j=1

where 1 ≤ i ≤ mp and 1 ≤ i′ ≤ mq . By [28, Lemma 5-2.13], V
the inequality
W (3.14)
can be expressed by a conjunction of formulas of the form k∈X ck ≤ k∈X
/ ck ,
where the ck are parameters, in Idp S, among the api (~x), bpi,j (~x), aqi′ (~x), bqi′ ,j ′ (~x).
Since Idp S is closed under finite
W meets (i.e., products), this reduces to a conjunction
of formulas of the form c ≤ k ck , where c and the ck are idempotent elements
in Idp S. By Lemma 3.5, each such formula is equivalent to the disjunction of
the formulas c ≤ ck . Hence, we can express the inequality (3.14) by a positive
quantifier-free formula with parameters from Idp Finv (Σ). 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 IN , 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 Fbis (Σ)
on Σ, such that x 6= y. We need to find a positive integer N and a bias homomorphism ϕ : Fbis (Σ) → IN such that ϕ(x) 6= ϕ(y). Write x = p(x1 , . . . , xn ) and
y = q(x1 , . . . , xn ), for bias terms p and q and elements x1 , . . . , xn ∈ Σ, 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(x1 , . . . , xn )
does not hold in the free inverse semigroup Finv (Σ). Since, by Munn’s Theorem [21],
Finv (Σ) is residually finite, there are a finite inverse semigroup T and a homomorphism ψ : Finv (Σ) → T such that the formula
r(ψ(x1 ), . . . , ψ(xn ))
does not hold in T . Again by Proposition 3.7 and denoting by ψ : Fbis (Σ) → Ubis (T )
the unique extension of ψ to a bias homomorphism, this means that
r(ψ(x1 ), . . . , ψ(xn ))
holds within Ubis (T ); that is, ψ(x) 6= ψ(y) within Ubis (T ). Now by Corollary 3.3,
Ubis (T ) is a finite bias, thus, by the Lawson-Lenz duality from [17] (see also [28,
Section 3-3]), there are a positive integer N and a bias embedding θ : Ubis (T ) ֒→ IN .
Set ϕ = θ ◦ ψ. Then ϕ(x) 6= ϕ(y), which completes the proof that Fbis (Σ) is
residually finite. By McKinsey’s work [20], it follows that if Σ is finite, then the
word problem for Fbis (Σ) is decidable.


VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

11

4. 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.
Definition 4.1. Let S be a Boolean inverse semigroup. A finite sequence (e1 , . . . , en )
of idempotent elements of S is homogeneous if ei ej = 0 and ei D ej , whenever
i, j ∈ [1, n] with i 6= j.
Lemma 4.2. Let n be a positive integer, let S and T be Boolean inverse semigroups
with S an
ideal of T , and let (e1 , . . . , en ) be a homogeneous sequence in T .
Ladditive
n
Set e = i=1 ei . Then eSe ∼
= M⊕
n (e1 Se1 ).

Proof. For each i ∈ [1, n], we pick ci ∈ T such that d(ci ) = e1 and r(ci ) = ei . We
⊕
may assume that c1 = e1 . Let ϕ : eSe → M⊕
n (e1 Se1 ) and ψ : Mn (e1 Se1 ) → eSe
be the maps given by
 −1

c1 xc1 c−1
c−1
1 xc2 . . .
1 xcn
c−1 xc1 c−1 xc2 . . . c−1 xcn 
2
2
 2

ϕ(x) =  .
..
..  , for each x ∈ eSe ,
..
 ..
.
.
. 
c−1
n xc1

and


ψ (xi,j )(i,j)∈[n]×[n] =

c−1
n xc2

M

...

c−1
n xcn

⊕
ci xi,j c−1
j , for each (xi,j )(i,j)∈[n]×[n] ∈ Mn (e1 Se1 ) .

(i,j)∈[n]×[n]

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 Se in which
every element has the form (1 r e) ⊕ x, where e ∈ Idp S and x ∈ S, and such that
Se = S if S is unital. In particular (cf. [28, Proposition 6-6.5]), S is an additive
e is the two-element inverse semigroup.
ideal of Se and if S is not unital, then S/S

Lemma 4.3. Let S be a Boolean inverse
 semigroup and let m and n be positive
⊕
∼ ⊕
integers. Then M⊕
mn (S) = Mn Mm (S) .
 
⊕
e
Proof. Observe, first, that M⊕
mn (S) is an additive ideal of Mmn S . Whenever
 
e
1 ≤ i ≤ mn, we denote by ai the diagonal matrix, in M⊕
mn S , with unique
L
nonzero entry at (i, i), equal to 1. Setting ek = km
i=1+(k−1)m ai , the finite sequence
 
⊕
e
(e1 , . . . , en ) is homogeneous in M⊕
mn S , and e1 Mmn (S) e1 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.
⊔0
for some group G.
Then (Typ S, typS (1)) ∼
= M⊕
= (Z+ , m) iff S ∼
m G

12

F. WEHRUNG

Proof. We start with the case where m = 1. Since G⊔0 has exactly one nontrivial
idempotent, we get the isomorphism (Typ G⊔0 , typG⊔0 (1)) ∼
= (Z+ , 1). Suppose,
+
∼
conversely, that (Typ S, typS (1)) = (Z , 1). For any a ∈ Idp S, 1 = typS (1) =
typS (a) + typS (1 − a), thus either typS (a) = 0 or typS (1 − a) = 0, that is, either
a = 0 or a = 1. It follows that G = S \ {0} is a group and S ∼
= G⊔0 .
def

⊔0
Now we deal with the general case. Since the idempotent elements of M⊕
m G
form a Boolean algebra with m atoms, all pairwise
D-equivalent
(cf. Proposi

⊔0
+
∼
G
,
typ(1)
(Z
,
m).
Let, contion 2.1), we get the isomorphism Typ M⊕
=
m
+
versely, 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 = e1 ⊕ · · · ⊕ em with
each typ(ei ) = 1. In particular, (e1 , . . . , em ) is a homogeneous sequence in S. By
Lemma 4.2, it follows that S ∼
= M⊕
m (e1 Se1 ). By (the proof of) [28, Theorem 4-2.6],
the following isomorphism holds:


(4.1)
Typ(e1 Se1 ), type1 Se1 (e1 ) ∼
= Z+ , 1 .
By the first part of the present proof, it follows
that e1 Se1 ∼
= G⊔0 for some group G.

⊕
⊕
⊔0
∼
∼

Therefore, S = Mm (e1 Se1 ) = Mm G .

In [16, 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 isomor⊔0
phic to M⊕
, for some positive integer n and some group G.
n 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
W by θ the restriction of Green’s equivalence relation D to A. The elements
ea = a, for a ∈ A/θ, are all idempotent, and they satisfy the relation
M
1=
(ea | a ∈ A/θ) within S .
(4.2)
We claim that ea 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
a ∪ {0}, and thus it lies below ea . It follows that the element
L to −1
xea x−1 =
xpx | p ∈ a lies below ea . Hence,
xea = xx−1 xea = xea x−1 x ≤ ea x .

The proof that ea x ≤ xea is symmetric. This completes the proof
Q of our claim.
By virtue of (4.2), this yields a direct decomposition S ∼
= a∈P/θ ea S, thus
reducing the problem to the case where θ has exactly one equivalence class. Thus,
denoting by e1 , . . . , en the distinct atoms of B, the finite sequence (e1 , . . . , en ) is
homogeneous. By Lemma 4.2, S ∼
= M⊕
n (e1 Se1 ). Since e1 is the only nontrivial

idempotent in e1 Se1 , we get e1 Se1 ∼
= G⊔0 for some group G.

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

13

Alternatively, Proposition 4.6 can also be obtained from [16, Theorem 4.18](1),
by decomposing the groupoid obtained there into its connected components, then
using Lemma 4.2 as above.
5. 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 r z, y r 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 r u, y r u} ⊆ I
and {x r v, y r 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 r u = (x r w) ⊕ (w r u) it follows that x r w ≤ x r u, thus, since x r u ∈ I, we
get x r w ∈ I. Likewise, x r w ∈ J, so x r w ∈ I ∩ J. Likewise, y r 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 monoidTS, with an infinite descending
T
sequence (In | n ∈ Z+ ) of additive ideals such that n∈Z+ In = {0}, yet n∈Z+ θIn
is not the identity congruence.
Proof. The example in question is the one of [28, Example 3-3.5]. 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 Nx = G
if x is finite, and Nx = {1} if x is cofinite. For g, h ∈ G and x ∈ B, let g ≡x h hold
if g ≡ h (mod Nx ). 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
an = [N \ [n], g] ,
en = [N \ [n], 1] ,
+

for every n ∈ Z . The set In = {[x, h] ∈ S | x ∩ [n] = ∅} is an additive ideal
def T
of S, for every n ∈ Z+ . Obviously, n∈Z+ In = {0}. On the other hand, for every

14

F. WEHRUNG

n ∈ Z+ , both elements a0 r [[n], 1] = an and e0 r [[n], 1] = en belong to In , thus

the pair (a0 , b0 ) belongs to the intersection of all θIn , with a0 6= b0 .
Definition 5.3. A conical commutative monoid M is prime if M \{0} is downward
directed.
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 .
(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 [28], it is easy to construct finitely
subdirectly irreducible Boolean inverse monoids that are not subdirectly irreducible.
Lemma 5.5. 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 typS (a) and typS (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) 6= {0}. The subsets

I a = x ∈ Typ S | (∃n ∈ N)(x ≤+ n · typS (a)) ,

I b = x ∈ Typ S | (∃n ∈ N)(x ≤+ n · typS (b))
of Typ S are both o-ideals of Typ S. By [28, Proposition 4-2.4], the subsets
J(a) = {x ∈ S | typS (x) ∈ I a } ,
J(b) = {x ∈ S | typS (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) 6= {0}, and hence there
are a positive integer n and c ∈ (Typ S) \ {0} such that c ≤+ n typS (a), n typS (b).
Since Typ S is a conical refinement monoid, it has, by Lemma 5.4, a nonzero element
below typS (a) and typS (b).

6. 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, [28]) 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.
Lemma 6.1. Let M be a nonzero conical refinement monoid. If M is prime and
every element of M has finite index, then M ∼
= Z+ .

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

15

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 6= 0, there are x0 , x1 ∈ M \ {0} such
that x = x0 + x1 . Since M is prime, there is y 6= 0 such that y ≤+ x0 and y ≤+ x1 .
It follows that 2y ≤+ x. Arguing inductively, we find n ∈ Z+ and z ∈ (0, a] such
that 2n is greater than the index of a and 2n 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 6= 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 7→ 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 Ih ∈ V. Furthermore, h is
the largest possible value of the index of typS (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), (2). If In ∈ 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 Ih ∈ V. Moreover, either h = 0 and Typ Ih = {0}, or h > 0 and
(Typ Ih , typIh (1)) ∼
= (Z+ , h). It follows that the index of typIh (1) in Typ Ih is
exactly h.
Let S ∈ V. We shall prove that the index of e = typS (e) is less than or equal
def

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 e0 , . . . , eh ≤ e
such that typS (e0 ) = typS (ei ) whenever 0 ≤ i ≤ h. By definition, (e0 , . . . , eh ) is
Lh
a homogeneous sequence of S. Set e′ = i=0 ei . By Lemma 4.2, M⊕
h+1 (e0 Se0 ) is
isomorphic to e′ Se′ , hence it embeds into S. Since Ih+1 embeds into M⊕
h+1 (e0 Se0 ),
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

16

F. WEHRUNG

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 = typS (1), it follows
⊔0
for some group G.

from Lemma 4.4 that S ∼
= M⊕
n G
7. 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

M⊕
f (xi,j ) (i,j)∈[n]×[n] defines a bias homomorphism
n (f ) : (xi,j )(i,j)∈[n]×[n] 7→

⊕
⊕
⊕
M⊕
n (f ) : Mn (S) → Mn (T ). Furthermore, Mn (f ) is one-to-one (resp., surjective) iff f is one-to-one (resp., surjective).

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 congru⊕
ence M⊕
n (α) of Mn (S) such that

(xi,j )(i,j)∈[n]×[n] ≡M⊕
(yi,j )(i,j)∈[n]×[n] ⇔ xi,j ≡α yi,j for all (i, j) ∈ [n] × [n] ,
n (α)
(7.1)
(S).
Furthermore,
the
canonical
surfor all (xi,j )(i,j)∈[n]×[n] , (yi,j )(i,j)∈[n]×[n] ∈ M⊕
n
⊕
⊕
(S/α)
factors
through
a
unique
iso(S)
։
M
(α)
:
M
jective homomorphism M⊕
n
n
n
⊕
⊕
(S/α).
Conversely,
every
additive
congruence
(α)
→
M
(S)
/M
morphism M⊕
n
n
n
⊕
of M⊕
n (S) has the form Mn (α) for a unique additive congruence α of S.
In particular, the assignment α 7→ M⊕
n (α) defines an isomorphism from Con S
(S).
onto Con M⊕
n
Proof. The canonical projection α : S ։ S/α is a bias homomorphism, which, by
⊕
⊕
Lemma 7.1, induces a bias homomorphism M⊕
n (α) : Mn (S) ։ Mn (S/α). The
⊕
kernel Mn (α) of that homomorphism is an additive congruence of M⊕
n (S), and it
is given by (7.1). Observe that
x(i′ ,j ′ ) = a(i′ ,i) x(i,j) a(j,j ′ ) ,
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 ∈ [n] .

(7.2)

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

17

We claim that θ = M⊕
n (α). Let x = (xi,j )(i,j)∈[n]×[n] and y = (yi,j )(i,j)∈[n]×[n] in
M⊕
(S).
n
Suppose first that x ≡M⊕
y. For all (i, j) ∈ [n] × [n], the relation xi,j ≡α
n (α)
yL
i,j holds, that is, by definition and by (7.2), (xi,j )(i,j) ≡θ (yi,j )(i,j) . Since x =
(i,j)∈[n]×[n] (xi,j )(i,j) and similarly for y, it follows that x ≡θ y.
Suppose,
conversely,
W that x ≡θ y and let e be an idempotent element of S such
W
that i,j d(xi,j ) ∨ i,j r(xi,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, (xi,j )(i,j) ≡θ (yi,j )(i,j) , thus, by (7.2), xi,j ≡α
yi,j . Therefore, x ≡M⊕
y, thus completing the proof of our claim.
n (α)
Finally, since the map α 7→ 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;
(2) The full congruence 1G = G⊔0 × G⊔0 .
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.
⊔0 ∼
Corollary 7.3.
 Let G be a group and let n be a positive integer. Then Con G =
⊕
⊔0 ∼
Con Mn G
= (NSub G) ⊔ {∞}.

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
⊔0
G
is isomorphic to the wreath product G ≀ Sn .
all invertible elements of M⊕
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,
⊔0
extends to a bias homomorphism π from M⊕
({0, 1}). Let
to In ∼
= M⊕
n G
n


⊔0
⊔0
, then π(x) is
. If x is invertible in M⊕
x = (xi,j )(i,j)∈[n]×[n] in M⊕
n G
n G
invertible in In , thus it is a permutation matrix, that is, denoting by Sn the group
of all permutations of [n],
π(x) = (δi,σ(j) )(i,j)∈[n]×[n] ,

for some σ ∈ Sn ,

where δ denotes Kronecker’s symbol. It follows that there is a finite sequence
(g1 , . . . , gn ) ∈ Gn such that
x = (δi,σ(j) gi )(i,j)∈[n]×[n] .

(7.3)

Denoting by [g1 , . . . , gn ; σ] the right hand side of (7.3), the product of two such
elements is given by
[g1 , . . . , gn ; α] · [h1 , . . . , hn ; β] = [g1 hα−1 (1) , . . . , gn hα−1 (n) , αβ] ,


⊔0
,
so the elements of the form [g1 , . . . , gn ; σ] form a subgroup of the monoid M⊕
n G
isomorphic to the wreath
product
G
≀
S
.
By
the
above,
this
subgroup
contains
all
n


⊔0
⊔0
. 
, thus it consists exactly of all invertibles of M⊕
invertibles of M⊕
n G
n G

Lemma 7.5. Let G and H be groups
and let n be a positive integer. Then G⊔0

⊕
⊔0
embeds, as a bias, into Mn H
, iff G embeds, as a subgroup, into the wreath
product H ≀ Sn .

18

F. WEHRUNG

Proof. By Lemma 7.4, any group embedding of G into H ≀ Sn gives riseto a group
⊔0
, which in
embedding of G into the group of all invertible elements of M⊕
n H

⊕
⊔0
⊔0
.
turn extends to a bias embedding from G into Mn H

⊔0
Let, conversely, ϕ : G⊔0 ֒→ M⊕
be a bias embedding. Since ϕ(1) is an
n H

⊔0
, it is, by Proposition 2.1 a diagonal matrix with
idempotent element of M⊕
n H
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
⊔0
to ϕ(1) M⊕
ϕ(1), which consists of all generalized rook matrices all whose
n H
entries outside Ω × Ω are zero. Hence, setting m = card Ω, the map ϕ induces
⊔0
. Since ψ sends the unit to the
a unital bias embedding ψ : G⊔0 ֒→ M⊕
m H
unit, it sends every invertible element to an invertible element. By Lemma 7.4, G
embeds, as a subgroup, into H ≀ Sm . The latter embeds, in turn, into H ≀ Sn , via
[h1 , . . . , hm ; σ] 7→ [h1 , . . . , hm , 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.
⊔0
Lemma 7.6. Let G and H be groups, let m and n be positive integers. Then M⊕
m G

⊕
⊔0
, iff m ≤ n and G embeds, as a subgroup, into
embeds, as a bias, into Mn H
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⊕
H ⊔0 . It follows
⌊n/m⌋



⊕
⊔0
⊔0
, thus, by Lemma 4.3,
embeds, as a bias, into M⊕
that M⊕
m M⌊n/m⌋ H
m G


⊕
⊕
⊔0
into Mm⌊n/m⌋ H
. Since m⌊n/m⌋ ≤ n, it follows that Mm G⊔0 embeds, as a

⊔0
.
bias, into M⊕
n H


⊔0
⊔0
Let, conversely, ϕ : M⊕
֒→ M⊕
be a bias embedding. Whenever
m G
n H
1 ≤ i ≤ m, denote by ai the generalized rook matrix of order m with (i, i)th
entry 1 and all others 0. Similarly, for X ⊆ [n], denote by bX the diagonal generalized rook matrix of order n with (j, j)th entry 1 if j ∈ X, 0 otherwise. Then
⊔0
, so, by Proposition 2.1,
each ϕ(ai ) is a nonzero idempotent element of M⊕
n H
nonempty
X
⊆
[n].
Since
(a
,
.
.
.
,
a
) is a homogeneous
ϕ(ai ) = bXi for some
i
1
m

 se⊔0
⊔0
quence in M⊕
, (bX1 , . . . , bXm ) is a homogeneous sequence in M⊕
, thus
m G
n H
the Xi are pairwise disjoint and they all have
the
same
cardinality,
say
d.
Hence,

⊔0
a1 , which is isomorphic to G⊔0 , into
md ≤ n. Moreover, ϕ embeds a1 M⊕
m G


⊕
⊔0
⊔0
bX1 , which is isomorphic to M⊕
bX1 Mn H
. By Lemma 7.5, G embeds
d H
into H ≀ Sd . Since d ≤ ⌊n/m⌋, the desired conclusion follows.

8. 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. [4, 10]).
Lemma 8.1. The symmetric inverse monoid In is a projective bias, for every
positive integer n.



VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

19

Proof. Let S be a Boolean inverse semigroup. We need to prove that every surjective bias homomorphism ϕ : S ։ In has a right inverse bias embedding. The
kernel ϕ of ϕ is an additive congruence of S. Denote by ei,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 a1,i ∈ S such that ϕ(a1,i ) = e1,i .
Since e1,1 is idempotent,
we may take a1,1 idempotent. By replacing each a1,i by
W
a1,i d(a1,i ) r 1≤j<i d(a1,j ) , we may assume that d(a1,i )d(a1,j ) = 0, that is,
a1,i a−1
1,j = 0 ,

for all distinct i, j ∈ [n] .

(8.1)

Now set
b1,1 =

def

n
^

r(a1,j ) ,

j=1

bi,i = a−1
1,i b1,1 a1,i ,
def

b1,i = b1,1 a1,i ,
def

for each i ∈ [n]. This causes no conflict of notation, because b1,1 ≤ a1,1 . All
elements bi,i are idempotent, and, by (8.1), they are pairwise orthogonal. Furthermore, for every i ∈ [n], it is easy to verify that ϕ(bi,i ) = ei,i , ϕ(b1,i ) = e1,i ,
d(b1,i ) = bi,i , and r(b1,i ) = b1,1 . Since b1,i ≤ a1,i and by (8.1), we get
b1,i b−1
1,j = 0 ,

for all distinct i, j ∈ [n] .

−1
We set bi,j = b−1
1,i b1,j , whenever i, j ∈ [n]. Then ϕ(bi,j ) = e1,i e1,j = ei,1 e1,j = ei,j .
def

Furthermore, by using the above, it is not hard to verify that the bi,j form a system
of matrix units in L
S, that is, bi,j bk,l = δj,k bi,l , whenever i, j, k, l ∈ [n]. The map
ψ : In → S, x 7→
i∈dom(x) bx(i),i is an additive semigroup homomorphism, and

ϕ ◦ ψ = idIn .
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.
Lemma 8.2. Let θ be an additive congruence of a D-cancellative Boolean inverse
semigroup S, let a, b ∈ Idp S such that aDS 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 = d(y) and v = r(y). The elements u′ = uay −1 by and v ′ = yu′ y −1 are
def

def

def

def

idempotent, with u′ ≤ ua, v ′ ≤ vb, u′ ≡θ u ≡θ a, and v ′ ≡θ v ≡θ b. Setting
y ′ = yu′ , we get
def

d(y ′ ) = u′ d(y) = u′ ,
r(y ′ ) = yu′ y −1 = v ′ ,
so u′ DS v ′ . Since a DS b, u′ ≤ a, and v ′ ≤ b, and since S is D-cancellative, it follows
that a r u′ DS b r v ′ , that is, there is s ∈ S such that d(s) = a r u′ and r(s) = b r 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.


20

F. WEHRUNG

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 posi⊔0
be a surjective bias homotive integer, let H be a group, and let ϕ : S ։ M⊕
n G
G,
a
surjective
group
homomorphism
ψ : G ։ G,
morphism. Then there are a group
 ⊔0 

⊕
⊔0
֒→
S
such
that
M
ψ
=
ϕ
◦
η.
and a bias embedding η : M⊕
G
n
n
The situation is illustrated on Figure 8.1.
 ⊔0 
M⊕
n G
_

⊔0
M⊕
)
n (ψ

⊔0
// // M⊕
n G
5
5
5
5
❧
❧
❧❧❧
η
❧❧ϕ❧
❧
❧
❧
 ❧❧❧❧❧❧
S



Figure 8.1. A commutative triangle of biases

⊔0
Proof. For all (i, j) ∈ [n] × [n], denote by ei,j the element of M⊕
with (i, j)th
n G
entry equal to 1 and all other entries equal to 0. By Lemma 8.1, there is a system
(ai,j )(i,j)∈[n]×[n] of matrix units in S such that each ϕ(ai,j ) = ei,j . The subset
G = {x ∈ S | d(x) = r(x) = a1,1 }
is a subgroup of the monoid a1,1 Sa1,1 . For each x ∈ G, d(ϕ(x)) = r(ϕ(x)) = e1,1 ,
thus ϕ(x) = ψ(x)(1,1) for a unique ψ(x) ∈ G. Clearly, ψ is a group homomorphism
from G onto G.
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
ϕ(d(y)) = d(ϕ(y)) = d(g(1,1) ) = e1,1 = ϕ(a1,1 ) ,
we get d(y) ≡ϕ a1,1 , and similarly, r(y) ≡ϕ a1,1 . Hence, d(x) = r(x) = a1,1 /ϕ. By
Lemma 8.2, there exists x ∈ x such that d(x) = r(x) = a1,1 ; so x ∈ G. Moreover,
ϕ(x) = ϕ(y)
= g(1,1) ,

(because x belongs to x = y/ϕ)

that is, ψ(x) = g, thus
our claim.
 proving

⊔0
⊕
, it is not hard to verify that the elements ai,1 xi,j a1,j ,
For every x ∈ Mn G

for (i, j) ∈ [n] × [n], are pairwise orthogonal. This enables us to set
M
ai,1 xi,j a1,j .
η(x) =
def

(i,j)∈[n]×[n]

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

η(x(1,1)
) =
 a1,1 xa1,1 = x, thus the restriction of η to the upper left corner of
 ⊔0
⊕
is one-to-one. By Lemma 7.2, it follows that η is one-to-one.
Mn G

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

 ⊔0 
,
Finally, for every x ∈ M⊕
n G

M

(ϕ ◦ η)(x) =

21

ϕ(ai,1 xi,j a1,j )

(i,j)∈[n]×[n]

M

=

ei,1 ψ(xi,j )(1,1) e1,j

(i,j)∈[n]×[n]

=

M

ψ(xi,j )(i,j)

(i,j)∈[n]×[n]

=ψ



M

(xi,j )(i,j)

(i,j)∈[n]×[n]



= ψ(x) ,
so ϕ ◦ η = ψ.



9. 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(xn ) = r(xn ) iff d(xn ) = d(xn+1 ) and r(xn ) = r(xn+1 ).
Proof. (G. Kudryavtseva) If d(xn ) = r(xn ), then
d(x2n ) = x−n x−n xn xn = x−n xn x−n xn = (d(xn ))2 = d(xn ) ,
whence d(xn ) = d(xn+1 ). The proof that r(xn ) = r(xn+1 ) is similar.
Suppose, conversely, that d(xn ) = d(xn+1 ) and r(xn ) = r(xn+1 ). For any
positive integer k, if d(xk ) = d(xk+1 ), then
d(xk+1 ) = x−1 d(xk )x = x−1 d(xk+1 )x = d(xk+2 ) .
Hence, our assumption implies that d(xn ) = d(xk ) for every k ≥ n. In particular,
d(xn ) = d(x2n ) .

(9.1)

Now
x−n xn = x−n xn x−n xn

(that is, d(xn ) is idempotent)

= x−n x2n x−2n xn

(use (9.1))

−n n n −n −n n

=x

x x x

−n n n −n

=x

x x x

x

x

(the idempotents x−n xn and xn x−n commute)

≤ xn x−n .
The proof that xn x−n ≤ x−n xn is symmetric.



Recall the notation xhyi = xyx−1 , used in [28].
Lemma 9.2. Let S be a Boolean inverse semigroup and let x, e ∈ S with e idempotent. Then typS (xhei) ≤+ typS (e) within Typ S.

22

F. WEHRUNG

Proof. d(xe) = d(x)e ≤ e, while r(xe) = xhei, so typS (xhei) = typS (r(xe)) =
typS (d(xe)) ≤+ typS (e).

The identity d(xn ) = r(xn ), the earliest appearance of which we are aware being [24, 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.
Lemma 9.3. The following are equivalent, for any Boolean inverse semigroup S
and every positive integer n:
(i) typS (e) has index at most n in Typ S, for every e ∈ Idp S;
(ii) d(xn ) = r(xn ) for every x ∈ S.
Proof. (i)⇒(ii). Set e = d(x)∨r(x) and b = e r r(x). Then e = b ⊕ r(x) = b ⊕ xhei,
def

thus r(x) = xhei = xhbi ⊕ x2 hei, so e = b ⊕ xhbi ⊕ x2 hei, and so on. By an easy
induction argument, we thus get
e = b ⊕ xhbi ⊕ · · · ⊕ xk hbi ⊕ r(xk+1 ) ,

for every k ∈ Z+ .

(9.2)

By Lemma 9.2, it follows that (k + 1) · typS (xk hbi) + typS (r(xk+1 )) ≤+ typS (e).
Hence, taking k = n and by assumption on the index of typS (e), we get xn hbi = 0.
By applying (9.2) to k = n and k = n + 1, we thus get
e = b ⊕ xhbi ⊕ · · · ⊕ xn−1 hbi ⊕ r(xn )
= b ⊕ xhbi ⊕ · · · ⊕ xn−1 hbi ⊕ r(xn+1 ) ,
whence r(xn ) = r(xn+1 ). By applying that result to x−1 , we get d(xn ) = d(xn+1 ).
By Lemma 9.1, it follows that d(xn ) = r(xn ).
(ii)⇒(i). Suppose that typS (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 e0 , . . . , en such that typS (e0 ) = typS (ei ) whenever 0 ≤
i ≤ n. For 0 ≤ i < n, there exists xi ∈ S such that d(xi ) = ei+1 and r(xi ) = ei .
Observe that xi xj 6= 0 iff j = i + 1, whenever 0 ≤ i, j < n. Set x = x0 ⊕ · · · ⊕ xn−1 .
Then xn = x0 · · · xn−1 , with d(xn ) = en distinct from r(xn ) = e0 .

Corollary 9.4 (G. Kudryavtseva).
Let G be a group and let n and k be positive

⊔0
integers. Then M⊕
G
satisfies
the
identity d(xn ) = r(xn ) iff k ≤ n.
k

⊔0
Proof. The idempotents of M⊕
form a finite Boolean lattice with k pairwise
k G

⊔0
D-equivalent atoms. Hence (Typ M⊕
, typ(1)) ∼
= (Z+ , k). Apply Lemma 9.3.
k G

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(xn ) = r(xn ) if it exists and x 6= 0, and ∞ in all
other cases (i.e., x 6= 0 and d(xn ) 6= r(xn ) 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.

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

23

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 In ∈ 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 Bisn of all biases with index ≤ n is a variety, defined by Reilly’s identity d(xn ) = r(xn ). All its subdirectly irreducible
⊔0
members have the form M⊕
, where 0 < k ≤ n and G is a group. In that
k G
n
n
sense, the identity d(x ) = r(x ) is an analogue, for biases, of the Amitsur-Levitzki
Theorem [1] for matrix rings.
10. 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 Radn(C) of a class C of
⊔0
∈ C.
biases is defined as the class of all groups G such that M⊕
n G
Lemma 10.2. Let V be a variety of biases. Then Radn (V) is either empty or a
variety of groups, for every variety V of biases.

Proof. It is clear that Radn (V) is closed under subgroups. If a group
H is a

⊔0
H
is
a
homohomomorphic image of a group G, then, by Lemma 7.1, M⊕
n

⊕
⊔0
morphic image of Mn G ; hence G ∈ Radn (V) implies that H ∈ Radn (V).
Finally,
of groups, then, setting
 (Gi | i ∈ I) is a family Q
Q if I is a nonempty set⊔0and
⊔0
; hence
canonically embeds into i∈I M⊕
G = i∈I Gi , the bias M⊕
n Gi
n G
{Gi | i ∈ I} ⊆ Radn (V) implies that G ∈ Radn (V). The desired conclusion follows
then from Birkhoff’s HSP Theorem.

By Corollary 9.7, Radn (V) is nonempty iff n is less than or equal to the index of
the variety V. Also, observe that trivially, Radn+1 (V) ⊆ Radn (V). The following
lemma is the main technical result of this section.
Lemma 10.3. Let I be a nonempty set, let (ni | i ∈ I) be a bounded family of
positive integers, let (Gi | i ∈ I) be a family of groups, let n be a positive integer,
⊔0
belongs to the variety V of biases generated
and let G be a group. Then M⊕
n G
 ⊕

⊔0
by Mni Gi
| i ∈ I  iff n ≤ no for some o ∈ I and G belongs to the variety G
of groups generated by Gi ≀ S⌊ni /n⌋ | i ∈ I , n ≤ ni .

⊔0
Proof. Suppose first that n ≤ no for some o ∈ I. We must prove that M⊕
n G
belongs to V, for each G ∈ G; that is, we must prove that G is contained in Radn (V).
Let i ∈ I with n ≤ ni . It follows from Lemma 7.6 that Gi ≀ S⌊ni /n⌋ belongs
to Radn (V). By Lemma 10.2, it follows that G is contained in Radn (V).
⊔0
belongs to V. By Birkhoff’s HSP TheSuppose, conversely, that M⊕
n G
orem, there are a Boolean
inverse
semigroup
S and a surjective bias homomor
⊔0
G
such
that
S
embeds
into
a product of biases of the form
phism ϕ : S ։ M⊕
n

24

F. WEHRUNG



⊔0
⊔0
M⊕
. Setting m = max {ni | i ∈ I}, all biases M⊕
belong to the vani Gi
ni Gi
riety Bism 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 [28, Lemma 1-5.3]), every element of Typ S has finite index in Typ S.
By [27, Proposition 3.13] (see also [28, Lemma 2-3.6]), the monoid Typ S is cancellative, thus (cf. Proposition 2.3) S is D-cancellative. By Lemma 8.3, there are
a groupG, a surjective group homomorphism ψ : G ։ G, and a bias embedding

⊔0
⊔0
η : M⊕
= ϕ ◦ η. Since G belongs to the variety of
֒→ S such that M⊕
n G
n ψ

⊔0
.
groups generated by G, this reduces the problem to the case where S = M⊕
n G
By possibly renaming the (ni , Gi ), we can reduce
the
problem
to
the
case

Q
⊕
⊔0
Gi ⊔0 . We may
֒→
where there is a bias embedding ψ : M⊕
n G
i∈I Mn
i


⊔0
⊔0
assume, in addition, that the ith component ψi : M⊕
of
→ M⊕
n G
ni Gi
the map ψ is nonconstant, for
every
i
∈
I.
By
Corollary
7.3,
the
kernel
ψ
i

⊔0
, where θi is the congruence of G associated to a
of ψi has the form M⊕
n θi
normal subgroup Hi 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
Hi



⊔0
⊔0
⊕
⊕
⊕
⊔0
։ Mn (G/Hi )
: Mn G
is {1}. Now the bias homomorphisms Mn θi




⊔0
⊔0
⊕
⊕
⊔0
⊕
⊕
⊔0
is
→ Mni Gi
both have kernel M
and ψi : Mn G
 n θi . Since Mn θi
⊔0
⊕
⊕
surjective, there is a unique bias embedding τi : Mn (G/Hi )
֒→ Mni (Gi ) such

⊔0
⊕
that ψi = τi ◦ Mn θi . By Lemma 7.6, it follows that n ≤ ni and G/Hi embeds,
as a subgroup, into Gi ≀ S⌊ni /n⌋ . Since G embeds into the product of all G/Hi and
each Gi ≀ S⌊ni /n⌋ belongs to G, it follows that G ∈ G.

Our next notation introduces an operator, denoted by Wrn , which sends any
class of groups to either a variety of groups or the empty class.
Notation 10.4. For a class C of groups and a positive integer n, we denote by
Wrn (C) the variety of groups generated by {G ≀ Sn | G ∈ C} if C 6= ∅, the empty
class otherwise.
Lemma 10.5. Let C be a nonempty class of groups and let n be a positive integer.
Then Wrn (C) = Wrn (Var C).
Proof. The class of all groups G such that G ≀ Sn ∈ Wrn (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 W
be a nonempty
 W set and let (Gi | i ∈ I) be a family of group
= i∈I Wrn (Gi ). (The join is evaluated within the
G
varieties. Then Wrn
i
i∈I
lattice ΛGrp of all varieties of groups).

S
W
Proof. Simply observe that i∈I Gi = Var i∈I Gi , 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 Wrm (Radmn (V)) is contained in Radn (V).

Proof. If mn is greater than the index of V, then Radmn (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 Radmn (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 ≀ Sm belongs to Radn (V),

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

25



⊔0
for each G ∈ Radmn (V). By Lemma 7.6, M⊕
embeds, as a bias, into
n (G ≀ Sm )

⊕
Mmn G⊔0 , which, since G ∈ Radmn (V), belongs to V. Hence, G ≀ Sm ∈ Radn (V),
as required.

e Grp the set of all descending sequences (Gn | n ∈ N)
Notation 10.8. Denote by Λ
of elements of ΛGrp ∪ {∅}, such that only finitely Gn are nonempty, and Wrm (Gmn )
e Grp componentwise:
is contained in Gn for all positive integers m and n. We order Λ
(Gn | n ∈ N) ≤ (Hn | n ∈ N) if Gn ⊆ Hn for every n ∈ N.
For every V ∈ ΛBis \ {Bis}, we set
Rad (V) = (Radn (V) | n ∈ N) .
def

e Grp , we set
Conversely, for every sequence ~G = (Gn | n ∈ N) in Λ
_

⊔0
,
M⊕
Mat(~G) =
n Gn
def

n∈N

where the join is evaluated within
ΛBis ∪ {∅}, the empty join is by convention the

⊔0
⊕
trivial variety, and Mn Gn
denotes the variety of biases generated by the class
 ⊕ ⊔0 
Mn G
| G ∈ Gn if Gn 6= ∅, the empty class otherwise.
A straightforward application of Lemma 10.6 yields the following.

e Grp is a sublattice of (ΛGrp ∪ {∅})N .
Lemma 10.9. The poset Λ

Theorem 10.10. The assignments Rad and Mat define mutually inverse lattice
e Grp ⊔ {∞}.
e Grp . Consequently, ΛBis ∼
isomorphisms between ΛBis \ {Bis} and Λ
=Λ

Proof. Let V be a proper variety of biases. Denote by h the index of V and set Gn =
Radn (V) for every n ∈ N. It follows from the above, together with Lemma 10.7, that
e Grp . It follows from the definition
the sequence Rad (V) = (Gn | n ∈ N) belongs to Λ
⊔0
⊕
is contained in V, for every n ∈ N. Conversely, since, by
of Gn that Mn Gn
Theorem 6.3, the variety V is generated
by its fully group-matricial members, it is
⊔0 
contained in the join of all M⊕
. This proves that V = Mat(Rad (V)).
n Gn
e Grp , and denote by h the largest nonnegLet, conversely, ~G = (Gn | n ∈ N) ∈ Λ
ative integer such that Gn 6= ∅ whenever 1 ≤ n ≤ h. (The value h = 0 is possible,
in which case all Gn = ∅.) The class V = Mat(~G) is, by definition, a variety of
′
biases. Set G′n = Radn (V) for every
 n ∈ N. By definition, Gn ⊆ Gn . Let, con⊕
⊔0
′
belongs to the variety of biases generated by
versely, G ∈ Gn ; that is, Mn G

⊔0
all M⊕
H
,
where
1
≤
k
≤
h
and
H ∈ Gk . By Lemma 10.3, G belongs to the
k
variety of groups generated by all H ≀ S⌊k/n⌋ , where n ≤ k ≤ h and H ∈ Gk . Now
for each such pair (k, H),
H ≀ S⌊k/n⌋ ∈ Wr⌊k/n⌋ (Gk )
⊆ Wr⌊k/n⌋ Gn⌊k/n⌋



(by the definition of Wr⌊k/n⌋ (Gk ))
(because n⌊k/n⌋ ≤ k)

e Grp ) .
(because ~G ∈ Λ


Hence, G ∈ Gn , which completes the proof that Rad Mat(~G) = ~G.
⊆ Gn



In particular, since ΛGrp is Arguesian (cf. Section 2), so is ΛBis . Similarly, ΛBis
satisfies the duals of Haiman’s identities from [8]. However, all this is already a
consequence of congruence-permutability, which we established, for biases, in [28,

26

F. WEHRUNG

Section 3-4]. 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 .

⊔0
defines an isomorphism from ΛGrp
Corollary 10.11. The assignment G 7→ M⊕
1 G
onto a convex sublattice of ΛBis , with smallest element the variety of all idempotent
biases (i.e., generalized Boolean algebras).
In particular, by Ol’šanskiı̆’s theorem quoted in Section 2, ΛBis has cardinality
the continuum.
References
[1] Avraham Shimshon Amitsur and Jakob Levitzki, Minimal identities for algebras, Proc. Amer.
Math. Soc. 1 (1950), 449–463. MR 0036751 (12,155d)
[2] Robert G. Burns and Sheila Oates-Williams, Varieties of groups and normal-subgroup
lattices—a survey, Algebra Universalis 32 (1994), no. 1, 145–152. MR 1287020
[3] Stanley Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts
in Mathematics, vol. 78, Springer-Verlag, New York-Berlin, 1981, out of print, Millenium
Edition available online at http://orion.math.iastate.edu/dpigozzi/BurrisSanka.pdf.
MR 648287
[4] Ralph Freese, Planar sublattices of FM(4), Algebra Universalis 6 (1976), no. 1, 69–72.
MR 0398927 (53 #2778)
, Alan Day’s early work: congruence identities, Algebra Universalis 34 (1995), no. 1,
[5]
4–23. MR 1344951 (97a:01050)
[6] George Grätzer, Universal Algebra, second ed., Springer, New York, 2008, With appendices
by Grätzer, Bjarni Jónsson, Walter Taylor, Robert W. Quackenbush, Günter H. Wenzel, and
Grätzer and W. A. Lampe. MR 2455216
, Lattice Theory: Foundation, Birkhäuser/Springer Basel AG, Basel, 2011.
[7]
MR 2768581 (2012f:06001)
[8] Mark Haiman, Proof theory for linear lattices, Adv. Math. 58 (1985), no. 3, 209–242.
MR 815357
[9] John M. Howie, An Introduction to Semigroup Theory, Academic Press [Harcourt Brace
Jovanovich, Publishers], London-New York, 1976, L.M.S. Monographs, No. 7. MR 0466355
(57 #6235)
[10] András P. Huhn, Schwach distributive Verbände. I, Acta Sci. Math. (Szeged) 33 (1972),
297–305. MR 0337710 (49 #2479)
[11] Bjarni Jónsson, On the representation of lattices, Math. Scand 1 (1953), 193–206.
MR 0058567 (15,389d)
[12]
, The class of Arguesian lattices is self-dual, Algebra Universalis 2 (1972), 396.
MR 0316325
[13] Ganna Kudryavtseva, Mark V. Lawson, Daniel H. Lenz, and Pedro Resende, Invariant means
on Boolean inverse monoids, Semigroup Forum 92 (2016), no. 1, 77–101. MR 3448402
[14] Mark V. Lawson, Inverse Semigroups, World Scientific Publishing Co., Inc., River Edge, NJ,
1998, The theory of partial symmetries. MR 1694900 (2000g:20123)
, A noncommutative generalization of Stone duality, J. Aust. Math. Soc. 88 (2010),
[15]
no. 3, 385–404. MR 2827424 (2012h:20141)
[16]
, Non-commutative Stone duality: inverse semigroups, topological groupoids and C ∗ algebras, Internat. J. Algebra Comput. 22 (2012), no. 6, 1250058, 47. MR 2974110
[17] Mark V. Lawson and Daniel H. Lenz, Pseudogroups and their étale groupoids, Adv. Math.
244 (2013), 117–170. MR 3077869
[18] Mark V. Lawson and Philip Scott, AF inverse monoids and the structure of countable MValgebras, J. Pure Appl. Algebra 221 (2017), no. 1, 45–74. MR 3531463
[19] Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor, Algebras, Lattices, Varieties.
Vol. I, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987. MR 883644 (88e:08001)

VARIETIES OF BOOLEAN INVERSE SEMIGROUPS

27

[20] John C. C. McKinsey, The decision problem for some classes of sentences without quantifiers,
J. Symbolic Logic 8 (1943), 61–76. MR 0008991
[21] Walter D. Munn, Free inverse semigroups, Proc. London Math. Soc. (3) 29 (1974), 385–404.
MR 0360881
[22] Hanna Neumann, Varieties of Groups, Springer-Verlag New York, Inc., New York, 1967.
MR 0215899
[23] Alexander Ju. Ol′ šanskiı̆, The finite basis problem for identities in groups, Izv. Akad. Nauk
SSSR Ser. Mat. 34 (1970), 376–384. MR 0286872
[24] Norman R. Reilly, Varieties of completely semisimple inverse semigroups, J. Algebra 65
(1980), no. 2, 427–444. MR 585734
[25] Alfred Tarski, Cardinal Algebras. With an Appendix: Cardinal Products of Isomorphism
Types, by Bjarni Jónsson and Alfred Tarski, Oxford University Press, New York, N. Y.,
1949. MR 0029954 (10,686f)
[26] Alistair R. Wallis, Semigroup and category-theoretic approaches to partial symmetry, Ph.D.
thesis, Heriot-Watt University, Edinburgh, 2013.
[27] Friedrich Wehrung, The dimension monoid of a lattice, Algebra Universalis 40 (1998), no. 3,
247–411. MR 1668068 (2000i:06014)
, Refinement monoids, equidecomposability types, and Boolean inverse semigroups,
[28]
hal-01197354, version 2, 216 p., 2016.
LMNO, CNRS UMR 6139, Département de Mathématiques, Université de Caen Normandie, 14032 Caen cedex, France
E-mail address: friedrich.wehrung01@unicaen.fr
URL: http://www.math.unicaen.fr/~wehrung

