An alternative ring is an algebraic structure where all the field axioms are true except for the commutativity and associativity of multiplication, but it is alternative, i.e. for all a,b $a(ba)=(ab)a$ and $(aa)b=a(ab)$. If I prove in such a structure that for all a,b $ab=ba$ holds, does it follow that $a(bc)=(ab)c$?
I know that every alternative ring is associative or a Cayley-Dickson ring. So it is enough to decide, wether it is possible that a Cayley-Dickson ring is commutative but not associative.