Let S be the group of finitely supported permutations of a countably infinite set. Let K[S] be the group algebra of S over a field K of characteristic 0. According to a theorem of Formanek and ...