15/04/15 22:26:20.03 O8x0ePuw.net
>>106
「(1) card(AutQ(R)) を求めよ。但し、Q,R はそれぞれ有理数体、実数体とする。」>>16 を、「集合の濃度」という視点で捉えたら、そういう意見もありかも・・
だが、超越次数 あるいは 超越拡大という切り口でみたらどうよ？
URLﾘﾝｸ(ja.wikipedia.org)
超越次数(抜粋)
応用
超越基底は体準同型についての様々な存在定理を証明するためのツールとして役に立つ。例を挙げよう。代数的閉体 L と部分体 K と K の体自己同型 f が与えられると、f を拡張した L の体自己同型（すなわちその K への制限が f）が存在する。
証明のために、まず L/K の超越基底 S をとる。K(S) の元は K に係数をもつ S の元の多項式の商である。したがって自己同型 f は S のすべての元をそれ自身に送ることによって K(S) の自己同型に拡張できる。
体 L は K(S) の代数的閉包であり、代数的閉包は同型を除いて一意的である。このことは自己同型がさらに K(S) から L に拡張できることを意味している。
別の応用として、複素数体 C の部分体で（体として）C と同型であるような真の部分体が（たくさん）存在することを示す。証明のために、C/Q の超越基底 S をとる。S は無限（非可算）集合であるので、単射だが全射でないような写像 f: S → S が（たくさん）存在する。
任意のそのような写像は全射でない体準同型 Q(S) → Q(S) に拡張できる。そのような体準同型はそれぞれ代数的閉包 C に拡張することができ、得られる体準同型 C → C は全射でない。
超越次数によって体の大きさを直感的に理解することができる。例えば、ジーゲルによる定理によると、X がコンパクトで連結な n 次元複素多様体であり、 K(X) がその上の（大域的に定義された）有理型関数の体を表していれば、trdegC (K(X)) ? n である。