Bourbaki

Lemma 4

Tag 069E, permanent. Cite it as [Bourbaki, Tag 069E].

Algebra, chapter III, Appendix 0. Alternative algebras. Octonions

Suppose that the mapping aa is alternating. Then, for all x∈Fx \in \mathbf{F}, the subalgebra of F\mathbf{F} generated by xx is strongly associative.

a(u,v,w)=0a(u, v, w) = 0 whenever two of the three elements u,v,wu, v, w are equal to xx and it suffices to apply Lemma 3.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.