Recent content by ihavenoidea

I am talking about N as a SET. So S=Sym(N) is the set of permutations on a countably infinite number of points enumerated by N. The notation is all standard. The angled brackets denote "the group generated by" so above I mean the group generated by: S_{\{A\}} and f . To avoid the...

So I'm reading a paper which assumes the following statement but I would like to be able to prove it. Let S denote the symmetric group on the natural numbers. If \emptyset\subset A \subset \mathbb{N} then S_{\{A\}}=\{f\in S:af\in a,\;\forall{a}\in A\}$ is a maximal subgroup of S...