No label defined (Q4533140)

Let \(S\) be a locally compact semitopological semigroup and \(M(S)\) be the Banach algebra of all bounded regular Borel measures on \(S\). The authors prove in this paper that the following assertions are equivalent: (i) \(M(S)^*\) is extremely topological left amenable, i.e., there is a multiplicative topologically left invariant mean on \(M(S)^*\); (ii) \(S\) has a right zero; (iii) there is a topologically left invariant mean on \(M(S)^*\) that is an extreme point of the set of all means on \(M(S)^*\). Consequently, we have that if \(G\) is a nontrivial locally compact group, then \(M(G)^*\) is not extremely topological left amenable. For the entire collection see [Zbl 0982.00035].