Radicals and Plotkin’s problem concerning geometrically equivalent groups
HTML articles powered by AMS MathViewer
- by Rüdiger Göbel and Saharon Shelah PDF
- Proc. Amer. Math. Soc. 130 (2002), 673-674 Request permission
Abstract:
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 | \varphi : X\rightarrow G, \mbox { with } N \subseteq \ker \varphi \}$ of $X$. In particular, ${\overline 1}^G = R_GX$ is the $G$-radical of $X$. Plotkin calls 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. Quasi-identities are formulas of the form $(\bigwedge _{i\le n} w_i = 1 \rightarrow w =1)$ for any words $w, w_i \ (i\le n)$ in a free group. Generally geometrically equivalent groups satisfy the same quasi-identities. Plotkin showed that nilpotent groups $G$ and $H$ satisfy the same quasi-identities if and only if $G$ and $H$ are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.References
- P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
- V. D. Mazurov and E. I. Khukhro (eds.), Unsolved problems in group theory. The Kourovka notebook, Thirteenth augmented edition, Russian Academy of Sciences Siberian Division, Institute of Mathematics, Novosibirsk, 1995. MR 1392713
- B. Plotkin, Radicals in groups, operations on classes of groups, and radical classes, Transl., II Ser. Amer. Math. Soc. 119, (1983) 89–118.
- B. I. Plotkin, Radicals and verbals, Radical theory (Eger, 1982) Colloq. Math. Soc. János Bolyai, vol. 38, North-Holland, Amsterdam, 1985, pp. 379–403. MR 899121
- B. Plotkin, Universal algebra, algebraic logic, and databases, Mathematics and its Applications, vol. 272, Kluwer Academic Publishers Group, Dordrecht, 1994. Translated from the 1991 Russian original by J. Cīrulis, A. Nenashev and V. Pototsky and revised by the author. MR 1273136, DOI 10.1007/978-94-011-0820-1
- B. Plotkin, E. Plotkin, and A. Tsurkov, Geometrical equivalence of groups, Comm. Algebra 27 (1999), no. 8, 4015–4025. MR 1700201, DOI 10.1080/00927879908826679
- Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89, Springer-Verlag, Berlin-New York, 1977. MR 0577064
Additional Information
- Rüdiger Göbel
- Affiliation: Fachbereich 6, Mathematik und Informatik, Universität Essen, 45117 Essen, Germany
- Email: R.Goebel@uni-essen.de
- Saharon Shelah
- Affiliation: Department of Mathematics, Hebrew University, Jerusalem, Israel–and–Rutgers University, New Brunswick, New Jersey
- MR Author ID: 160185
- ORCID: 0000-0003-0462-3152
- Email: Shelah@math.huji.ac.il
- Received by editor(s): September 6, 2000
- Received by editor(s) in revised form: September 21, 2000
- Published electronically: September 28, 2001
- Additional Notes: The authors were supported by project No. G 0545-173, 06/97 of the German-Israeli Foundation for Scientific Research & Development. This paper is #GbSh 741 in Shelah’s list of publications.
- Communicated by: Stephen D. Smith
- © Copyright 2001 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 130 (2002), 673-674
- MSC (2000): Primary 20E06, 20E10, 20E32; Secondary 20F06
- DOI: https://doi.org/10.1090/S0002-9939-01-06108-1
- MathSciNet review: 1866018