逆にベクトルに複素数みたいな積（回転積とでも呼ぶか）を導入することはできないのかなあ？