English

On $\kappa$-homogeneous, but not $\kappa$-transitive permutation groups

Logic 2020-03-05 v1

Abstract

A permutation group GG on a set AA is κ{\kappa}-homogeneous iff for all X,Y[A]κX,Y\in [A]^{\kappa} with AX=AY=A|A\setminus X|=|A\setminus Y|=|A| there is a gGg\in G with g[X]=Yg[X]=Y. GG is κ{\kappa}-transitive iff for any injective function ff with dom(f)ran(f)[A]κdom(f)\cup ran(f)\in [A]^{\le {\kappa}} and Adom(f)=Aran(f)=A|A\setminus dom(f)|=|A\setminus ran(f)|=|A| there is a gGg\in G with fgf\subset g. Giving a partial answer to a question of P. M. Neumann we show that there is an ω{\omega}-homogeneous but not ω{\omega}-transitive permutation group on a cardinal λ{\lambda} provided (i) λ<ωω{\lambda}<{\omega}_{\omega}, or (ii) 2ω<λ2^{\omega}<{\lambda}, and μω=μ+{\mu}^{\omega}={\mu}^+ and μ\Box_{\mu} hold for each μλ{\mu}\le{\lambda} with ω=cf(μ)<μ{\omega}=cf({\mu})<{{\mu}}, or (iii) our model was obtained by adding ω1{\omega}_1 many Cohen generic reals to some ground model. For κ>ω{\kappa}>{\omega} we give a method to construct large κ{\kappa}-homogeneous, but not κ{\kappa}-transitive permutation groups. Using this method we show that there exists κ+{\kappa}^+-homogeneous, but not κ+{\kappa}^+-transitive permutation groups on κ+n{\kappa}^{+n} for each infinite cardinal κ{\kappa} and natural number n1n\ge 1 provided V=LV=L.

Keywords

Cite

@article{arxiv.2003.02023,
  title  = {On $\kappa$-homogeneous, but not $\kappa$-transitive permutation groups},
  author = {Saharon Shelah and Lajos Soukup},
  journal= {arXiv preprint arXiv:2003.02023},
  year   = {2020}
}

Comments

16 pages

R2 v1 2026-06-23T14:03:34.371Z