Тождества в решетках замкнутых классов

Работа посвящена изучению решетки замкнутых классов функций $k$-значной логики. В ней, в частности, доказано, что в указанную решетку $\mathcal L(P_k)$ при $k\geqslant3$ и $k\geqslant4$ вложимы соответственно решетки подполугрупп свободных полугрупп рангов $n=1$, $n\geqslant2$. Отсюда следует отрицательный ответ на известный вопрос о выполнимости в решетке $\mathcal L(P_k)$ при $k\geqslant3$ какого-либо нетривиального тождества.