{"id":"arxiv/2609.30061","url":"https://arxiv.org/abs/2609.30061","tags":["math.LO","math.GR"],"score":0,"title":"Existence of a Model Companion for Groups of Exponent 3","domain":"math.LO","source":"arxiv","authors":["Yawara Ishida","Ryosuke Mizuno","Kota Takeuchi"],"reviews":0,"subject":"math.LO","summary":"In this article, we prove that the theory $T_3$ of groups of exponent $3$ has a model companion. Previous work established the existence of model companions for theories of groups of fixed finite exponent and nilpotency class at most $2$ (Saracino--Wood), and for theories of groups of prime exponent $p$ and nilpotency class at most $c 1$, the theory $T_n$ of groups of exponent $n$ has a model companion if and only if every finitely generated group of exponent $n$ is finite, or equivalently, if and only if the Burnside problem has a positive solution for exponent $n$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}