Steep uncountable groups

Abstract

AbstractWe produce a simple group of cardinality which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset there exists a natural number for which every element of may be expressed as a product of length at most of elements in . In particular this group is Jónsson (every proper subgroup is of strictly smaller cardinality) and strongly bounded (every abstract action on a metric space has bounded orbits); this is the first example of an uncountable group having both of these properties, which is constructed without using the continuum hypothesis. The group can also be made so that all subgroups are simple and all non‐trivial subgroups are malnormal in .