相关论文: Commutants of Bol loops of Odd Order

A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop.…

In the spirit of Glauberman's fundamental work in B-loops and Moufang loops, we prove Cauchy and strong Lagrange theorems for Bol loops of odd order. We also establish necessary conditions for the existence of a simple Bol loop of odd…

We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

Let $p>q$ be odd primes. We classify Bol loops and Bruck loops of order $pq$ up to isotopism. When $q$ does not divide $p^2-1$, the only Bol loop (and hence the only Bruck loop) of order $pq$ is the cyclic group of order $pq$. When $q$…

We classify Bol loops of order $27$, using a combination of theoretical results and computer search. There are $15$ Bol loops of order $27$, including five groups. New constructions for the ten nonassociative Bol loops of order $27$ are…

Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above…

We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops.

The existence of A$_\rho$-loops, A$_\lambda$-loops and A$_\mu$-loops that are neither extra loops nor CC-loops such that any two of their inner mappings $R(x,y),L(x,y)$ and $T(x)$ commute while the other one is of order 2 is shown.

We define a new variety of loops we call $\Gamma$-loops. After showing $\Gamma$-loops are power associative, our main goal will be showing a categorical isomorphism between Bruck loops of odd order and $\Gamma$-loops of odd order. Once this…

A Bol loop is a loop that satisfies the Bol identity $(xy.z)y=x(yz.y)$. If $L$ is a loop and $f:L\to L$ is a bijection such that $f(xy)\in\{f(x)f(y),f(y)f(x)\}$, for every $x$, $y\in L$, then $f$ is called a half-automorphism of $L$. In…

Let $G$ be an odd order nilpotent group with class 2 and $e$ denotes the exponent of its commutator subgroup. Let $e=p_1^{r_1}p_2^{r_2}... p_s^{r_s}$, where $p_i$'s are odd primes and $r_i$'s are non-negative integers. Then there are at…

The existence of finite simple non-Moufang Bol loops was considered as one of the main open problems in the theory of loops and quasigroups. In this paper, we present a class of proper simple Bol loops. This class also contains finite and…

The injective hulls of odd cycles are described explicitly.

The pair $(G_H,\cdot)$ is called a special loop if $(G,\cdot)$ is a loop with an arbitrary subloop $(H,\cdot)$. A special loop $(G_H,\cdot)$ is called a second Smarandache Bol loop(S$_{2^{{\tiny\textrm{nd}}}}$BL) if and only if it obeys the…

If the left multiplication group of a loop is simple, then the loop is simple. We use this observation to give examples of infinite simple Bol loops.

We define an analogue of the Bol operator on spaces of weakly holomorphic modular forms of half-integral weight. We establish its main properties and relation with other objects.

We partially answer two questions of Goodaire by showing that in a finite, strongly right alternative ring, the set of units (if the ring is with unity) is a Bol loop under ring multiplication, and the set of quasiregular elements is a Bol…

We give a representative of every coadjoint orbit of the odd symplectic group. Our argument follows that used for the Poincar\`{e} group but the details differ.

We construct two infinite series of Moufang loops of exponent $3$ whose commutative center (i.e. the set of elements that commute with all elements of the loop) is not a normal subloop. In particular, we obtain examples of such loops of…

This paper is an attempt to find out which properties of a finite group G can be expressed in terms of commutators of elements of coprime orders. A criterion of solubility of G in terms of such commutators is obtained. We also conjecture…