Action of amenable groups and uniqueness of invariant means (Q1174997)

Let \(G\) be an amenable group. As well-known, \(G\) admits a unique left invariant mean if and only if \(G\) is finite. Suppose that \(G\) acts on a set \(X\). Then there exists a \(G\)-invariant mean on the Banach space \(l^{\infty}(X)\) of all real bounded functions on \(X\). \textit{J. Rosenblatt} and \textit{M. Talagrand} showed [in J. Lond. Math. Soc., II. Ser. 24, 525-532 (1981; Zbl 0447.43002)] that if \(X\) is infinite and \(| G|\leq| X|\), there exist infinitely many \(G\)-invariant means on \(l^{\infty}(X)\). In this paper it is proved that, assuming the continuum hypothesis, there exists a locally finite group \(G\) acting on a countable infinite set \(X\), such that there is only one \(G\)-invariant mean on \(l^{\infty}(X)\). It is also proved that, assuming the continuum hypothesis, there exists a locally finite group \(G\) acting on a countable infinite set \(X\) such that there is an infinite-dimensional set of \(G\)-invariant means on \(l^{\infty}(X)\) and all of them are supported on the same \(G\)-thick set.