Об алгебрах Менгера фиксированного ранга

Abstract

Для конечнопорожденной свободной алгебры Менгера ранга показано существо-вание счетной цепи свободных подалгебр. Далее показано как гиперподстановки продол-жаются до эндоморфизмов этих алгебр. Гиперподстановки задают гипертождества; отсюда выводится относительная жесткость некоторых многообразий.

The well-known connection between hyperidentities of an algebra and identities satisfied by the clone of this algebra is studied in a restricted setting, that of -ary full hyperidentities and identities of the -ary clone of term operations which are induced by full terms. Here we introduce a notion of - full terms and we prove that the -ary -full terms form a Menger algebra of rank . So, we obtain a counting chain of free algebras.