Касымов Н. Х.
О гомоморфизмах на эффективно отделимые алгебры

Исследуются различные вариации понятия отделимой нумерации, на основе которых описывается ряд алгоритмических и алгебраических понятий. В частности, на базе и в рамках понятия отделимой нумерации охарактеризованы негативные эквивалентности, описаны нумерованные алгебры с наиболее общими условиями отделимости, дан критерий отделимости для нумерованных алгебр с условиями минимальности для решеток их конгруэнций и рассмотрены вопросы, связанные с алгоритмическими сложностями нумераций алгебр, удовлетворяющих различным типам аксиом отделимости.

N. Kh. Kasymov
Homomorphisms onto effectively separable algebras

We study variations of the concept of separable enumeration and, basing on that, describe a series of algorithmic and algebraic concepts. In this framework we characterize negative equivalences, describe enumerated algebras with the most general separability conditions, give a separability criterion for the enumerated algebras satisfying the descending chain condition for the lattices of congruences, and consider some questions related to the algorithmic complexity of enumerations of the algebras satisfying various separability axioms.

DOI 10.17377/smzh.2016.57.105
Ключевые слова: негативная и позитивная эквивалентности, отделимая и эффективно отделимая нумерации алгебр, артинова решетка конгруэнций, аксиомы отделимости

Полный текст статьи / Full texts:

• PDF file
• PostScript file