含三次单位根的六次循环域

的根定义一个三次循环扩张。由此得到G的三阶子群与三次循环扩张的一一对应。 在与Vélez讨论这个结果时,他提出如下的问题: 设η∈Q(ρ),令β是x^3-η=0的根,则Q(ρ,β)/Q(ρ)是三次循环扩张。在什么条件下Q(ρ,β)/Q是六次循环扩张? 这个扩张Q(ρ,β)