Back
to top
Field extension if and only if proof
Watch
Announcements
Page 1 of 1
Go to first unread
Skip to page:
Let F be an extension of Q with [F : Q] = 4. Prove that there exists a field L such that Q ⊂ L ⊂ F and [L : Q] = 2 if and only if there exists u ∈ F such that F = Q(u) and the minimal polynomial of u is of the form X^4 + aX^2 + b with a,b ∈Q
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
0
reply
Report
#2
(Original post by mollyjordansmith)
Let F be an extension of Q with [F : Q] = 4. Prove that there exists a field L such that Q ⊂ L ⊂ F and [L : Q] = 2 if and only if there exists u ∈ F such that F = Q(u) and the minimal polynomial of u is of the form X^4 + aX^2 + b with a,b ∈Q
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
Let F be an extension of Q with [F : Q] = 4. Prove that there exists a field L such that Q ⊂ L ⊂ F and [L : Q] = 2 if and only if there exists u ∈ F such that F = Q(u) and the minimal polynomial of u is of the form X^4 + aX^2 + b with a,b ∈Q
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
0
reply
(Original post by DFranklin)
I would start by showing that if H is an extension of K with [H:K]=2, then we can find k in K and h in H with H=K(h) and h^2 = k. (More colloquially, we can get H by adding a square root of an element of K).
I would start by showing that if H is an extension of K with [H:K]=2, then we can find k in K and h in H with H=K(h) and h^2 = k. (More colloquially, we can get H by adding a square root of an element of K).
From here I have deduced that:
If [M:L]=2 then there exists an a in M such that M=L(a) and a^2 is in L
If [L:Q]=2 then there exists a b in L such that L=Q(b) and b^2 is in Q
In addition:
A basis of M over L is {1,a}
A basis of L over Q is {1,b}
A basis of M over Q is {1, a, b, ab}
so
a^2=(m+nb)^2=m^2+2mnb+n^2b^2 with m,n in Q
Apparently this is all I need to now show M=Q(u) for u in M and to find the minimal polynomial however I am struggling to string it all together and so if you have any hints or tips for that, that would be helpful. Thank you again.
0
reply
(Original post by mollyjordansmith)
Let F be an extension of Q with [F : Q] = 4. Prove that there exists a field L such that Q ⊂ L ⊂ F and [L : Q] = 2 if and only if there exists u ∈ F such that F = Q(u) and the minimal polynomial of u is of the form X^4 + aX^2 + b with a,b ∈Q
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
Let F be an extension of Q with [F : Q] = 4. Prove that there exists a field L such that Q ⊂ L ⊂ F and [L : Q] = 2 if and only if there exists u ∈ F such that F = Q(u) and the minimal polynomial of u is of the form X^4 + aX^2 + b with a,b ∈Q
Q is the quotient ring.
I have started to do the first implies but not sure how I am meant to use [L:Q]=2 to help me show F=Q(u) with the specific minimal polynomial. I have used the Tower Law to split the [F:Q]=[F:L][L:Q] to find [F:L]=2 but not sure if that is helpful at all.
For the second implies I do not know where to start.
Thank you for your help in advance.
X^4+aX^2+b with a and b in Q. We are trying to show there exists a field L such that Q ⊂ L ⊂ M and [L:Q]=2.
I have proved that there is a polynomial Y^2+aY+b which is monic, irreducible with u^2 being a root. I believe this is the root to proving the above statement but not sure how to get there. I think this is the minimal polynomial of a field extension but not quite sure what this field extension is. All we know about u is that it is in M and is a root of
X^4+aX^2+b
Thank you in advance for any help given.
0
reply
Report
#5
(Original post by mollyjordansmith)
We have been given that [M:Q]=4 and has assumed that there exists a u in M such that M=Q(u) and the minimal polynomial of u is of the form
X^4+aX^2+b with a and b in Q. We are trying to show there exists a field L such that Q ⊂ L ⊂ M and [L:Q]=2.
I have proved that there is a polynomial Y^2+aY+b which is monic, irreducible with u^2 being a root. I believe this is the root to proving the above statement but not sure how to get there. I think this is the minimal polynomial of a field extension but not quite sure what this field extension is. All we know about u is that it is in M and is a root of
X^4+aX^2+b
Thank you in advance for any help given.
We have been given that [M:Q]=4 and has assumed that there exists a u in M such that M=Q(u) and the minimal polynomial of u is of the form
X^4+aX^2+b with a and b in Q. We are trying to show there exists a field L such that Q ⊂ L ⊂ M and [L:Q]=2.
I have proved that there is a polynomial Y^2+aY+b which is monic, irreducible with u^2 being a root. I believe this is the root to proving the above statement but not sure how to get there. I think this is the minimal polynomial of a field extension but not quite sure what this field extension is. All we know about u is that it is in M and is a root of
X^4+aX^2+b
Thank you in advance for any help given.
You know M=Q(u), and u^2 is a root of Y^2+aY+b.
Now, you are looking for an element of M you can adjoin to Q to get an inbetween field L. There's a fairly obvious element to try (you'll still need to show it works). Can you see any such element?
0
reply
X
Page 1 of 1
Go to first unread
Skip to page:
Quick Reply
Today on TSR
-
Have your say on 2021 assessmentOfqual and DfE want students' thoughts
- Who has received uni offers?
- Starting my new job - AMA!
- Win a year of Headspace
- Private candidates support thread