>>672
x^2=-1,x（含まれない）C^nなる元をCに付け加えたわけだから
x^2+1=0が最小方程式だよね。
だから、２次拡大だと思ったわけだが・・・。