Definition of "octonions"

octonions