Google finds some interesting octonion notes on the web. Some of these include octonion axioms which are easy to check.

Here we coördinate with Mathworld.

This corroborates this introduction to octonions.

Here we connect with some of John Baez’s extensive notes.