15/05/06 09:58:41.41 SXg2oFIb.net
>>336
実数の自己同型が、IRに限られることを示すだけなら、いろいろありそうだが・・（あるいは、それだけを別のTHEOREMにするか・・）
"Theorem 2 implies that Q has no nontrivial automorphism, and Theorem 3
implies the same for R. Theorem 3 also implies that a nontrivial automorphism
of a subfield of R cannot be extended to an automorphism of R. For example,
the automorphism σ defined just before Theorem 2 cannot be extended to an automorphism of R."
も強調しておこう
これが、RとCの決定的な差だと