Let a be algebraic of degree n over F. Show from Corollary 48 .5 that there are

Question:

Let a be algebraic of degree n over F. Show from Corollary 48 .5 that there are at most n different isomorphisms of F(α) onto a subfield of F and leaving F fixed.


Data from Corollary 48.5

Let α be algebraic over a field F. Every isomorphism ψ mapping F(α) onto a subfield
of F̅ such that ψ(a) = a for a ∈ F maps α onto a conjugate β of α over F. Conversely,
for each conjugate β of α over F, there exists exactly one isomorphism ψα,β of F(α) onto a subfield of F̅ mapping α onto β and mapping each a ∈ F onto itself.

Proof Let ψ be an isomorphism of F(α) onto a subfield of F̅ such that ψ(a) = a for a ∈ F.
Let irr(α, F) = a0 + a₁x + + anxn. Then a0 + a1α + · · ·anαn = 0, so 0 ψ(a0 + a1α + · · ·anα)= a0 +a1ψ(α) +· · · + anψ(α)n, and β = ψ(α) is a conjugate of α. 

Conversely, for each conjugate β of α over F, the conjugation isomorphism ψα,β of Theorem 48.3 is an isomorphism with the desired properties. That ψα,β is the only such isomorphism follows from the fact that an isomorphism of F(α) is completely determined by its values on elements of F and its value on α.

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

Step by Step Answer:

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