On Integral Groups. I. The Reducible Case.
We present some special properties of inverse categories with split idempotents. First, we examine a Clifford-Leech type theorem relative to such inverse categories. The connection with right cancellative categories with pushouts is illustrated by simple examples. Finally, some basic properties of inverse categories with split idempotents and kernels are studied in terms of split idempotents which generate (right or left) principal ideals of annihilators.
The following results are proved: The center of any finite index subgroup of an irreducible, infinite, nonaffine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, nonaffine Coxeter group cannot be expressed as a product of two nontrivial subgroups. These two theorems imply a unique decomposition theorem for a class of Coxeter groups. We also prove that the orbit of each element other than the identity under the conjugation action in an irreducible, infinite, nonaffine...