So if we have an extension of E of F, then we can consider E as a vector space over F.(adsbygoogle = window.adsbygoogle || []).push({});

The dimension of this space is the degree of the field extension, I think most people use [E:F].

This is correct in most people's books, right?

Defining [itex] \omega = cos (2\pi /7) + i sin (2\pi / 7) [/itex]

Why is it that:

"Since [itex] x^7 -1 = (x-1)(x^6+x^5+x^4+x^3+x^2+x+1) [/itex],

|Gal(Q(ω)/Q)|=[Q(ω):Q]≤ 6"

?

With another piece of information he gets that the degree is 6. Since the vector space of Q(ω) over Q has degree 6, we should be able to represent it with 6 basis vectors...but this just feels weird since ω is a seventh root of unity and it feels like we should have something like:

a+bω+cω^{2}+...gω^{6}a,b,...,g in Q, right?

What am I missing? I have no reason to doubt Gallian, I even looked up the general method for calculating degrees of Q(n-th roots of unity)/Q and I know that 6 is correct. . .I just don't see why and I can't construct 6 basis vectors.

[This is from Gallian's Abstract Algebra book, 7th edition, in Ch. 32 on page 550]

**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!

# (Relatively) Trivial question about extension field degrees (pertains to Galois theor

Loading...

Similar Threads - Relatively Trivial question | Date |
---|---|

A The meaning of the commutator for two operators | Jan 9, 2018 |

I Reflexive relation question | Oct 12, 2016 |

I Question in linear algebra, derivation of a certain relation | Nov 26, 2015 |

I'm stuck on a proof that's probably trivial, any insights? | Jul 9, 2015 |

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