We show that the skew-symmetrized product on every Leib-niz algebra E can be realized on a reductive complement to a subalgebra in a Lie algebra. As a consequence, we construct a nonassociative multiplication on E which, when E is a Lie algebra, is derived from the integrated adjoint representation. We apply this construction to realize the bracket… (More)
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 power-associative and |Q| is finite and relatively prime to 6, then Q is a group. If Q is a finite non-associative extra loop, then 16 |… (More)
We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If Q is a PACC-loop with nucleus N , then Q/N is an abelian group of exponent 12; if in addition Q is finite, then |Q| is divisible by 16 or by 27. There are eight nonassociative PACC-loops of order 16, three of which are not extra loops. There are eight nonassociative… (More)
Let F be a family of finite loops closed under subloops and factor loops. Then every loop in F has the strong Lagrange property if and only if every simple loop in F has the weak Lagrange property. We exhibit several such families, and indicate how the Lagrange property enters into the problem of existence of finite simple loops. The two most important open… (More)
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 then use the loop to reveal the structure of the associated F-quasigroup.
An A-loop is a loop in which every inner mapping is an automor-phism. A problem which had been open since 1956 is settled by showing that every diassociative A-loop is Moufang.
C-loops are loops satisfying the identity x(y · yz) = (xy · 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 very transparent extensions; they can be built from small blocks arising from the underlying Steiner triple system. Using these… (More)
In this paper we derive and analyze a discontinuous stabilizing feedback for a Lie algebraic generalization of a class of kinematic nonholonomic systems introduced by Brockett. The algorithm involves discrete switching between isospectral and norm-decreasing ows. We include a rigorous analysis of the convergence. 1. Introduction. In this paper we present a… (More)
Bruck loops are Bol loops satisfying the automorphic inverse property. We prove a structure theorem for finite Bruck loops X, showing that X is essentially the direct product of a Bruck loop of odd order with a 2-element Bruck loop. The former class of loops is well understood. We identify the minimal obstructions to the conjecture that all finite 2-element… (More)