>>102
じっさいには４次元の実数だけだけど、まとめて扱おうとすると４次ベクトルになる
そこで回転を扱うと、二回転すると逆向きになるような量があり、
それを便宜的に虚数で扱うと簡単になるということなのかな
ワシはわからんが、SU(4)群で検索してみて