> Cにx^2=-1,ｘ（含まれない）C^nなる元ｊを付け加えると1,i,j,ij=kで張られる
> 空間にならないだろうか？

ならない。splitするのとか普通に考えられる。