2
$\begingroup$

Suppose a polynomial $f(x)$ of degree $n$ over $\mathbb{Q}$ is the minimal polynomial of an element $\alpha$ in an extension field of $\mathbb{Q}$. Is $[\mathbb{Q}(\alpha):\mathbb{Q}]=n$? Please give reason(s) for your guess.

$\endgroup$
1
  • 1
    $\begingroup$ That's perfectly correct. $\endgroup$
    – Bernard
    Commented Jul 29, 2018 at 10:08

1 Answer 1

1
$\begingroup$

First $\mathbf Q[α]=\{p(α)\mid \deg p<n\}$.

Indeed,we can divide any polynomial $p(x)$ by $f(x)$ by Euclidean division: \begin{align} p(x)&=q(x)f(x)+r(x),\quad& r&=0\;\text{or}\;\deg r<\deg f=n. \end{align}

Thus $p(α)=r(α)$ and $\mathbf Q[α]$ is a finite-dimensional $\bf Q$-vectorspace, of dimension $n$ since $f$ is the minimal polynomial of $α$.

Next, note that $\mathbf Q(α)=\mathbf Q[α]$.

Indeed, since $\mathbf Q[α]$ is a finite dimensional $\mathbf Q$-vector space, so that multiplication by a non-zero element of $\mathbf Q[α]$, which is injective, is also surjective, i.e. $1$ is attained – in other words this non-zero element has an inverse in $\mathbf Q[α]$, which is therefore a field.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .