In John Conway and Derek Smith's *On Quaternions and Octonions: their Geometry, Arithmetic, and Symmetry*, they introduce a way to connect quaternions to 4D Point Group. Suppose: $[l,r]:x\to \bar lxr\;,\ast[l,r]:x\to\bar l\bar xr\;(x\in\Bbb H,\;l,r\in\Bbb H_1)$. ![Table 4.2][1] ![Table 4.3][2] In table 4.2 we know $+\frac{1}{3}[C_3\times C_3]$'s available generator is $[e_3,e_3]$. And $e_n=e^{\frac{i\pi}{n}}$. So it actually generates $C_3$. In table 4.3 we know $+\frac{1}{3}[C_3\times C_3]\cdot2^{(2)}$'s extending element is $\ast[1,e_6^{2(3,2)}]$ And $(a,b):=gcd(a,b)$, so it could not generate $C_{3h}$. If I would like to generate $C_{3h}$ I need $+\frac{1}{3}[C_3\times C_3]\cdot2^{(6)}$, but it obilivate the conditions in the Appendix of Chapter 4's Table 4.4 ![Table 4.4][3] So how could I represent $C_{3h}$ in 4D Point Group? [1]: https://i.sstatic.net/ic4Of.jpg [2]: https://i.sstatic.net/O2Q4X.jpg [3]: https://i.sstatic.net/vPjxH.jpg