The set of non-zero octonions is the canonical [Moufang loop](http://en.wikipedia.org/wiki/Moufang_loop).