Prove that the degree of the minimal polynomial over $\mathbb{Q}$ is a power of $2$

abstract-algebralinear algebraminimal-polynomials

$\textbf{Question.}$ Let $n$ a positive integer and let be $K = \mathbb{Q}[a_1, \cdots, a_n]$ where $a_i$ is such that $a_i^2 \in \mathbb{Q}$ for each $i = 1, \cdots, n$. Given $b \in K$, prove that the degree of the minimal polynomial $p_b(x)$ of $b$ over $\mathbb{Q}$ is a power of $2$.

I would like a hint to start to solve this problem, because I don't have ideas how to start it.

Best Answer

Consider the minimal polynomial of $a_{i+1}$ over $\Bbb{Q}[a_1,...,a_i]$. It divides $x^2-a_{i+1}^2\in\Bbb{Q}[x]$ and so must have degree $1$ or $2$. But this means the degree of $\Bbb{Q}[a_1,...,a_i,a_{i+1}]$ over $\Bbb{Q}[a_1,...,a_i]$ is $1$ or $2$. Thus, if the degree of $\Bbb{Q}[a_1,...,a_i]$ over $\Bbb{Q}$ is a power of $2$, say $2^j$, then the degree of $\Bbb{Q}[a_1,...,a_i,a_{i+1}]$ over $\Bbb{Q}$ is the product of the degree of $\Bbb{Q}[a_1,...,a_i,a_{i+1}]$ over $\Bbb{Q}[a_1,...,a_i]$ and that of $\Bbb{Q}[a_1,...,a_i]$ over $\Bbb{Q}$, and is thus $2^j$ or $2^{j+1}$, in either case a power of $2$. By induction, then, the degree of $\Bbb{Q}[a_1,...,a_n]$ over $\Bbb{Q}$is a power of $2$.

Related Question