数论 扩域

表达式是指Q(S) = {a+b√3+c√5+d√15 :a,b,c,d ∈ Q}这样吗?
首先Q(√3)/Q是二次扩张,有Q(√3) = {a+b√3 :a,b ∈ Q}.
其次Q(√3,√5)/Q(√3)是二次扩张,有:
Q(√3,√5) = {x+y√5 :x,y ∈ Q(√3)}
= {(a+b√3)+(c+d√3)√5 :a,b,c,d ∈ Q}
= {a+b√3+c√5+d√15 :a,b,c,d ∈ Q}.