Hello,(adsbygoogle = window.adsbygoogle || []).push({});

I have a quick question about extension fields.

We know that if E is an extension field of F and if we have got an irreducible polynomial p(x) in F[x] with a root u in E, then we can construct F(u) which is the smallest subfield of E containing F and u. This by defining a homomorphism:

[tex]\Phi : F[x] \to E[/tex]

by

[tex]\Phi (f(x)) = f(u)[/tex].

Then, since the ideal generated by p(x) in F[x] is maximal, and

[tex]Ker \Phi = p(x)[/tex]

we have, using the fundamental theorem of homomorphisms, that:

[tex]F[x] / (p(x))[/tex]

is isomorphic to

[tex]F = \{a_0 + a_0u + \cdots + a_mu^m | a_0 + a_0x + \cdots + a_mx^m \in F[x] \}[/tex]

Which in fact is equal to F(u), the smallest subfield of E containing F and u.

The dimension of F over F is given by:

[tex][F:F]=deg(p(x))[/tex]

Also in drawing that conclusion we need the fact that the set [tex]\{1,u,u^2, \cdots, u^{n-1}\}[/tex] is a basis for F.

This is all fine, but what stumped me is the concept of expanding over this field again by adding, say another root v in E of p(x) (assuming such v exists, of course). We also assume that v is not algebraic in F(u), so that we need another extension to cover the roots of p(x).

I reckon that [tex]F(u,v)[/tex] is an alternative, but I would like to describe a general element in this field, like one could for an element in F(u). Is there also a nice way to find the dimension of F(u,v) over F(u)? Is it simply 2?

I hope that I made myself clear, and if there are any uncertainties be kind to ask.

Thanks in advance.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Structure of extension fields

Loading...

Similar Threads - Structure extension fields | Date |
---|---|

A Algebraic structure in time evolution | Jul 27, 2017 |

I Galois Theory - Structure Within Aut(K/Q) ... | Jun 15, 2017 |

B Sets and functions that gain more structure with context | Jul 7, 2016 |

Deriving the structure constants of the SO(n) group | Nov 19, 2015 |

Implicit isomorphism involved in extension/sub fields/structures? | Apr 1, 2012 |

**Physics Forums - The Fusion of Science and Community**