Identities in fixed dimension algebras of multioperations

N. A. Peryazev

The Bulletin of Irkutsk State University. Series Mathematics, Tome 29 (2019), pp. 86-97

Résumé

In algebras of multioperations, unlike algebras of operations, the superassociativity identity does not hold, but only the semi-superassociavity identity is true. For a more detailed study of the identities satisfiable in fixed dimension algebras of multioperations, this work defines the variety to which these algebras belong. In particular, among these identities defining a variety, an identity is introduced that similar to the Dedekind relation for binary relations. From the introduced identities, some consequences are derived that satisfiable in the fixed dimension algebras of multioperations. Note that the variety is defined in a language whose symbols are interpreted by the superposition metaoperations, the first argument permissibility, and constant projection metaoperations for each argument and the zero multioperation. In this language, the terms are the intersection meta-operations, the permissibility by any argument, the full multioperation, and the inclusion multioperation. Another interesting task is studying quasiidentities satisfiable in the fixed dimension algebras of multioperations.

Détail

Keywords: multioperation, algebras of multioperations, identity.
Mots-clés : superposition

Bibliographie

[1] Peryazev N. A.,Sharanchaev I. K., “Algebras of Multioperations”, Collection of papers, Algebra and Model Theory, 11, NSTU Publ., Novosibirsk, 2017, 102–111 (in Russian)

[2] Peryazev N. A., “Algebras of $n$-ary Operations and Multioperations”, XV International Conference «Algebra, Number Theory and Discrete Geometry: modern problems and applications», Tula State Pedagogical University, Tula, 2018, 113–116 (in Russian)

[3] Peryazev N. A., “Finite Algebras of Multioperations”, XVI International Conference «Algebra, Number Theory and Discrete Geometry: modern problems, applications and history problems», Tula State Pedagogical University, Tula, 2019, 51–54 (in Russian)

[4] Peryazev N. A., “Galois Theory for Finite Algebras of Operations and Multioperations of Rank 2”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 113–122 (in Russian) | DOI | MR | Zbl

[5] Pinus A. G., “Dimension of functional clons, metric on its collection”, Siberian Electronic Mathematical Reports, 13, 2016, 366–374 (in Russian) | DOI | MR | Zbl

[6] Pinus A. G., “Fragments of the functional clones as method of a research of last”, Collection of papers, Algebra and Model Theory, 11, NSTU Publ., Novosibirsk, 2017, 118–129 (in Russian)

[7] Pinus A. G., “On fragments of the functional clones”, Algebras and Logic, 54:4 (2017), 477–485 (in Russian) | DOI | MR | Zbl

[8] Trokhimenko V. S., “On certain Menger algebras of relations”, Izvestiya VUZ. Matematika, 2 (1978), 87–95 (in Russian) | Zbl

[9] Menger K., “The algebra of functions: past, present, future”, Rend. Matem., 20:3–4 (1961), 409–430 | MR | Zbl

[10] Poschel R., Kaluzhnin L. A., Function and Relaction Algebras, Berlin, 1979, 259 pp. | MR

[11] Riguet J., “Relations binaires, fermetures, correspondances de Galois”, Bull. Soc. Math. France, 76:1–4 (1948), 114–155 | MR