Here I will follow the notation from Dixon--Mortimer, rather than OP's, because it seems to be more standard, and clearly distinguishes the full and finitary symmetric groups. Let $\Omega$ be an infinite set. By Dixon--Mortimer (1996), Lemma 8.3A, the only primitive subgroups of $\operatorname{FSym}(\Omega)$ are $\operatorname{FSym}(\Omega)$ and $\operatorname{Alt}(\Omega)$. Therefore the maximal subgroups of $\mathrm{FSym}(\Omega)$ are: * maximal intransitive groups $\operatorname{FSym}(X) \times \operatorname{FSym}(Y)$ where $\Omega = X \sqcup Y$, * maximal imprimitive groups $\bigoplus_{i \in I} \operatorname{FSym}(\Delta_i) \rtimes \operatorname{FSym}(I)$, where $\Omega = \sqcup_{i \in I} \Delta_i$ and the cardinalites $|\Delta_i|$ are all equal, * $\operatorname{Alt}(\Omega)$. The only groups on this list $\cong \operatorname{FSym}(\Omega)$ are the point stabilizers $\operatorname{FSym}(\Omega)_x$. The same list holds for maximal subgroups of $\operatorname{Alt}(\Omega)$, taking the intersection with the alternating group. The only further groups we get $\cong \operatorname{FSym}(\Omega)$ are stabilizers of a pair of points $\operatorname{Alt}(\Omega)_{x,y}$. ---- **Old answer**, really more about the full symmetric group rather than the finitary one: Some information is in Dixon--Mortimer (1996), Chapter 8.5, "Maximal subgroups of the symmetric groups". Unfortunately: > The situation for infinite symmetric groups is more complicated, and it seems unlikely that there is a satisfactory description of the maximal subgroups in this case. I do not think the situation has changed dramatically since 1996. These lecture notes of Peter Neumann are also worth looking at: https://arxiv.org/abs/2307.11564