Свободные алгебры многообразия унаров с мальцевской операцией $p$, заданного тождеством $p(x,y,x)=y$

В работе дается описание конструкции свободных алгебр многообразия унаров с мальцевской операцией $p$, заданного тождеством $p(x,y,x)=y$, доказываются разрешимость проблемы равенства слов и единственность свободного базиса в свободных алгебрах, а также выполнение в свободных алгебрах конечного ранга свойства Хопфа.