ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F235 on D827: Set of quaternions
F235
Formulation 0
Let $\mathbb{R}$ be the D282: Set of real numbers.
The set of quaternions is the D11: Set \begin{equation} \mathbb{R}^4 \end{equation}