Arens regularity for totally ordered semigroups

Abstract

Listen

Translate article

Let S be a semigroup. We shall consider the centres of the semigroup (beta ,S, ,Box ,) and of the algebra (M(beta ,S), ,Box ,), where M(beta ,S) is the bidual of the semigroup algebra (ell ^{,1}(S),,star ,), and whether the semigroup and the semigroup algebra are Arens regular, strongly Arens irregular, or neither. We shall also determine subsets of S^* and of M(S^*) that are ‘determining for the left topological centre’ (DLTC sets) of beta ,S and M(beta ,S). It is known that, when the semigroup S is cancellative, ell ^{,1}(S) is strongly Arens irregular and that there is a DLTC set consisting of two points of S^*. In contrast, there is little that has been published about the Arens regularity of ell ^{,1}(S) when S is not cancellative. Totally ordered, abelian semigroups, with the map (s,t)rightarrow s wedge t as the semigroup operation, provide examples which show that several possibilities can occur. We shall determine the centres of beta ,S and of M(beta ,S) for all such semigroups, and give several examples, showing that the minimum cardinality of DTC sets may be arbitrarily large, and, in particular, we shall give an example of a countable, totally ordered, abelian semigroup S with this operation for which there is no countable DTC set for beta S or for M(beta S). There was no previously-known example of an abelian semigroup S for which beta ,S or M(beta S) did not have a finite DTC set.