Radicals and Plotkin's problem concerning geometrically equivalent groups
If \(G\) and \(X\) are groups and \(N\) is a normal subgroup of \(X\), then the \(G\)-closure of \(N\) in \(X\) is the normal subgroup \(\overline X^G=\bigcap\{\ker\varphi\mid\varphi\colon X\to G,\;N\subseteq\ker\varphi\}\). In partcular, \(\overline 1^G=R_GX\) is the \(G\)-radical of \(X\). B. Plotkin called two groups \(G\) and \(H\) geometrically equivalent, written \(G\sim H\), if for any free group \(F\) of finite rank and any normal subgroup \(N\) of \(F\) the \(G\)-closure and the \(H\)-closure of \(N\) in \(F\) are the same, i.e., \(\overline N^G=\overline N^H\). It is easy to see that \(G\sim H\) if and only if \(R_GK=R_HK\) for all finitely generated groups \(K\). B. Plotkin noted that geometrically equivalent groups satisfy the same quasi-identities and showed that nilpotent groups \(G\) and \(H\) satisfy the same quasi-identities if and only if \(G\) and \(H\) are geometrically equivalent. This led B. Plotkin to conjecture that this might hold for any pair of groups [see Problem 14.17 in the Kourovka Notebook, Russian Academy of Science, Novosibirsk, 14th ed. (1999; Zbl 0943.20003)]. The authors refute this conjecture. Namely they prove the exictence of groups \(G\), \(L\), \(H=L\times G\) such that \(R_GL=L\) and \(R_HL=1\) (in particular \(G\) and \(H\) are not geometrically equivalent) and \(G\) and \(H\) satisfy the same quasi-identities.NEWLINENEWLINENEWLINEReviewer's remark: The problem of geometrically equivalent algebraic systems (in particular groups) is completely solved by \textit{A. Myasnikov} and \textit{V. Remeslennikov} [J. Algebra 234, No. 1, 225-276 (2000; Zbl 0970.20017)] (see Theorems C1, C2, and C4). In the same place, concrete examples of groups, refuting the conjecture of B. Plotkin, are constructed.
- Geometrical equivalence of groups
- Geometric equivalence of -torsion-free nilpotent groups
- scientific article; zbMATH DE number 4055859
- Geometrical equivalence of nilpotent groups.
- GEOMETRIC EQUIVALENCE OF ALGEBRAS
- Geometric equivalence of groups.
- Elementary equivalence and genus of finitely generated nilpotent groups
- scientific article; zbMATH DE number 1065056
- scientific article; zbMATH DE number 65895
- The Problem of the Classification of the Nilpotent Class 2 Torsion Free Groups up to Geometric Equivalence
- Geometrical equivalence of groups
- scientific article; zbMATH DE number 3937378 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 857570 (Why is no real title available?)
- Radicals in groups, operations on classes of groups, and radical classes
- Simple Free Products
- Nil radicals in groups
- Universal geometrical equivalence of the algebraic structures of common signature
- Algebraic geometry over algebraic structures. VI: Geometrical equivalence
- Algebraic and logical geometries of universal algebras (a unified approach)
- Automorphisms of the category of free finitely generated algebras
- Plotkin's geometric equivalence, Mal'cev's closure, and incompressible nilpotent groups
- Automorphisms of categories of free algebras of varieties
- Geometric equivalence of -torsion-free nilpotent groups
- Seven lectures on universal algebraic geometry
- ON GEOMETRICALLY EQUIVALENT S-ACTS
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- On the geometric equivalence of algebras
- Geometric equivalence of groups.
- Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures
This page was built for publication: Radicals and Plotkin's problem concerning geometrically equivalent groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2759012)
