Theorem 48.3 described conjugation isomorphisms for the case where a and were conjugate algebraic elements over

Question:

Theorem 48.3 described conjugation isomorphisms for the case where a and β were conjugate algebraic elements over F. Is there a similar isomorphism of F(α) with F(β) in the case that a and β are both transcendental over F?


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 ψα(c+ 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 Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: