Special identities for Bol algebras

Bol algebras appear as the tangent algebra of Bol loops. A (left) Bol algebra is a vector space equipped with a binary operation [a,b] and a ternary operation {a,b,c} that satisfy five defining identities. If A is a left or right alternative algebra then Ab is a Bol algebra, where [a,b]≔ab-ba is the commutator and {a,b,c}≔〈b,c,a〉 is the Jordan associator. A special identity is an identity satisfied by Ab for all right alternative algebras A, but not satisfied by the free Bol algebra. We show that there are no special identities of degree ⩽7, but there are special identities of degree 8. We obtain all the special identities of degree 8 in partition six-two.