４元数の積は次のようだった。 (a+bi+cj+dk)(x+yi+zj+wk) =(ax-by-cz-dw) +(ay+bx+cw-dz)i +(az+cx+dy -bw)j +(aw+dx+bz-cy)k ４元数が絶対値の原則を満たしているかどうかみておこう。 |pq|2=|p|2|q|2の確認である。 いま、次のようにおく。 A=ax-by-cz-dw …