Journal or Book Title
Journal of Symbolic Computation
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.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Hentzel, Irvin Roy; Jacobs, David P.; and Muddana, Sekhar V., "Experimenting with the Identity (xy)z = y(zx)" (1993). Mathematics Publications. 146.