P(X) = X4+ 2X2−2∈Q[X].
α=p√3−1β=ip√3+1
P(X)Q
C±α±β
Q(α, β) = Q(α, i√2)
αβ =i√2
Q(α)/Q(√3) Q(α, β)/Q(α)
2
Q(α, β)/Q8
HomQ(Q(√3),C)u1u2
u1(√3) = √3u2(√3) = −√3,
u1u2Q
Q(α)Cu1,1u1,2u2,1u2,2
u1,1(α) = α u1,2(α) = −α,
u2,1(α) = β u2,2(α) = −β,
HomQ(Q(α),C) = {ui,j / i, j = 1,2}
ua,b a, b = 1,2Q
Q(α, β) = Q(α, i√2) ua,b,c c= 1,2
ua,b,1(i√2) = i√2ua,b,2(i√2) = −i√2,
G:= Gal(Q(α, β)/Q) = {ua,b,c / a, b, c = 1,2}
Q(α, β) = Q(α+i√2)
σ=u2,2,2τ=u1,1,2
G= Gal(Q(α, β)/Q)
◦(σ) = 4 ◦(τ) = 2 τσ =σ3τ
G=< σ, τ >=Id, σ, σ2, σ3, τ, στ, σ2τ, σ3τ,
Q(α, β)<τ > =Q(α)Q(α, β)<σ> =Q(i√6)
Q(α, β)<στ > =Q(α−β)