>>100
最初のやつ、小川の3元数だと逆も言える。
逆元がないのは0虚数に限る。
行列の積でいうと2番目はまったくでたらめだね。