MHB Field Theory - Dummit and Foote - Chapter 13 - Theorem 6

[Math Amateur]

I am trying to understand the proof of Theorem 6 in Chapter 13 of Dummit and Foote.

Theorem 6 states the following: (see attachment)

=====================================================================================

Theorem 6. Let F be a field and let p(x) \in F[x] be an irreducible polynomial. Suppose K is an extension field of F containing a root \alpha of p(x): \ p( \alpha ) = 0. Let F ( \alpha ) denote the subfield of K generated over F by \alpha,

Then F( \alpha ) \cong F[x] / (p(x))

======================================================================================

The proof then begins as follows:

======================================================================================

Proof: There is a natural homomorphism

\phi : F[x] \longrightarrow F( \alpha ) \subseteq K

a(x) \longmapsto a( \alpha )

obtained by mapping F to F by the identity map and sending x to \alpha and then extending so that the map is a ring homomorphism ( i.e. the polynomial a(x) in x maps to the polynomial a( \alpha ) in \alpha )

Since p( \alpha ) = 0 by assumption, the element p(x) is in the kernel of \phi, so we obtain an induced homomorphism ( also denoted by \phi ):

\phi : F[x]/(p(x)) \longrightarrow F( \alpha ) ... ... ... (1)

etc etc

======================================================================================

My problem is in understanding the last sentence above - how exactly is the homomorphism shown in (1) induced by what comes before it - and anyway why it it the same as the natural homomorphism defined earlier (since it is also called \phi I am assuming the two defined homomorphisms are the same).

Also it is subsequently shown that (1) above is an isomorphism - but how can it be a bijection when there are cosets on the left but polynomial evaluations on the right?

Can someone please clarify this situation for me ... perhaps using an example to make the explanation tangible?

Peter

[Note: This has also been posted on MHF]

 

[Deveno]

OK, it should be clear that the map:

[math]\phi:F[x] \to F(\alpha)[/math]

given by:[math]\phi(f(x)) = f(\alpha)[/math] is a ring-homomorphism.

Moreover, since [math]p(x)[/math] is irreducible, it follows that any element of [math]F(\alpha)[/math] is of the form:

[math]c_0 + c_1\alpha + \cdots + c_{n-1}a^{n-1}[/math]

where [math] \text{deg}(p(x)) = n[/math].

(Since [math]p(\alpha) = 0[/math] all higher powers of [math]\alpha[/math] can be expressed in terms of these. Also, these powers of [math]\alpha[/math] must be linearly independent over [math]F[/math] or else [math]\alpha[/math] satisfies a non-zero polynomial of degree less than deg(p(x)) in [math]F[x][/math] contradicting the irreducibilty of p(x)).

Thus any element of [math]F(\alpha)[/math] has the pre-image under [math]\phi[/math] of [math]c_0 + c_1x + \cdots + c_{n_1}x^{n-1}[/math]. So [math]\phi[/math] is surjective.

By the fundamental isomorphism theorem for rings:

[math]F(\alpha) \cong F[x]/\text{ker}(\phi)[/math].

Well, what is [math]\text{ker}(\phi)[/math]? Clearly, any element of the ideal generated by p(x) is in the kernel, since [math]\phi[/math] annihilates all elements of this ideal. But [math]F[x][/math] is a principal ideal domain (because F is a field), so we have:

[math]\text{ker}(\phi) = (g(x))[/math] for some [math]g(x) \in F[x][/math].

Thus g(x)|p(x), so p(x) = h(x)g(x), for some h(x) in F[x]. Since p(x) is irreducible, we conclude that h(x) is a unit, that is, h is in F*. Thus:

g(x) = (1/h)(p(x)), which is in (p(x)), showing that [math]\text{ker}(\phi) \subseteq (p(x))[/math], so we must have:

[math]\text{ker}(\phi) = (p(x))[/math].

Here is an example:

Let [math]F = \Bbb Z_2 = \{0,1\}[/math]. Consider the polynomial:

[math]p(x) = x^2 + x + 1 \in \Bbb Z_2[x][/math].

This is clearly irreducible over [math]\Bbb Z_2[/math], because we have no linear factors (roots) in [math]\Bbb Z_2[/math].

Convince yourself that if [math]u[/math] is a root of p(x) in some extension field of F, the map:

[math]\phi:x + (x^2 + x + 1) \to u[/math]

gives an isomorphism of [math]\Bbb Z_2[x]/(x^2 + x + 1)[/math] with [math]\Bbb Z_2(u)[/math]. Some things to answer:

1) How many elements do each of these fields have?
2) What are the explicit addition and multiplication tables for each field?

 

[Math Amateur]

OK, it should be clear that the map:

[math]\phi:F[x] \to F(\alpha)[/math]

given by:[math]\phi(f(x)) = f(\alpha)[/math] is a ring-homomorphism.

Moreover, since [math]p(x)[/math] is irreducible, it follows that any element of [math]F(\alpha)[/math] is of the form:

[math]c_0 + c_1\alpha + \cdots + c_{n-1}a^{n-1}[/math]

where [math] \text{deg}(p(x)) = n[/math].

(Since [math]p(\alpha) = 0[/math] all higher powers of [math]\alpha[/math] can be expressed in terms of these. Also, these powers of [math]\alpha[/math] must be linearly independent over [math]F[/math] or else [math]\alpha[/math] satisfies a non-zero polynomial of degree less than deg(p(x)) in [math]F[x][/math] contradicting the irreducibilty of p(x)).

Thus any element of [math]F(\alpha)[/math] has the pre-image under [math]\phi[/math] of [math]c_0 + c_1x + \cdots + c_{n_1}x^{n-1}[/math]. So [math]\phi[/math] is surjective.

By the fundamental isomorphism theorem for rings:

[math]F(\alpha) \cong F[x]/\text{ker}(\phi)[/math].

Well, what is [math]\text{ker}(\phi)[/math]? Clearly, any element of the ideal generated by p(x) is in the kernel, since [math]\phi[/math] annihilates all elements of this ideal. But [math]F[x][/math] is a principal ideal domain (because F is a field), so we have:

[math]\text{ker}(\phi) = (g(x))[/math] for some [math]g(x) \in F[x][/math].

Thus g(x)|p(x), so p(x) = h(x)g(x), for some h(x) in F[x]. Since p(x) is irreducible, we conclude that h(x) is a unit, that is, h is in F*. Thus:

g(x) = (1/h)(p(x)), which is in (p(x)), showing that [math]\text{ker}(\phi) \subseteq (p(x))[/math], so we must have:

[math]\text{ker}(\phi) = (p(x))[/math].

Here is an example:

Let [math]F = \Bbb Z_2 = \{0,1\}[/math]. Consider the polynomial:

[math]p(x) = x^2 + x + 1 \in \Bbb Z_2[x][/math].

This is clearly irreducible over [math]\Bbb Z_2[/math], because we have no linear factors (roots) in [math]\Bbb Z_2[/math].

Convince yourself that if [math]u[/math] is a root of p(x) in some extension field of F, the map:

[math]\phi:x + (x^2 + x + 1) \to u[/math]

gives an isomorphism of [math]\Bbb Z_2[x]/(x^2 + x + 1)[/math] with [math]\Bbb Z_2(u)[/math]. Some things to answer:

1) How many elements do each of these fields have?
2) What are the explicit addition and multiplication tables for each field?

Deveno,

This is really helpful and will assist me to make progress with Field Theory.

I will work carefully through what you have said.

Thanks,Peter