Artin's Theorem on Alternative Algebras

Theorem
Let $A = \struct {A_R, \oplus}$ be an algebra over the ring $R$ such that $A$ is not a boolean algebra.

Then $A$ is alternative :
 * $\forall a, b \in A: \paren {a \oplus a} \oplus b = a \oplus \paren {a \oplus b}$
 * $\forall a, b \in A: \paren {b \oplus a} \oplus a = b \oplus \paren {a \oplus a}$

Alternative Definition
Some sources take this as a definition of an alternative algebra and from it deduce that $A$ is alternative :
 * for all $a, b \in A_R$, the subalgebra generated by $\set {a, b}$ is an associative algebra.

However, the latter statement is how an alternative algebra is defined on this site, and from it we deduce the statements given in the exposition of this theorem.

The approaches are clearly equivalent.

Proof
When $A$ is

So suppose that:


 * $\forall a, b \in A: \paren {a \oplus a} \oplus b = a \oplus \paren {a \oplus b}$
 * $\forall a, b \in A: \paren {b \oplus a} \oplus a = b \oplus \paren {a \oplus a}$

Then:


 * $\sqbrk {a, a, b} = 0$
 * $\sqbrk {b, a, a} = 0$

where $\sqbrk {a, a, b}$ denotes the associator of $a, b \in A_R$.

Now let us compute, using the linearity of $\oplus$ and the two suppositions: