0 типах интерпретируемости регулярных многообразий алгебр

Доказывается, что для любого регулярного многообразия $V$ алгебр тип интерпретируемости $[V]$ в решетке ${\mathbb L}^{\rm int}$ примарен по пересечению и поэтому имеет не более одного покрытия. При этом единственное покрытие для $[V]$, если оно существует, непременно бесконечно. Для локально конечного регулярного многообразия $V$ тип $[V]$ не имеет покрытий. Среди регулярных многообразий алгебр особенно интересными оказались циклические. Каждое из них есть многообразие $n$-группоидов $(A;f)$, определимое тождеством $f(x_1,\dots, x_n)=f(x_{\lambda(1)},\dots,x_{\lambda(n)})$, где $\lambda$ – $n$-цикл степени $n\geqslant 2$. Типы интерпретируемости циклических многообразий составляют в решетке ${\mathbb L}^{\rm int}$ подполурешетку, изоморфную полурешетке свободных от квадратов натуральных чисел $n\geqslant 2$ с операцией $m\vee n=[m,n]$ (н.о.к.).