Nilpotent right alternative rings and bol circle loops (Q4495367)

A right alternative ring without elements of additive order 2 satisfies the (right) Bol identity \(((xy)z)y=x((yz)y)\). The author calls a right alternative ring \(R\) which satisfies this identity strongly right alternative, and he defines a circle operation on \(R\) by \(x\circ y=x+y+xy\) for \(x,y\in R\). For \(n\leq 4\), he then determines the nilpotent right alternative rings which have prime power order \(p^n\) and are not alternative; and he shows that those which are strongly right alternative become Bol loops under the circle operation. The smallest Bol circle loop has order 16. There are six such loops, and the author believes them all to be new.