REES ALGEBRAS AND REES CONGRUENCE ALGEBRAS OF ONE CLASS OF ALGEBRAS WITH OPERATOR AND BASIC NEAR-UNANIMITY OPERATION

The concept of Rees congruence was originally introduced for semigroups. R. Tichy generalized this concept to universal algebras. Let Abe an universal algebra. Denote by △ the identity relation on A. Any congruence of the form B2 ∪△ on Afor some subalgebra Bof Ais called a Rees congruence. Subalgebra Bof Ais called a Rees subalgebra whenever B2 ∪△ is a congruence on A. An algebra Ais 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 Ais called Rees simple algebra if any Rees congruence on A is trivial. An universal algebra Ais called Rees congruence algebra if any congruence on Ais 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)(x1, x2, x3) = m(x1, x2, x3), g(n)(x1, x2, . . . , xn) = m(g(n−1)(x1, x2, . . . , xn−1), xn−1, xn) (n > 3) are fully described. Under m(x1, x2, x3) 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.

1. Rees, D. 1940, "On semigroups" , Proc. of the Cambridge Philosophical Society, vol. 36, pp. 387– 400.

2. Tichy, R. F. 1981, "The Rees congruences in universal algebras" , Publications de l’Institut Mathematique (Beograd), vol. 29, pp. 229–239.

3. Chajda, I. 1997, "Rees ideal algebras" , Mathematica Bohemica, vol. 122, no. 2, pp. 125–130.

4. Chajda, I. & Duda, J. 1985, "Rees algebras and their varieties" , Publicationes Mathematicae (Debrecen), vol. 32, pp. 17–22.

5. ˇSeˇselja, B. & Tepavˇcevi’c, A. 1995, "On a characterization of Rees varieties" , Tatra Mountains Mathematical Publications, vol. 5, pp. 61–69.

6. Chajda, I., Eigenthaler, G. & Langer, H. 2003, "Congruence classes in universal algebra" , Heldermann Verlag, Vienna, 192 pp.

7. Lavers, T. & Solomon, A. 1999, "The endomorphisms of a finite chain form a Rees congruence semigroup" , Semigroup Forum, vol. 59, issue 2, pp. 167–170. DOI: 10.1007/PL00006004

8. Baker, K. A. & Pixley, A. 1975, "Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems" , Mathematische Zeitschrift, vol. 143, pp. 165–174. DOI: 10.1007/BF01187059

9. Markovi’c, P. & McKenzie, R. 2008, "Few subpowers, congruence distributivity and nearunanimity terms" , Algebra Universalis, vol. 58, pp. 119–128. DOI: 10.1007/s00012-008-2049-1

10. Jeavons, P., Cohen, D. & Cooper, M. 1998, "Constraints, consistency and closure" , Artificial Intelligence, vol. 101, pp. 251-265. DOI: 10.1016/S0004-3702(98)00022-8

11. Usol’tsev, V. L. 2013, "On strictly simple ternary algebras with operators" , Chebyshevskiy sbornik, vol. 14, issue 4(48), pp. 196–204. (Russian)

12. Kartashov, V. K. 1999, "On unars with Mal’tsev operation" , Universal’naya algebra i ee prilozheniya: Tezisy soobshcheniy uchastnikov mezhdunarodnogo seminara, posvyashchennogo pamyati prof. Mosk. gos. un-ta L.A. Skornyakova (Universal algebra and application: theses of International workshop dedicated memory of prof. L.A. Skornyakov), Volgograd, pp. 31–32. (Russian)

13. Usol’tsev, V. L. 2014, "On Hamiltonian ternary algebras with operators" , Chebyshevskiy sbornik, vol. 15, issue 3(51), pp. 100–113. (Russian)

14. Usol’tsev, V. L. 2016, "On congruence lattices of algebras with one operator and basic nearunanimity operation" , Nauchno-tekhn. vestnik Povolzhya, issue 2, pp. 28–30. (Russian)

15. Usol’tsev, V. L. 2008, "Simple and pseudosimple algebras with operators" , Fundamental’naya i prikladnaya matematika, vol. 14, no. 7, pp. 189–207 (Russian); translated in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281-293. DOI: 10.1007/S1095800997306

16. Usol’tsev, V. L. 2015, "On hamiltonian closure on class of algebras with one operator" , Chebyshevskiy sbornik, vol. 16, issue 4(56), pp. 284–302. (Russian)

17.