The subdirect irreducibility and the atoms of congruence lattices of algebras with one operator and the symmetric main operation

Vadim Leonidovich Usoltsev

doi:10.22405/2226-8383-2021-22-2-257-270

Abstract

In that paper we study atoms of congruence lattices and subdirectly irreducibility of algebras with one operator and the main symmetric operation. A ternary operation 𝑑(𝑥, 𝑦, 𝑧) satisfying identities 𝑑(𝑥, 𝑦, 𝑦) = 𝑑(𝑦, 𝑦, 𝑥) = 𝑑(𝑦, 𝑥, 𝑦) = 𝑥 is called a minority operation. The symmetric operation is a minority operation defined by specific way. An algebra 𝐴 is called subdirectly irreducible if 𝐴 has the smallest nonzero congruence. An algebra with operators is an universal algebra whose signature consists of two nonempty non-intersectional parts: the main one which can contain arbitrary operations, and the additional one consisting of operators. The operators are unary operations that act as endomorphisms with respect to the main operations, i.e., one that permutable with main operations. A lattice 𝐿 with zero is called atomic if any element of 𝐿 contains some atom. A lattice 𝐿 with zero is called atomistic if any nonzero element of 𝐿 is a join of some atom set. It shown that congruence lattices of algebras with one operator and main symmetric operation are atomic. The structure of atoms in the congruence lattices of algebras in given class is described. The full describe of subdirectly irreducible algebras and of algebras with an atomistic congruence lattice in given class is obtained.

Highlights

Атомами решетки конгруэнций алгебры ⟨A, s, f ⟩ являются те и только те конгруэнции, которые определены одним из следующих способов: 1) ▽A, если операция f инъективна на A, либо унар ⟨A, f ⟩ является корнем глубины 1; 2) θv, если унар ⟨A, f ⟩ неизоморфен корню глубины 1 и содержит узловой элемент v; 3) θB, если унар ⟨A, f ⟩ неизоморфен корню глубины 1 и имеет собственный подунар B ∼= C11, где для всех x ∈ A ∖ B элемент f (x) не совпадает с неподвижным элементом подунара B
Отсюда по лемме 1 [24] получаем, что унар ⟨A, f ⟩ является корнем глубины 1, то есть на ⟨A, f ⟩ выполняется условие 2) теоремы

Summary

Introduction

Элемент a решетки ⟨L, ⟩ с нулем 0 называется атомом, если для любого x ∈ L из 0 < x a следует, что x = a. Пусть унар ⟨A, f ⟩ содержит собственный подунар B, изоморфный C11, причем для всех x ∈ A∖B выполняется f (x) ̸= a, где a — неподвижный элемент B.

Results

Conclusion