A permutation group on a set is -homogeneous iff for all with there is a $g\in Gg[X]=YG{\kappa}fdom(f)\cup ran(f)\in [A]^{\le {\kappa}}|A\setminus dom(f)|=|A\setminus ran(f)|=|A|g\in Gf\subset g$. Giving a partial answer to a question of P. M. Neumann we show that there is an -homogeneous but not -transitive permutation group on a cardinal provided (i) , or (ii) , and and hold for each with , or (iii) our model was obtained by adding many Cohen generic reals to some ground model. For we give a method to construct large -homogeneous, but not -transitive permutation groups. Using this method we show that there exists -homogeneous, but not -transitive permutation groups on for each infinite cardinal and natural number provided .

生成讲解博客的中文版本

生成AI智能校验的中文版本