Related papers: Cheban loops

C-loops are loops satisfying the identity $x(y\cdot yz) = (xy\cdot y)z$. We develop the theory of extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an abelian group. C-loops with central squares have…

A question associated with the 2005 open problem of Michael Kinyon (Is every Osborn loop universal?), is answered. Two nice identities that characterize universal (left and right universal) Osborn loops are established. Numerous new…

A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. In this paper, some new algebraic properties of a middle Bol loop are established. Four bi-variate mappings…

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…

We give a general construction for right conjugacy closed loops, using $GL(2,q)$ for $q$ a prime power. Under certain conditions, the loops constructed are simple, giving the first general construction for finite, simple right conjugacy…

We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is…

A bijection $f$ of a loop $L$ is a half-automorphism if $f(xy)\in \{f(x)f(y),f(y)f(x)\}$, for any $x,y\in L$. A half-automorphism is nontrivial when it is neither an automorphism nor an anti-automorphism. A Chein loop $L=G\cup Gu$ is a…

Although little can be gleaned about a loop with the property that its squares are, say, left nuclear ($xx\cdot yz = (xx\cdot y)z$), if its squares are also, say, middle nuclear ($(x\cdot yy)z = x(yy\cdot z)$), then the loop exhibits more…

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…

A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of…

In his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop…

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…

C-loops are loops satisfying $x(y(yz))=((xy)y)z$. They often behave analogously to Moufang loops and they are closely related to Steiner triple systems and combinatorics. We initiate the study of C-loops by proving: (i) Steiner loops are…

In this paper are defined cohomology-like groups that classify loop extensions satisfying a given identity in three variables for association identities, and in two variables for the case of commutativity. It is considered a large amount of…

Thin Lie algebras are Lie algebras over a field, graded over the positive integers and satisfying a certain narrowness condition. In particular, all homogeneous components have dimension one or two, and are called diamonds in the latter…

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…

This work provides a characterization of left and right Zinbiel algebras.Basic identities are established and discussed, showing that Zinbiel algebras are center-symmetric, and therefore Lie-admissible algebras. Their bimodules are given,…

Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. The…

An adjoint Chevalley group of rank at least 2 over a rational algebra (or a similar ring), its elementary subgroup, and the corresponding Lie ring have the same automorphism group. These automorphisms are explicitly described.

We initiate the systematic study of loop conditions of arbitrary finite width. Each loop condition is a finite set of identities of a particular shape, and satisfaction of these identities in an algebra is characterized by it forcing a…