Submission date: 30 May 2024

Abstract:

We define and study the class of inner ultrahomogeneous groups, which includes Hall's universal group and the universal locally recursively presentable group. We provide simple criteria for ample generic automorphisms, straight maximality, uniform simplicity and divisibility (all of which apply to both Hall's universal group and the universal locally recursively presentable group). We show that such groups of infinite exponent are not ℵ_0-saturated, their theories are not small, not rosy and have TP_2+SOP+IP_n for all n. This strengthens and generalises known results about ample generic automorphisms and unstability of Hall's universal group. We also show that the exponents of finite exponent inner ultrahomogeneous groups are uniformly bounded, and we provide a series of examples of inner ultrahomogeneous groups.

Mathematics Subject Classification: 03C45, 03C15, 03E15, 20F05, 20A15

Keywords and phrases:

Full text arXiv 2405.19640: pdf, ps.