Geodesic
On solvability of regular equations in the variety of metabelian groups
Prikladnaâ diskretnaâ matematika, no. 2 (2017), pp. 51-58.

Voir la notice de l'article provenant de la source Math-Net.Ru

We study the solvability of equations over groups within a given variety or another class of groups. The classes of nilpotent and solvable groups were considered as main classes to investigate from such point of view. The natural analogues of the famous Kervaire–Laudenbach and Levin conjectures were raised to the challenge. It was also noted that the “solvable” version of the known theorem by Brodski\v i is not true. In this paper, for each $n\in\mathbb N$, $n\geq2$, we prove that every regular equation over the free metabelian group $M_n$ is solvable in the class $\mathcal M$ of all metabelian groups. Moreover, there is a metabelian group $\tilde{M}_n$ that contains a solution of every unimodular equation over $M_n$. These results are extended to the class of rigid metabelian groups. Also, we give an example showing that there exists an equation over a locally indicable torsion-free metabelian group $G$ that has no solution in any solvable overgroup of $G$. It follows that solvable versions of the Levin conjecture are not true. Another example presents an unimodular equation over a locally indicable torsion-free metabelian group $G$ that has no solution in any metabelian overgroup of $G$. Hence, the Kervaire–Laudenbach conjecture is not valid for the variety of all metabelian groups. We prove that there is an unimodular equation over a finite metabelian group $G$ that has no solutions in any finite metabelian overgroup of $G$. This means that analog of the famous theorem by Gerstenhaber and Rothaus (about solvability of each unimodular equation over a finite group $G$ in some finite overgroup of $G$) is not valid for the class of finite metabelian groups.
Keywords: Levin conjecture, metabelian group, nilpotent group, locally indicable group, regular equation, solvability over group.
Mots-clés : Kervaire–Laudenbach conjecture, solvable group, rigid group 
@article{PDM_2017_2_a3,
     author = {V. A. Roman'kov},
     title = {On solvability of regular equations in the variety of metabelian groups},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {51--58},
     publisher = {mathdoc},
     number = {2},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PDM_2017_2_a3/}
}
TY  - JOUR
AU  - V. A. Roman'kov
TI  - On solvability of regular equations in the variety of metabelian groups
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2017
SP  - 51
EP  - 58
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2017_2_a3/
LA  - en
ID  - PDM_2017_2_a3
ER  - 
%0 Journal Article
%A V. A. Roman'kov
%T On solvability of regular equations in the variety of metabelian groups
%J Prikladnaâ diskretnaâ matematika
%D 2017
%P 51-58
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2017_2_a3/
%G en
%F PDM_2017_2_a3
V. A. Roman'kov. On solvability of regular equations in the variety of metabelian groups. Prikladnaâ diskretnaâ matematika, no. 2 (2017), pp. 51-58. http://geodesic.mathdoc.fr/item/PDM_2017_2_a3/

[1] Noskov G. A., Remeslennikov V. N., Roman'kov V. A., “Infinite groups”, J. Sov. Math., 18 (1982), 669–735 | DOI | MR | Zbl

[2] Remeslennikov V. N., Roman'kov V. A., “Model-theoretic and algorithmic questions in group theory”, J. Sov. Math., 31 (1985), 2887–2939 | DOI | MR | Zbl

[3] Kharlampovich O., Myasnikov A., Equations and Algorithmic Problems in Groups, Publicacoes Math., IMPA, Brazil, 2008, 79 pp. | MR | Zbl

[4] Roman'kov V., “Equations over groups”, Groups, Complexity, Cryptology, 4 (2012), 191–239 | MR | Zbl

[5] Gerstenhaber V., Rothaus O. S., “The solutions of sets of equations in groups”, Proc. Nat. Acad. Sci.U.S., 48 (1962), 1951–1953 | DOI | MR

[6] Rothaus O. S., “On the non-triviality of some group extensions given by generators and relators”, Ann. Math., 106 (1977), 599–612 | DOI | MR | Zbl

[7] Klyachko A., “Funny property of sphere and equations over groups”, Comm. Algebra, 21 (1993), 2555–2575 | DOI | MR | Zbl

[8] Brodski\v i S. D., “Equations over groups and groups with a single defining relation”, Russian Math. Surveys, 35:4 (1980), 165 | DOI | MR | Zbl

[9] Brodski\v i S. D., “Equations over groups and groups with a single defining relator”, Siberian Math. J., 25 (1984), 84–103 | DOI | MR | Zbl

[10] Howie J., “On locally indicable groups”, Math. Z., 180 (1982), 445–461 | DOI | MR | Zbl

[11] Gersten S. M., “Reducible diagrams and equations over groups”, Essays in Group Theory, MSRI Publ., 8, ed. Gersten S. M., Springer Verlag, 1985, 15–73 | MR

[12] Krstić S., “Systems of equations over locally $p-$indicable groups”, Invent. Math., 81 (1985), 373–378 | DOI | MR | Zbl

[13] Timoshenko E. I., Endomorphisms and universal theories of solvable groups, NSTU Monographs Ser., NSTU Publishers, Novosibirsk, 2011, 327 pp. (in Russian)

[14] Baumslag G., “Some theorems on the free groups of certain product varieties”, J. Combinatorial Theory, 2 (1967), 77–99 | DOI | MR | Zbl

[15] Myasnikov A., Romanovskiy N. S., “Krull dimension of solvable groups”, J. Algebra, 324 (2010), 2814–2831 | DOI | MR | Zbl

[16] Romanovskiy N. S., “Divisible rigid groups”, Algebra and Logic, 47:6 (2008), 426–434 | DOI | MR | Zbl