>>73
> -1 が代入できたとすれば、その √ は既に
> 拡張された複素関数 √ だったということ。

なんだ。複素関数 √ の存在は認めてるんだ。なら
>>66 > その式は、無意味。
は、間違いだね。

それに
> イデアル (XX+1) で割った
時点から、X=i なのだから
> 　i = √(-1)
であるように見えるのだけれど。