О квазитождествах в свободной группе

Показано, что система квазитождеств, истинных в свободных группах, не имеет базиса квазитождеств от конечного числа переменных. В частности, установлено, что квазимногообразие, порожденное свободными группами, не может быть определено внутри класса групп без кручения никакой конечной системой квазитождеств.