АЛГЕБРЫ РИСА И КОНГРУЭНЦ-АЛГЕБРЫ РИСА В ОДНОМ КЛАССЕ АЛГЕБР С ОПЕРАТОРОМ И ОСНОВНОЙ ОПЕРАЦИЕЙ ПОЧТИ ЕДИНОГЛАСИЯ

Abstract

The concept of Rees congruence was originally introduced for semigroups. R. Tichy generalized this concept to universal algebras. Let A be an universal algebra. Denote by △ the identity relation on A . Any congruence of the form B 2 ∪△ on A for some subalgebra B of A is called a Rees congruence. Subalgebra B of A is called a Rees subalgebra whenever B 2 ∪△ is a congruence on A . An algebra A is called a Rees algebra if its every subalgebra is a Rees one. In this paper we introduce concepts of Rees simple algebra and Rees congruence algebra. A non-one-element universal algebra A is called Rees simple algebra if any Rees congruence on A is trivial. An universal algebra A is called Rees congruence algebra if any congruence on A is Rees congruence. Universal algebra is called an algebra with operators if it has an additional set of unary operations acting as endomorphisms with respect to basic operations. For algebras with one operator and an arbitrary basic signature some conditions to be Rees algebra are obtained. Necessary condition under which algebra of the same class is Rees congruence algebra is given. For algebras with one operator and a connected unary reduct that has a loop element and does not contain the nodal elements, except, perhaps, the loop element necessary condition for their Rees simplicity are obtained. A n-ary operation ( n > 3 ) is called near-unanimity operation if it satisfies the identities (x , . . . , x , y ) = ( x , . . . , x , y , x ) = . . . = ( y , x , . . . , x ) = x . If n = 3 then operation is called a majority operation. Rees algebras and Rees congruence algebras of class algebras with one operator and basic near-unanimity operation g ( n ) which defined as follows g (3) ( x 1 , x 2 , x 3 ) = m ( x 1 , x 2 , x 3 ) , g ( n ) ( x 1 , x 2 , . . . , x n ) = m ( g ( n − 1) ( x 1 , x 2 , . . . , xn − 1 ) , xn − 1 , xn ) ( n > 3) are fully described. Under m ( x 1 , x 2 , x 3 ) we mean here a majority operation which permutable with unary operation and which was defined by the author on arbitrary unar according to the approach offered by V.K. Kartashov.