Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2009-03-05 02:44:20

ASADM
Member
Registered: 2009-03-05
Posts: 18

Galois Theory Help....

Hi guys! :-)

I'm new to the forum. Currently doing a course on Galois Theory - it's a fascinating subject but our lecturer is a bit....erm....under-par! :-s

He's only doing abstract theory & NO examples, but our exam is 100% applications! So I was wondeing if you guys could possibly help me please?

Here are a couple of questions from the last few years exam - if you have any idea how to solve ANY of them I would be EXTREMELY greatful! :-) Please could I ask you to be explicit with you methods, use of theorems, etc - these will LITERALLY be the first worked examples I've ever seen!

Thanks everyone! :-)

Questions:

1) Let the complex number A be a root of X^7+6X^2+2. Find the degree of Q(A):Q.

2) Let the complex number Zeta be a 256th root of unity. Find the degree of Q(Zeta:Q) & the minimal polynomial for Zeta over Q.

3) Let the complex number Zeta be a 12th root of unity. Find the Galois Group Gal(Q(Zeta):Q) & all subfields of Q(Zeta).

4) Find the minimal polynomial of Sqrt(6)+Sqrt(3) over (a) Q(Sqrt(2)) & (b) Q(Sqrt(3)).

Thanks so much in advance! :-) x

Offline

#2 2009-03-05 06:59:59

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

[align=center]

[/align]

Last edited by JaneFairfax (2009-03-05 12:49:45)

Offline

#3 2009-03-05 08:01:32

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

Offline

#4 2009-03-05 09:18:27

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Galois Theory Help....

1) Let the complex number A be a root of X^7+6X^2+2. Find the degree of Q(A):Q.

This question is trivial so long as you know the following:

1. If m is irreducible with root a, then m is the minimal polynomial of a.
2. Eisenstein's Criterion
3. Gauss's lemma

If you don't have all of those, or if you don't see how to piece them together, let me know.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#5 2009-03-05 13:00:36

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

I made a mistake with 4(b) earlier; the following is the correct solution.

[align=center]

[/align]

Offline

#6 2009-03-05 13:01:15

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

Wow - thanks for the quick replies guys!! :-D Much appreciated!

JaneFairfax - I don't quite follow your method for 2) - Why do you look at the gcd's of n compared with 128? And why do you stop at 64? And why go up in multiples of 2?

Like I said these are LITERALLY my first worked examples, so any further explanation of the method used would be EXTREMELY appreciated! :-)

Many thanks again. x

Offline

#7 2009-03-05 13:31:45

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

PS - is there any other way to show the polynomial you arrive at in 4(a) is irreducible over Q(Sqrt(2)) other than to show that Sqrt(6)+Sqrt(3) is not an element of Q(Sqrt(2)) & hence the polynomial has no roots in Q(Sqrt(2)) ?

Offline

#8 2009-03-05 13:32:36

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

ASADM wrote:

JaneFairfax - I don't quite follow your method for 2) - Why do you look at the gcd's of n compared with 128? And why do you stop at 64? And why go up in multiples of 2?

is a primitive 256th root of unity;
for some
.

Since

for any
, this must mean that

Hence

.

Therefore if

,
and
for any
– in other words,
is a primitive 128th root of −1
.

If

,
and
for any
– i.e.,
is a primitive 64th root of −1
.

Similarly

is a primitive 32nd root of −1. And so on and so forth.

Last edited by JaneFairfax (2009-03-06 11:28:11)

Offline

#9 2009-03-05 13:38:36

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

PPS - Ricky - I think I've got the answer now (7 yes?) - thankyou! :-) But do you need Gauss' Lemma? Or doesn't the irreducibility of the polynomial over Q come straight from the Eisenstein Criterion? (with p = 2)

Many thanks. :-)

Offline

#10 2009-03-05 13:44:14

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

ASADM wrote:

PS - is there any other way to show the polynomial you arrive at in 4(a) is irreducible over Q(Sqrt(2)) other than to show that Sqrt(6)+Sqrt(3) is not an element of Q(Sqrt(2)) & hence the polynomial has no roots in Q(Sqrt(2)) ?

neutral

Offline

#11 2009-03-05 13:49:16

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

Thank you LadyFairfax - but I don't understand the meaning or significance of your 2nd & 3rd lines about the primitive root of unity. How do you know this gcd for k holds? And why does that lead us to conclude line 3?

Thank you very much again. :-) x

Offline

#12 2009-03-05 13:51:21

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

Well, you can't know it's irreducible unless it has no roots in the set & therefore we need to know that the obvious root ( Sqrt(6)+Sqrt(3) ) is not in the set? (unless we are just going to assume that to be the case) :-)

Offline

#13 2009-03-05 17:46:41

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

See. How in the world can you write

in the form

for some rational numbers

and
? How?

Offline

#14 2009-03-05 19:04:54

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Galois Theory Help....

ASADM wrote:

PPS - Ricky - I think I've got the answer now (7 yes?) - thankyou! :-) But do you need Gauss' Lemma? Or doesn't the irreducibility of the polynomial over Q come straight from the Eisenstein Criterion? (with p = 2)

Many thanks. :-)

Eisenstein allows you to conclude it is irreducible over Z, Gauss's Lemma tells you that monic polynomials that are irreducible over Z are also irreducible over Q.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#15 2009-03-05 22:19:59

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

But in order to prove that JaneFairfax you would have to assume that you CAN write it in that form and then show this leads to a contradiction. (a very easy contradiction - you get that 1+Sqrt(2) = a/Sqrt(3) + [Sqrt(2)]b/Sqrt(3) for rational a &b, which is obviously impossible.)  I know it's obvious, but if yuou want to be thorough.... :-)

Could you please clarify your stuff about gcds in part (2)? :-) Thank you. x

Ricky - thanks. :-)

Offline

#16 2009-03-06 11:41:42

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Galois Theory Help....

ASADM wrote:

Could you please clarify your stuff about gcds in part (2)? :-) Thank you. x

I already did! Didn’t you see my post above?

Offline

#17 2009-03-06 22:50:30

ASADM
Member
Registered: 2009-03-05
Posts: 18

Re: Galois Theory Help....

Oh yes sorry, my mistake! :-s lol! I must have missed it. Thank you very very much! :-D x

Offline

Board footer

Powered by FluxBB