Nonequational Stable Groups

arXiv1703.04169MaRDI QIDQ6284242FDOQ6284242

Authors: Isabel Müller, Rizos Sklinos 

Publication date: 12 March 2017

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 $G\ast mathbb{F}_{omega}$.

This page was built for publication: Nonequational Stable Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6284242)