Published online by Cambridge University Press: 24 October 2008
Let G be a locally compact group and let UG denote the spectrum of the C*-algebra LUC(G) of bounded left uniformly continuous complex-valued functions on G, with the Gelfand topology. Then there is a multiplication on UG extending the multiplication on G (when naturally embedded in UG) such that UG is a semigroup and for each x ∈ UG, the map y ↦ yx from UG into UG is continuous, i.e. UG is a compact right topological semigroup. Consequently UG has a unique minimal ideal K which is the union of minimal (closed) left ideals UG. Furthermore K is the union of the set of maximal subgroups of K (see [3], theorem 3·ll).