Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question

1 Answer 1

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|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. –  Kyle Schlitt 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. –  Kyle Schlitt Aug 4 '12 at 1:22
1  
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

 
discard

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.