# We consider the field E = Q(2, 3, 5). It can be shown that [E : Q]

## Question:

We consider the field E = Q(√2, √3, √5). It can be shown that [E : Q] = 8. In the notation of Theorem 48.3, we have the following conjugation isomorphisms (which are here automorphisms of E):

For shorter notation, let τ2 = ψ√2.-√2, τ3 = ψ√3 -√3, and , τ5 = ψ√5.-√5· Compute the indicated element of E.

Data from Theorem 48.3

Let F be a field, and let α and β be algebraic over F with deg(α, F) = n. The map ψα :F(α) → F(β) defined by ψα(c0+ciα +· · ·+ Cn-1αn-¹) = c0 + c1β + · · ·+ Cn-1βn-1 for c∈ F is an isomorphism of F(α) onto F(β) if and only if a and are conjugate over F.

Proof Suppose that ψα : F(α) → F(β) as defined in the statement of the theorem is an isomorphism. Let irr(σ, F) = a0 + a1x + · · · + anxn. Then a0 + a1α + · · · + anαn = 0, so ψα(a0 + a1α + ... + anαn) = a0 + a1β + ... + anβn = 0.

By the last assertion in the statement of Theorem 29.13 this implies that irr(β, F) divides irr(α, F). A similar argument using the isomorphism (ψα)-1 = ψβ,α shows that irr(α, F) divides irr(β, F). Therefore, since both polynomials are monic, irr(α, F) = irr(β, F), so α and β are conjugate over F.

Conversely, suppose irr(α, F) = irr(β, F) = p(x). Then the evaluation homomorphisms ∅α: F[x] → F(α) and ∅β : F[x] → F(β) both have the same kernel (p(x)). By Theorem 26.17, corresponding to ∅α: F[x] → F(α), there is a natural isomorphism ψα mapping F[x]/(p(x)) onto ∅α:[F[x]] = F(α). Similarly, ∅β gives rise to an isomorphism ψβ mapping F[x]/(p(x)) onto F(β). Let ψα = ψβα)-1. These mappings are diagrammed in Fig. 48.4 where the dashed lines indicate corresponding elements under the mappings. As the composition of two isomorphisms,ψα is again an isomorphism and maps F(α) onto F(β). For (c0 + c1α + · · + cn-1an-1) ∈ F(α), we have

Thus ψα,β is the map defined in the statement of the theorem.

Fantastic news! We've located the answer you've been seeking!