Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-20T02:45:13.640Z Has data issue: false hasContentIssue false

ON $\kappa $-HOMOGENEOUS, BUT NOT $\kappa $-TRANSITIVE PERMUTATION GROUPS

Published online by Cambridge University Press:  13 August 2021

SAHARON SHELAH
Affiliation:
INSTITUTE OF MATHEMATICS HEBREW UNIVERSITY JERUSALEM, ISRAEL E-mail: shelah@math.huji.ac.il
LAJOS SOUKUP*
Affiliation:
DEPARTMENT OF SET THEORY, LOGIC AND TOPOLOGY ALFRÉD RÉNYI INSTITUTE OF MATHEMATICS BUDAPEST, HUNGARY URL: http://www.renyi.hu/~soukup
*

Abstract

A permutation group G on a set A is ${\kappa }$ -homogeneous iff for all $X,Y\in \bigl [ {A} \bigr ]^ {\kappa } $ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$ . G is ${\kappa }$ -transitive iff for any injective function f with $\operatorname {dom}(f)\cup \operatorname {ran}(f)\in \bigl [ {A} \bigr ]^ {\le {\kappa }} $ and $|A\setminus \operatorname {dom}(f)|=|A\setminus \operatorname {ran}(f)|=|A|$ there is a $g\in G$ with $f\subset g$ .

Giving a partial answer to a question of P. M. Neumann [6] we show that there is an ${\omega }$ -homogeneous but not ${\omega }$ -transitive permutation group on a cardinal ${\lambda }$ provided

  1. (i) ${\lambda }<{\omega }_{\omega }$ , or

  2. (ii) $2^{\omega }<{\lambda }$ , and ${\mu }^{\omega }={\mu }^+$ and $\Box _{\mu }$ hold for each ${\mu }\le {\lambda }$ with ${\omega }=\operatorname {cf}({\mu })<{{\mu }}$ , or

  3. (iii) our model was obtained by adding $(2^{\omega })^+$ 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 exist ${\kappa }^+$ -homogeneous, but not ${\kappa }^+$ -transitive permutation groups on ${\kappa }^{+n}$ for each infinite cardinal ${\kappa }$ and natural number $n\ge 1$ provided $V=L$ .

Type
Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Blass, A., Combinatorial cardinal characteristics of the continuum , Handbook of Set Theory (M. Foreman and A. Kanamori, editors), Springer, Dordrecht, 2010, pp. 395489.CrossRefGoogle Scholar
Juhász, I., Nagy, Z., and Weiss, W., On countably compact, locally countable spaces . Periodica Mathematica Hungarica, vol. 10 (1979), nos. 2–3, pp. 193206.CrossRefGoogle Scholar
Juhász, I., Shelah, S., and Soukup, L., More on countably compact, locally countable spaces . Israel Journal of Mathematics, vol. 62 (1988), no. 3, pp. 302310.CrossRefGoogle Scholar
Keremedis, K., On the covering and the additivity number of the real line . Proceedings of the American Mathematical Society, vol. 123 (1995), no. 5, pp. 15831590.CrossRefGoogle Scholar
Knight, R. W., A topological application of flat morasses . Fundamenta Mathematicae, vol. 194 (2007), no. 1, pp. 4566.CrossRefGoogle Scholar
Neumann, P. M., Homogeneity of infinite permutation groups . The Bulletin of the London Mathematical Society, vol. 20 (1988), no. 4, pp. 305312.CrossRefGoogle Scholar