RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2022 Issue 2, Pages 5–13 (Mi vtpmk633)

Theoretical Computer Science, Cybernetics

Violation of finite approximability for single-coefficient commutant equations

V. G. Durneva, A. I. Zetkinaab

a P.G. Demidov Yaroslavl State University, Yaroslavl
b Voronezh State University, Voronezh

Abstract: We construct an equation (resolved with respect to unknowns) such that (i) it has no solution in $F_2$ (a free group of rank $2$), but (ii) it has a solution in any finite homomorphic image of $F_2$. The left-hand-side of this equation belongs to the derived subgroup (i.e. has zero sum of exponents in each variable), while its right-hand-side is the commutator of two generators of $F_2$.

Keywords: free group, equation in a free group, residual finiteness, commutator of elements, commutator subgroup.

UDC: 512.54.05, 512.543.7

Received: 21.04.2022
Revised: 18.05.2022

DOI: 10.26456/vtpmk633



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025