Ideals in the Integral Octaves

We study the nonassociative ring of integral octaves (or Cayley numbers or octonions) discovered independently by Dickson and Coxeter. We prove that every one-sided ideal is in fact two-sided, principal, and generated by a rational integer.