Proving a Sequence of Extension Fields for $\sqrt{1+\sqrt{2}+\sqrt{3}+\sqrt{5}}$

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 2K views
saadsarfraz
Messages
86
Reaction score
1

Homework Statement



Find a sequence of extension fields (i.e. tower)
Q= F[tex]_{0}[/tex][tex]\subseteq[/tex]...[tex]\subseteq[/tex]F[tex]_{n}[/tex].

where [tex]\sqrt{1+\sqrt{2}+\sqrt{3}+\sqrt{5}}[/tex] [tex]\in[/tex] F[tex]_{n}[/tex]

Prove that all the steps are non-trivial. except the last one. btw Q is the set of rational number. and 0 and n on F were meant to be subscripts not superscripts (i don't know how to do that)

Homework Equations





The Attempt at a Solution



I'm a bit confused as to what to do in this question? I don't think I understand the question.[tex]\sqrt{}[/tex]
 
Last edited:
Physics news on Phys.org
The "trivial" step is [itex]F_1= Q(\sqrt{1})[/itex] since [itex]\sqrt{1}= 1[/itex] which already is a rational number. Take [itex]F_2= F_1(\sqrt{2})= Q_(\sqrt{2})[/itex], [itex]F_3= F_2(\sqrt{3})[/itex], etc.
 
Last edited by a moderator:
ok i think i got it, can anyone please check my answer

K_0 = 2 which corresponds to F_0
K_1= 1 + [tex]\sqrt{2}[/tex] for F_1
K_2= 1 + [tex]\sqrt{2}[/tex] + [tex]\sqrt{3}[/tex] for F_2
K_3= 1 + [tex]\sqrt{2}[/tex] + [tex]\sqrt{3}[/tex] + [tex]\sqrt{5}[/tex] for F_3
K_4= [tex]\sqrt{1+\sqrt{2}+\sqrt{3}+\sqrt{5}}[/tex] for F_4except the last one is supposed to go on forever? can anyone help me in this.
 
Your original question did not "go on forever", it stopped at [itex]\sqrt{5}[/itex].