On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook”
https://doi.org/10.18255/1818-1015-2012-4-67-71
Abstract
It is shown that the derived subgroup of the free group is not first-oder definable.
About the Author
V. G. Durnev
Ярославский государственный университет им. П.Г. Демидова
Russian Federation
заведующий кафедрой, профессор
Russian Federation
заведующий кафедрой, профессор
References
1. Коуровская тетрадь. Издание 17-е, дополненное и включающее Архив решенных задач. Новосибирск: Институт математики СО РАН, 2010. 219 с.
2. Дурнев В.Г. Об уравнениях на свободных полугруппах и группах // Матем. заметки. 1974. Т. 16, № 5. С. 717 – 724.
3. Kharlampovich O., Myasnikov A. Elementary theory of free non-abelian groups // Journal of Algebra. 2006. Vol. 302 2. P. 451–552.
4. Матиясевич Ю.В. Диофантовость перечислимых множеств // Докл. АН СССР. 1970. Т. 130, № 3. С. 495 – 498.
Review
For citations:
Durnev V.G. On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook”. Modeling and Analysis of Information Systems. 2012;19(4):67-71. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-67-71
Views:
763
Email this article 