Salut,
J'aurais tendance à rajouter que, à mon sens, ce n'est pas tant un "on considère plutôt celle de dimension 2^n", mais que c'est plutôt le
théorème de Frobenius généralisé qui nous donne la classification des algèbres unifères à division de dimension finie sur le corps commutatif ℝ des réels.
Et ce théorème dit en particulier que sur R^3, il n'y "pas grand chose de bien intéressant" à construire.
Par contre, pour étudier par exemple les isométries de R^3 (et bien d'autre choses), il est extrêmement utile de regarder les éléments de R^3 comme les "parties imaginaires" des quaternions qui dans leur ensemble, correspondent à R^4 et avec lesquels la notion de produit scalaire ET de produit vectoriel trouve tout son sens.