Experimenting with the Identity(xy)z = y(zx)

An experiment with the nonassociative algebra program Albert led to the discovery of the following surprising theorem. Let G be a groupoid satisfying the identity (xy)z = y(zx). Then for products in G involving at least five elements, all factors commute and associate. A corollary is that any semiprime ring satisfying this identity must be commutative and associative, generalizing a known result of Chen.