Equational quasigroup definitions
英文摘要：
Quasigroup equational definitions are given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
The varieties of quasigroups of Bol-Moufang type: An equational reasoning approach
A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 such varieties, determine all inclusions between them, and provide all necessary counterexamples. We also determine which of these varieties consist of loops or one-sided loops, and fully describe the va…
math.GR
F-quasigroups and generalized modules
In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and the equational class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring.
math.GRmath.RA
On definition of CI-quasigroup
Groupoid $(Q, \cdot)$ in which equality $(xy)Jx = y$ is true for all $x, y \in Q$, where $J$ is a map of the set $Q$, is a CI-quasigroup.
math.GR
A-nuclei and A-centers of a quasigroup
A-nuclei (groups of regular permutations) of a quasigroup are studied. A quasigroup is A-nuclear if and only if it is group isotope. Any quasigroup with permutation medial or paramedial identity is an abelian group isotope. Definition of A-center of a quasigroup is given. A quasigroup is A-central if and only if it is abelian group isotope. If a quasigroup is central in Belyavskaya-Smith sense, then it is A-central. Conditions when A-nucleus define normal congruence of a quasigroup are established, conditions normality of nuclei of some inverse quasigroups are given. Notice, definition of A-nu…
math.GR
