→ empty24 :C/R是finite extension,所以K/R也是 05/09 10:55
→ empty24 :推得K要不然是R要不然跟C同構,因此K就是C 05/09 10:56
→ empty24 :抱歉 看錯了 05/09 10:58
推 LimSinE :設K'= Closure of K 是體,Q<K故R<K', R=/=K'→K'=C 05/09 11:50
推 CFE220 :each subfield of C contains every rational number 05/09 21:16
→ CFE220 :朝這方向思考會如何勒? 05/09 21:17