相关论文: F-quasigroups isotopic to groups

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…

It is proved that any left F-quasigroup is isomorphic to the direct product of a left F-quasigroup with a unique idempotent element and isotope of a special form of a left distributive quasigroup. The similar theorems are proved for right…

We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We…

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…

Power graphs of both groups and semigroups have been widely studied. While the power graph of a quasigroup can be defined analogously to that of a group, power graphs of quasigroups and loops have thus far been little studied. In this paper…

We prove that if the squaring map in the factor loop of a Moufang loop $Q$ over its nucleus is surjective, then every half-isomorphism of $Q$ onto a Moufang loop is either an isomorphism or an anti-isomorphism. This generalizes all earlier…

We deal with solutions of classical linear equations ax=b and ya=b, applying a particular lattice valued fuzzy technique. Our framework is a structure with a binary operation (a groupoid), equipped with a fuzzy equality. We call it a fuzzy…

The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…

Let $C(F)$ be a matrix Cayley-Dickson algebra over field $F$. By $M_0(F)$ we denote the loop containing of all elements of algebra $C(F)$ with norm 1. It is shown in this paper that with precision till isomorphism the loops $M_0(F)/<-1>$…

Moufang loops are one of the best-known generalizations of groups. There is only one countable family of nonassociative finite simple Moufang loops, arising from the split octonion algebras. We prove that every member of this family is…

Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are…

It is proved that the mapping class group of any closed surface with finitely many marked points is quasiisometric to a CAT(0) cube complex. We provide two distinct proofs, one tailored to mapping class groups, and one applying to a larger…

The right(left) derivative, $a^{-1},e-$ and $e,a^{-1}-$ isotopes of a C-loop are shown to be C-loops. Furthermore, for a central loop $(L,F)$, it is shown that $\big\{F,F^{a^{-1}},F_{a^{-1},e}\big\}$ and…

The paper defines the notion of alternative loop algebra F[Q] for any nonassociative Moufang loop Q as being any non-zero homomorphic image of the loop algebra FQ of a loop Q over a field F. For the class M of all nonassociative alternative…

This paper concerns the study of regular Fourier hypergroups through multipliers of their associated Fourier algebras. We establish hypergroup analogues of well-known characterizations of group amenability, introduce a notion of weak…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most…

It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of…

Let $(G,*)$ and $(G',\cdot)$ be groupoids. A bijection $f: G \rightarrow G'$ is called a half-isomorphism if $f(x*y)\in\{f(x)\cdot f(y),f(y)\cdot f(x)\}$, for any $ x, y \in G$. A half-isomorphism of a groupoid onto itself is a…

Let $F$ be a perfect field and $M^*(F)$ the nonassociative simple Moufang loop consisting of the units in the (unique) split octonion algebra $O(F)$ modulo the center. Then $Aut(M^*(F))$ is equal to $G_2(F) \rtimes Aut(F)$. In particular,…