>>700
> >>694
> > 複素平面Cにj（含まれない）C^n,j^2=-1,ij=k,k^2=-1
> > となる元jを付け加えたら
>
> お前が何気なく ij=k って書いてる k だが、k=i でも k=j でもその条件満たすよな。
満たさない。
ij=x+yiと置くとi(ij)=i(x+yi),-j=xi-y（含まれる）Cとなり矛盾する。
ij=x+yjと置いても同様に矛盾が導き出される。