Пинус А. Г.
Рациональная эквивалентность алгебр, ее «клоновые» обобщения и «клоновая» категоричность
С любой универсальной алгеброй  = ‹A; σ› тем или иным естественным образом связаны различные клоны функций на множестве A. Простейший и минимальный из них — клон Tr () термальных функций алгебры — замыкание совокупности сигнатурных функций этих алгебр относительно оператора суперпозиции. Совпадение подобных клонов (с точностью до сопряжения биекциями основных множеств алгебр) порождает различные отношения эквивалентности на универсальных алгебрах, первой в ряду которых является отношение рациональной эквивалентности, введенное А. И. Мальцевым. Рассмотрению подобных ѕклоновыхї эквивалентностей между алгебрами произвольных сигнатур и посвящена данная работа.
|
Pinus A. G.
Rational equivalence of algebras, its clone generalizations, and clone categoricity
The clones of functions on a set A are related to an arbitrary universal algebra = ‹A; σ› in various natural ways. The simplest and minimal of them is the clone Tr () of termal functions of the algebra , that is, the closure of the collection of signature functions of these algebras with respect to the operator of superposition. The coincidence of similar clones (up to conjugation by the bijections of the underlying sets of the algebras) generates various equivalence relations on universal algebras, the first of which is the relation of rational equivalence introduced by Mal’tsev. This article deals with clone equivalences of this kind between algebras of arbitrary signatures.
|
