The weakly almost periodic compactification of a direct sum of finite groups

Abstract

The success of the methods of [ 24 ] and [ 4 ] in investigating the structure of the weakly almost periodic compactification w ℕ of the semigroup (ℕ, +) of positive integers has prompted us to see how successful they would be in another context. We consider wG , where G =[oplus ] i ∈ω G i is the direct sum of a sequence of finite groups with its discrete topology. We discover a large class of weakly almost periodic functions on G , and we use them to prove the existence of a large number of long chains of idempotents in wG . However, the closure of any singly generated subsemigroup of wG contains only one idempotent. We also prove that the set of idempotents in wG is not closed. The minimal idempotent of wG can be written as the sum of two others, with the consequence that the minimal ideal of wG is not prime. Pursuing possible parallels with the structure of βℕ, we find subsemigroups S F of wG which are ‘carried’ by closed subsets F of βω. wG contains the free abelian product of the semigroups S F corresponding to families of disjoint subsets F . Usually S F is a very large semigroup, but for some points p ∈βω, S p can be quite small.