用CH,MA证明了对每个小指数子群G≤Sym (ω_1)都存在可数子集X(?)ω_1,使得Sym(ω_1-X)≤G....

对一个ｋ上非平凡理想Ｉ，如果Ｓ（１）是ｋ上无限对称群Ｓｙｍ（ｋ）的极大子群，并且Ｓ（１）＝Ｓ（１），则Ｉ是一个极大理想。还给出了Ｕｌａｍ理想的稳定子群的一些性质。......