05/10/28 09:55:10
>>584
>命題
>K を無限体、L/K を体の拡大とする。L/K の中間体が有限個なら
>L = K(c) となる元 c がある。
L/K が有限次と仮定すると、以下のような簡単な別証がある。
L = K(α, β) と２個の元で生成される場合を考えればよい。
t ∈ K として、中間体 K(α + tβ) を考える。K は無限体だから、
K(α + tβ) = K(α + sβ) となる、t, s ∈ K で t ≠ s となる
ものがある。よって、(α + tβ) - (α + sβ) = (t - s)β は
K(α + tβ) に含まれ、これから β、よってαも K(α + tβ)
に含まれる。よって、 L = K(α + tβ) となる。