Finite fields and order

Question

If $F$ is a finite field then is it necessary that $|F|=p^n$ for some prime $p$ and positive integer $n$? I know that given prime $p$ and positive integer $n$, there is a field such that $|F|=p^n$? But is the converse always true?

Answer 1

Yes, it is true. If $F$ is a finite field, then its characteristic is finite, so is a prime number $p$. This implies that $F$ is a vector space over $k=\mathbb{F}_p$. Denoting by $n$ the dimension of this vector field, the field $F$ has $p^n$ elements.