RUS  ENG
Full version
JOURNALS // Chebyshevskii Sbornik // Archive

Chebyshevskii Sb., 2020 Volume 21, Issue 1, Pages 186–199 (Mi cheb866)

On elementary theories of algebraically closed groups

V. G. Durnev, O. V. Zetkina, A. I. Zetkina

P.G. Demidov Yaroslavl State University

Abstract: In paper for any algebraically closed group $G$, as well as for the class of the algebraically closed groups, we prove algorithmic undecidability of the positive $\forall^2 \exists^{24}$-theory and $\forall^3 \exists^{2}$-theory. For an arbitrary $g\in G$, we also prove the decidability of the equation of the type
$$ w(x_1, \ldots , x_n) = g, $$
where $w(x_1, \ldots , x_n)$ is a non-empty irreducible word in the unknowns $x_1,\ldots x_n\in G$.

Keywords: algebraically closed group, positive theory, equation.

UDC: 512+512.5+512.54+512.54.03

DOI: 10.22405/2226-8383-2018-21-1-186-199



© Steklov Math. Inst. of RAS, 2025