>>694
> 複素平面Cにj（含まれない）C^n,j^2=-1,ij=k,k^2=-1
> となる元jを付け加えたら

そんなのが存在するという理由は？