Semi-lattice of varieties of quasigroups with linearity

• Published in: Algebra and Discrete Mathematics
• Date: 2021
• Main Authors: Sokhatsky, F.M., Krainichuk, H.V., Sydoruk, V.A.
• Format: Article
• Language: English
• Published: Інститут прикладної математики і механіки НАН України 2021
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/188711
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Semi-lattice of varieties of quasigroups with linearity / F.M. Sokhatsky, H.V. Krainichuk, V.A. Sydoruk // Algebra and Discrete Mathematics. — 2021. — Vol. 31, № 2. — С. 261–285. — Бібліогр.: 29 назв. — англ.

A σ-parastrophe of a class of quasigroups is a class σ of all σ-parastrophes of quasigroups from . A set of all pairwise parastrophic classes is called a parastrophic orbit or a truss. A parastrophically closed semi-lattice of classes is a bunch. A linearity bunch is a set of varieties which contains the variety of all left linear quasigroups, the variety of all left alinear quasi-groups, all their parastrophes and all their intersections. It contains 14 varieties, which are distributed into six parastrophic orbits. All quasigroups from these varieties are called dilinear. To obtain all varieties from the bunch, concepts of middle linearity and middle alinearity are introduced. A well-known identity or a system of identities which describes a variety from every parastrophic orbit of the bunch is cited. An algorithm for obtaining identities which describe all varieties from the parastrophic orbits is given. Examples of quasigroups distinguishing one variety from the other are presented.