Rees algebras and Rees congruence algebras of one class of algebras with operator and basic near-unanimity operation

V. L. Usol'tsev

Čebyševskij sbornik, Tome 17 (2016) no. 4, pp. 157-166.

Résumé

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 $\bigtriangleup$ the identity relation on $A$. Any congruence of the form $B^2 \cup \bigtriangleup$ 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 \cup \bigtriangleup$ 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 $\varphi$ ($n \geqslant 3$) is called near-unanimity operation if it satisfies the identities $\varphi(x, \ldots, x, y) = \varphi(x, \ldots, x, y, x) = \ldots =$ $\varphi(y, x, \ldots, x)=x$. If $n=3$ then operation $\varphi$ 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, \ldots,x_n) = m(g^{(n-1)}(x_1,x_2, \ldots,x_{n-1}),x_{n-1},x_n)$ $(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. Bibliography: 16 titles.

Détail

Keywords: Rees algebra, Rees congruence, Rees simple algebra, Rees congruence algebra, algebra with operators, near-unanimity operation.

Bibliographie

[1] Rees D., “On semigroups”, Proc. Cambridge Phil. Soc., 36 (1940), 387–400 | DOI | MR

[2] Tichy R. F., “The Rees congruences in universal algebras”, Publ. Inst. Math. (Beograd), 29 (1981), 229–239 | MR | Zbl

[3] Chajda I., “Rees ideal algebras”, Math. Bohem., 122:2 (1997), 125–130 | MR | Zbl

[4] Chajda I., Duda J., “Rees algebras and their varieties”, Publ. Math. (Debrecen), 32 (1985), 17–22 | MR | Zbl

[5] Šešelja B., Tepavčević A., “On a characterization of Rees varieties”, Tatra Mountains Math. Publ., 5 (1995), 61–69 | MR

[6] Chajda I., Eigenthaler G., Langer H., Congruence classes in universal algebra, Heldermann-Verl., Vienna, 2003, 192 pp. | MR | Zbl

[7] Lavers T., Solomon A., “The endomorphisms of a finite chain form a Rees congruence semigroup”, Semigroup Forum, 59:2 (1999), 167–170 | DOI | MR | Zbl

[8] Baker K. A., Pixley A., “Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems”, Math. Zeitschrift, 143 (1975), 165–174 | DOI | MR | Zbl

[9] Marković P., McKenzie R., “Few subpowers, congruence distributivity and near-unanimity terms”, Algebra Universalis, 58 (2008), 119–128 | DOI | MR | Zbl

[10] Jeavons P., Cohen D., Cooper M., “Constraints, consistency and closure”, Artificial Intelligence, 101 (1998), 251–265 | DOI | MR | Zbl

[11] Usol'tsev V. L., “On strictly simple ternary algebras with operators”, Chebyshevskiy sbornik, 14:4(48) (2013), 196–204 (Russian)

[12] Kartashov V. K., “On unars with Mal'tsev operation”, Universal algebra and application, Theses of International workshop dedicated memory of prof. L. A. Skornyakov, Volgograd, 1999, 31–32 (Russian)

[13] Usol'tsev V. L., “On Hamiltonian ternary algebras with operators”, Chebyshevskiy sbornik, 15:3(51) (2014), 100–113 (Russian)

[14] Usol'tsev V. L., “On congruence lattices of algebras with one operator and basic near-unanimity operation”, Nauchno-tekhn. vestnik Povolzhya, 2016, no. 2, 28–30 (Russian)

[15] Usol'tsev V. L., “Simple and pseudosimple algebras with operators”, Journal of Mathematical Sciences, 164:2 (2010), 281–293 | DOI | MR | Zbl | Zbl

[16] Usol'tsev V. L., “On hamiltonian closure on class of algebras with one operator”, Chebyshevskiy sbornik, 16:4(56) (2015), 284–302 (Russian)