Квазимногообразия унаров с конечным числом циклов

Унаром называется алгебра $\langle A, f\rangle$ с одной унарной операцией $f$. Унар $C_n^\circ=(a| a=af^n)$, $n>0$, называется циклом длины $n$. Получены следующие результаты: 1) Квазимногообразия унаров, содержащие лишь конечное множество циклов, имеют независимый базис квазитождеств. 2) Квазимногообразия, содержащие лишь конечное множество циклов, и только они имеют более чем счетное множество подквазимногообразий. 3) Решетка $S_V(N^\circ)$ полных $V$-подполурешеток решетки $N^\circ$ неотрицательных целых чисел по делимости изоморфна решетке $Lq(\mathfrak{A})$ подквазимногообразий некоторого квазимногообразия $\mathfrak{A}$ унаров. Отсюда выводится, что свободная решетка $FL(\omega)$ счетного ранга вложима в решетку всех квазимногообразий унаров. 4) Существует континуум квазимногообразий, не имеющих покрытий в решетке всех кваэимногообразий унаров.