In 1927 Schreier [8] proved the Nielsen-Schreier Theorem that a subgroup H of a free group F is a free group by selecting a left transversal for H in F possessing a certain cancellation property. Hall and Rado [5] call a subset T of a free group F a Schreier system in F if it possesses this cancellation property, and consider the existence of a subgroup H of F such that a given Schreier system T is a left transversal for H in F.

Let ℒ V denote the algebra of all linear transformations on an n-dimensional vector space V over a field Φ. A subsemigroup S of the multiplicative semigroup of ℒ V will be said to be an affine semigroup over Φ if S is a linear variety, i.e., a translate of a linear subspace of ℒ V.

This concept in a somewhat different form was introduced and studied by Haskell Cohen and H. S. Collins [1]. In an appendix we give their definition and outline a method of describing possibly infinite dimensional affine semigroups in terms of algebras and supplemented algebras.

In this paper we shall be concerned with the set Mn(B) of n x n matrices whose elements belong to a given Boolean algebra B(≤, ∪,∩,').

It is well known that Mn(B) also forms a Boolean algebra with respect to the partial ordering ≼ defined by

in which union (⋎), intersection (⋏) and complementation (*) are given by

1. P. Heywood [3] proved the following theorems:

Theorem A. If 0 ≦ λ < 2, if xy−1g(x) ε L(0, π), and if

for n = 1, 2, 3,…, then the seriesis convergent.

Theorem B. If 0 ≦ λ < 1, if xy−1f(x)ε L(0, π), and if

for n = 1, 2, 3,…, then the seriesn−yanis convergent.