Let $X$ be an infinite set, and let $G$ be the symmetric group on $X$. I want to understand $G$ by putting a topology on it, without imposing any more structure on $X$. What 'interesting' possibilities are there and what is known about them?
In particular, I have heard of the pointwise convergence topology (an open neighbourhood of g is a set of permutations that agree on some specified finite set of points), and found some papers on this, but are there any other topologies that have been studied?
What if I take the coarsest topology compatible with the group operations such that either a) the stabiliser of any subset is closed, b) the stabiliser of any partition is closed, or c) both are closed? I think these will be coarser than the pointwise convergence topology, because in the pointwise convergence topology the stabiliser of any first-order structure is closed. Is there a useful characterisation of the open subgroups and/or closed subgroups?