Nonequational Stable Groups
Logic
2023-03-08 v2 Group Theory
Abstract
We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form .
Cite
@article{arxiv.1703.04169,
title = {Nonequational Stable Groups},
author = {Isabel Müller and Rizos Sklinos},
journal= {arXiv preprint arXiv:1703.04169},
year = {2023}
}
Comments
10 pages, version accepted in the Proc. Am. Math. Soc