Existence of a Model Companion for Groups of Exponent 3

Yawara Ishida; Ryosuke Mizuno; Kota Takeuchi

In the authors' words

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 < p$ (Maier). These results do not cover $T_{3}$ , since groups of exponent $3$ may have nilpotency class $3$ . Our theorem verifies the $n = 3$ case of a conjecture proposed by the third author that, for each integer $n > 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$ .

Main resultThe abstract does not state a limitation.

Existence of a Model Companion for Groups of Exponent 3

In the authors' words

More on Other mathematics that day

The Siren Call of Silicon Leviathan: Reflections on blowup and Aufkl\"arungsd\"ammerung

A Measure-Theoretic Derivation of Zadeh Fuzzy Logic

Study of Iterative Detection and Decoding for {Mixed Near- and Far-Field} XL-MIMO Systems

Vaught's Conjecture for Sums of Products of Rooted Trees

Formal weakly enriched category theory