Abstract:A Jordan loop is a commutative loop satisfying the Jordan identity $(x^2 y)x = x^2(y x)$. We establish several identities involving powers in Jordan loops and show that there is no nonassociative Jordan loop of order $9$.
Keywords: Jordan loop, Jordan quasigroup, well-defined powers, nonassociative loop, order of a loop
AMS Subject Classification: 20N05