V. G. Durnev, “On one A. I. Mal'cev's Question from the “Kourovskaya Notebook””, Model. Anal. Inform. Sist., 2012, Volume 19, Number 4,Pages <nobr>67

On one A. I. Mal'cev's Question from the “Kourovskaya Notebook”

V. G. Durnev

P. G. Demidov Yaroslavl State University

Abstract: It is shown that the derived subgroup of the free group is not first-oder definable.

Keywords: free group, derived subgroup, first-oder definable subgroup.

UDC: 510.53+512.54.0+512.54.03+512.54.05+512.543.72

Received: 10.05.2012