Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Theorem: Let $p$ be a prime and let $n\in\mathbb{Z}^{+}$. If $E$ and $E'$ are fields of order $p^{n}$, then $E\cong E'$.

Proof: Both $E$ And $E'$ have $\mathbb{Z}_{p}$ as prime fields (up to isomorphism). By Corollary 33.6, $E$ is a simple extension of $\mathbb{Z}_{p}$ of degree $n$, so there exists an irreducible polynomial $f(x)$ of degree $n$ in $\mathbb{Z}_{p}[x]$ such that $E\cong \mathbb{Z}_{p}[x] / \langle f(x)\rangle$.

I'm hoping someone can get me unstuck! Thanks!

Corollary 33.6 that is referenced states: A finite extension $E$ of a finite field $F$ is a simple extension of $F$.

Edit: The original question below has been answered by DonAntonio. I understand how Corollary 33.6 is being applied, but I don't see where the polynomial comes from. This looks like the construction of $\mathbb{Z}_{p}(\alpha)$, if $\alpha$ were a root of the polynomial $f(x)$, so I'm guessing that is related. But what if $E = \mathbb{Z}_{p}(\alpha)$ for some transcendental $\alpha$ over $\mathbb{Z}_{p}$? This isn't outlawed by the Corollary.

share|cite|improve this question
up vote 1 down vote accepted

It can't be $\,E=\Bbb F_p(\alpha)=\Bbb Z_p(\alpha)\,\,,\,\,\alpha$ transcendental over $\,\Bbb F_p\,$ , as then $\,E\,$ wouldn't be a finite extension of $\,\Bbb F_p\,$ and thus not even a finite field, of course.

share|cite|improve this answer
That sounds true. I'll take it as an exercise to verify afterwards for the moment and try to finish the proof. Thanks for the help. – roo Aug 4 '12 at 1:19
OK. This was actually theorem in a previous chapter: A finite extension field $E$ of $F$ is an algebraic extension of $F$. Thanks again. – roo Aug 4 '12 at 1:22
Anytime @Kyle , though I'd rather word that theorem as "a finite field extension is algebraic", just to make crystal clear that the other way around is pretty false: there are algebraic extensions that are infinite. – DonAntonio Aug 4 '12 at 1:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.