>>638
> c'=x+yjと置いたのだから(1,0)と(0,1)と同一視出来るよね？
C内の点 1, i を (1,0), (0,1) と同一視したうえで同じ点と同一視をするのはおかしいし、
Cについての同一視と別な話であるのなら、この二種類の同一視がHに当たるものを構成する際に
不整合を起こしていないことをしめさないといけないがお前は一切やってない。
まったく話になってない。

> Cと同じ断面がいくつも考えられると言うだけの事だけど・・・。
それだけであるのなら整合性についてお前は述べていない。
問われているのはバラバラに導入された二つの平面がそれぞれ持つ積構造が
埋め込んだ後で全体にまで伸びてしかも不整合を起こさないという根拠。
および、それぞれの平面が含むRが埋め込んだ後でも矛盾なく演算等まで込めて
整合的に重なること、およびそれがRにおける元の演算そのものを保つ根拠。