1
$\begingroup$

If $K = \mathbb{F}_p(\alpha)$ where $\alpha^n \in \mathbb{F}_p$ and $n$ is the minimal such $n$. Does this imply that $[K : \mathbb{F}_p] = n$?

If not, is there a condition on $\alpha$ where this is the case?

2 Answers 2

4

No, it does not imply that $[K:\mathbb{F}_p]=n$.

Let $[K:\mathbb{F}_p]=d$. We can choose an $\alpha\in K$ such that $\alpha$ generates the multiplicative group $K^\times$, so that the smallest $s$ such that $\alpha^s=1$ is $s=p^d-1$, and therefore the smallest $n$ such that $\alpha^n\in\mathbb{F}_p$ has to be $n\geq \frac{p^d-1}{p-1}$, but in general we have that $\frac{p^d-1}{p-1}> d$

4

Consider $\mathbb{F}_2$. Let $x^2 + x + 1 \in \mathbb{F}_2[x]$, a irreducible polynomial. Let $\theta$ be a root of this polynomial (in the algebraic closure). Then $\mathbb{F}_2[\theta]$ is a degree 2 extension. However $\theta^2 = \theta + 1 \notin \mathbb{F}_2$, since $\theta^2 + \theta + 1 = 0$.

  • 0
    Oh, yeah, of course. Thanks for explaining :)2012-06-08