Related papers: When is the commutant of a Bol loop a subloop?

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially…

Let $G$ be a finite group and $H$ a subgroup of $G$. Each left transversal (with identity) of $H$ in $G$ has a left loop (left quasigroup with identity) structure induced by the binary operation of $G$. We say two left transversals are…

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in…

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.

Code loops are Moufang loops constructed from doubly even binary codes. Then, given a code loop $L$, we ask which doubly even binary code $V$ produces $L$. In this sense, $V$ is called a representation of $L$. In this article we define and…

Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the…

A \emph{loop} $(B,\cdot)$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\cdot x$ and $R_{a}:B\to B: x \mapsto x\cdot a$ are…

Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is…

We introduce a class of non-Moufang loops satisfying the Moufang's theorem.

A commutative loop is Jordan if it satisfies the identity $x^2 (y x) = (x^2 y) x$. Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order $n$ exists if and only if $n\geq 6$ and $n\neq 9$.…

Given a uniquely 2-divisible group $G$, we study a commutative loop $(G,\circ)$ which arises as a result of a construction in \cite{baer}. We investigate some general properties and applications of $\circ$ and determine a necessary and…

We present a classification of finite $p$-groups $G$ with $\gamma_2(G)$, the commutator subgroup of $G$, of order $p^4$ and exponent $p$ such that not all elements of $\gamma_2(G)$ are commutators.

For commuting linear operators $P_0,P_1,..., P_\ell$ we describe a range of conditions which are weaker than invertibility. When any of these conditions hold we may study the composition $P=P_0P_1... P_\ell$ in terms of the component…

An element $x$ of a lattice $L$ is modular if $L$ has no five-element sublattice isomorphic to the pentagon in which $x$ would correspond to the lonely midpoint. In the present work, we classify all modular elements of the lattice of all…

We prove that if $S$ is a $le$-semigroup in which left ideal elements commute (condition which is called $\mathbf{\Lambda}$), then any $\mathcal{J}$-class satisfying the Green condition is a subsemigroup of $S$. As a corollary of this we…

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…

The quaternions are non-commutative. The deviation from commutativity is encapsulated in the commutator of unit quaternions. It is known that the k-th power of the commutator is null-homotopic if and only if k is divisible by 12. The main…

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$…

We say that a loop is unbreakable when it does not have nontrivial subloops. While the cyclic groups of prime order are the only unbreakable finite groups, we show that nonassociative unbreakable loops exist for every order n >= 5. We…

The operators on $\ell_{\infty}$ which are commutators are those not of the form $\lambda I + S$ with $\lambda\neq 0$ and $S$ strictly singular.