|
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.
Citation:
V. G. Durnev, O. V. Zetkina, A. I. Zetkina, “On elementary theories of algebraically closed groups”, Chebyshevskii Sb., 21:1 (2020), 186–199
Linking options:
https://www.mathnet.ru/eng/cheb866 https://www.mathnet.ru/eng/cheb/v21/i1/p186
|
Statistics & downloads: |
Abstract page: | 111 | Full-text PDF : | 29 | References: | 24 |
|