I can't resist mentioning that the group of unitary elements in the hyperfinite $II_{1}$ factor (The group von Neumann algebra of Bruce Westbury's "locally finite" permutation group above) in fact contains every countable discrete amenable group as a subgroup.
I can't resist mentioning that the group of unitary elements in the hyperfinite $II_{1}$ factor (The group von Neumann algebra of Bruce Westbury's "locally finite" permutation group above) in fact contains every amenable group as a subgroup.