On the permutation products of manifolds (Q5948428)

Let \(M\) be a \(2\)-dimensional manifold and let \(n\in \mathbb N\). In the cartesian product \(M^n =M\times M\times\ldots \times M\) the author defines an equivalence relation \(\approx\) such that \((x_1, \ldots x_n)\approx (y_1, \ldots y_n)\) if there exists a permutation \(\vartheta : \{1,2,\ldots n\}\to \{1,2,\ldots n\}\) such that \(y_i=x_{\vartheta (i)}\), \(i=1,2,\ldots n\). For a subgroup \(G\) of the permutation group \(S_n \) the quotient space \(M^n/\approx\) is denoted by \(M/G\). The author proves the following theorem: Let \(G\subseteq S_n\) and \(M\) be a \(2\)-dimensional real manifold. Then \(M^n / G\) is a manifold if and only if \(G=S_{m_1}\times S_{m_2}\times \ldots S_{m_r}\), where \(S_{m_1}\), \(\dots\), \(S_{m_r} \) are permutation groups of a partition of \(\{1,2,\ldots n\}\) on \(r\) subsets with cardinalities \(m_1\), \(\ldots\), \(m_r\).