The Quaternions are the smallest....
By Frobenius' theorem, the quaternions $\Bbb{H}$ can be characterized as the smallest noncommutative division ring that contains $\Bbb{C}$.
By Frobenius' theorem, the quaternions $\Bbb{H}$ can be characterized as the smallest noncommutative division ring that contains $\Bbb{C}$.