17/05/25 06:05:38.32 M//NT7G1.net
Kは体, LはKの代数閉包。
f(x)=x^2+ax+b, g(x)=x^2+cx+d はK上の既約多項式で重根をもたず、fの根を α_1,α_2∈L, gの根を β_1,β_2∈L とする。
K(α_1),K(β_1) はKの2次拡大体となる。
K(α_1)≠K(β_1) を仮定する。
γ_1=α_1β_1+α_2β_2,
γ_2=α_1β_2+α_2β_1 とおく。
K(γ_1)がKの2次拡大であることおよび K(γ_1)≠K(α_1),K(β_1) を示せ。
(雪江 代数学2 演習)