The division algebra over the real numbers generated by elements i, j, k subject to the relations i² = j² = k² = -1 and ij = -ji = k, jk = -kj = i, and ki = -ik = j. Also known as hypercomplex number.