Steep uncountable groups

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Corson, Samuel M., Olshanskii, Alexander, Varghese, Olga
Natura: Preprint
Pubblicazione: 2023
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866909128269496320
author Corson, Samuel M.
Olshanskii, Alexander
Varghese, Olga
author_facet Corson, Samuel M.
Olshanskii, Alexander
Varghese, Olga
contents We produce a simple group $G$ of cardinality $\aleph_1$ which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset $Y \subseteq G$ there exists a natural number $n_Y$ for which every element of $G$ may be expressed as a product of length at most $n_Y$ of elements in $Y^{\pm 1}$. 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 $G$ can also be made so that all subgroups are simple and all nontrivial subgroups are malnormal in $G$.
format Preprint
id arxiv_https___arxiv_org_abs_2305_02953
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Steep uncountable groups
Corson, Samuel M.
Olshanskii, Alexander
Varghese, Olga
Group Theory
Logic
03E75, 20A15, 20E15
We produce a simple group $G$ of cardinality $\aleph_1$ which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset $Y \subseteq G$ there exists a natural number $n_Y$ for which every element of $G$ may be expressed as a product of length at most $n_Y$ of elements in $Y^{\pm 1}$. 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 $G$ can also be made so that all subgroups are simple and all nontrivial subgroups are malnormal in $G$.
title Steep uncountable groups
topic Group Theory
Logic
03E75, 20A15, 20E15
url https://arxiv.org/abs/2305.02953