Skip to main content
1 of 2
Taras Banakh
  • 41.9k
  • 3
  • 74
  • 183

The answer to this question implies that each locally compact group topology $\tau$ on the permutation group $S^\infty$ is discrete. Since the discrete group $S^\infty$ is known to be non-amenable (it contains a free grouo with two generators), the locally compact topological group $(S^\infty,\tau)$ is not amenable.

By Corollary in the answer to this question, the permutation group $S^\infty$ is not isomorphic to a dense subgroup of a non-discrete locally compact group. This implies that $S^\infty$ is not isomorphic to a dense subgroup of an amenable locally compact group.

Taras Banakh
  • 41.9k
  • 3
  • 74
  • 183