Cにj?C,j^2=-1,(ij)^2(=k^2)=-1となるような元jを付け加えたら
四元数体の条件は全部そこから導きだされるし、四元数体に
なるね。