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 avalible 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 generates $C_{3h}$.
If I would like to genetate $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