15/11/28 16:33:19.80 uE6gqWVx.net
> では、それがSから代数的独立性な数だとした？ それは、Sに付け加えるべきだろ？
その通り。代数的独立な数がすべてSに取り込まれていなければ拡大R/Q(S)は代数的ではない。
スレ主が>>11で書いた構成方法は余計な元(代数的従属な超越数)までSに取り込む可能性がある。
取り込んでしまったらSは超越基底にならないと言っている。
15/11/28 16:33:19.80 uE6gqWVx.net
> では、それがSから代数的独立性な数だとした？ それは、Sに付け加えるべきだろ？
その通り。代数的独立な数がすべてSに取り込まれていなければ拡大R/Q(S)は代数的ではない。
スレ主が>>11で書いた構成方法は余計な元(代数的従属な超越数)までSに取り込む可能性がある。
取り込んでしまったらSは超越基底にならないと言っている。