Базисна еквiвалентнiсть у класi унiверсальних булевих алгебр

Abstract

У роботi вводиться поняття базисної еквiвалентностi, будується фактор-решiтка класу алгебр 𝑀2, встановлюється розташування вершин у фактор-решiтцi по бази- снiй еквiвалетностi класу 𝑀2. Будуються сигнатурнi графи сумiжних класiв алгебри 𝑀2. Дослiджується 265 елементна базисна решiтка фактор класу 𝑀1 2 /𝜎. Доводиться теорема про потужнiсть класу 𝑀2/𝜎. Ключовi слова: базисна еквiвалентнiсть, базисна решiтка, сигнатурний граф сумi- жних класiв

Mych I. A., Nykolenko V. V., Vartsaba O. V. Basic equivalence in class universal boolean algebras. In this paper, the concept of basic equivalence has been introduced and the factorgrating 𝑅(𝑀1 2 /𝜎) of the class of algebras 𝑀2 is obtained. The ordering of the vertexes of factor-grating of basic equivalence of the class 𝑀2 is installed. The signature graph of the adjacent classes of algebra 𝑀2 is given. 265-elements bases grating factor class 𝑀1 2 /𝜎 is investigated. Theorem about the power of class 𝑀2/𝜎 has been proven. Keywords: Basic Equivalence, basic grating, the signature graph of the adjacent classes.