无限对称群的正规子群

有限对称群Ｓｎ（ｎ≠４）非平凡的正规子群仅有一个交代群Ａｎ。无限集合Ｍ上的对称群ＳＭ则不是这样。本文的主要结果是：（１）确定了ＳＭ的全部正规子群，它们形成一个整序集；（２）ＳＭ正规子群的正规子群仍是ＳＭ的正规子群；（３）ＳＭ的正规子群是特征子群；（４）ＳＭ的正规子群（≠１）的自同构群与ＳＭ同构，ＳＭ是完全群。