>>20
勢い余ってLie群と書いたけど位相群として考えてくれ
四元数がわからんのなら四元数を複素行列で表した物を
（四元数に言及せずに）使えばいいだけだ。結局やることは一緒
まあでも同相写像を学習したばかりの人間が解く問題じゃあないね