Proving $|K| = p^n \Rightarrow \operatorname{char}(K) = p$ I would like to show that if $K$ is a field with $p^n$ elements then its characteristic has to be $p$, $p$ prime. I'm not sure where to start. It's clear to me that I can construct a field of order $p^n$ if I have a ring of characteristic $p$ by taking the ring of polynomials and quotienting it by an irreducible polynomial of degree $n$. But this doesn't help here.
Many thanks for your help!
 A: There is a unique map of rings with unity ${\Bbb Z}\rightarrow K$. Since the target is finite, the kernel must be a non trivial ideal $I$ of ${\Bbb Z}$. Moreover, $I$ must be a prime ideal, since the target is a domain (a field, in fact). 
On the other hand the map maps $p^n=|K|$ to $0$, so that $p^n\in I$ and 
$p^n{\Bbb Z}\subset I$. But the only prime ideal containing $p^n{\Bbb Z}$ is $p{\Bbb Z}$. Therefore $I=p{\Bbb Z}$ and 
${\Bbb F}_p={\Bbb Z}/p{\Bbb Z}\hookrightarrow K$ so that $K$ has characteristic $p$.
A: Since the additive group has order $p^n$ it is obivious that the (additive) order of every element is a power of $p$.
Now assume $py \neq 0$ for some $y$ (with $p = 1 + 1 + ... + 1$, p times) then $p\neq 0$. Now $px = 0$ implies that $x = 0$, so there are no elements of order $p$; a contradiction.
Therefore $py = 0$ and every element has additive order p.
A: With any field, either $char(K) = m \neq 0$, or $char(K) = 0$ ($1$ has either finite additive order, or infinite additive order).
Clearly, in a finite field, we cannot have characteristic $0$, since we only have finitely many elements to obtain by considering $1,1+1,1+1+1$, etc.
Suppose $char(K) = m$. if m is composite, then $m = st$ for some $1 < s,t < m$.
But a field is an integral domain, so $m1 = 0 \implies (st)1 = (s1)(t1) = 0$, so either $s1 = 0$ or $t1 = 0$, contradicting that $char(K) = m$.
The only two options left then, is that either $m$ is prime, or $m = 1$. but the latter option means $1 = 0$, which is not allowed in a field. So we are forced to conclude that $m$ is prime.
However, Lagrange's theorem applied to the additive group of $K$, tells us the order of $1$ in this group is a divisor of $|K|$, that is: $char(K)|p^n$, hence $char(K) = p$ (this being the only prime that divides $p^n$).
A: First of all, thanks for your help. I used your helpful posts to come up with this:
claim: $|K|=p^n  \Rightarrow char(K)=p$
proof:
Consider the additive group of $K$. Then $\forall g \in K: \hspace{2mm} |g| \Big | p^n$. In particular, $|1| \Big | p^n$. Now let $k$ be the smallest integer such that  
$$ 0  = \sum_{i=1}^{p^k}1 = (1 + \dots + 1)\cdot \dots \cdot(1 + \dots +1) = \bar{p} \cdot  \dots \cdot \bar{p}$$ 
$k$ times, where we define $\bar{p} = \sum_{i=1}^p1$. By definition, this is the characteristic of $K$. But if $$ 0 = \bar{p}^{k} = \bar{p}\bar{p}^{k-1}$$ then either $\bar{p} = 0$ or  $\bar{p}^{k-1} = 0$. If $\bar{p} = 0$ then we're done since then the characteristic is $p$. If $\bar{p}^{k-1} = 0 = \bar{p}\bar{p}^{k-2}$ then we repeat the argument until we reach $\bar{p} = 0$ and hence $char(K) = p$.
A: As a Corollary of Lagrange's Theorem, we know that $p^nx = 0$ for all $x$. Therefore, the characteristic of $K$, which is the smallest positive $k$ such that $kx = 0$ (if such exists) must be a divisor of $p^n$. Hence, it is of the form $p^i$, $0\leq i\leq n$.
It cannot be $p^0$, since $1\neq 0$ in a field.
Now, suppose that the characteristic is $p^i$; then there exists an $x\in K$ such that $p^{i-1}x\neq 0$. Therefore
$$0 = p^ix = (p^{i-1}p)x = (px)(p^{i-1}x).$$
Since we are in a field, and $p^{i-1}x \neq 0$, then $px=0$. It follows that $i=1$, so the characteristic is $p$, as desired.
Note that this works in any integral domain whose underlying additive group is of exponent a power of $p$. 
A: Consider the prime field of $K$, $P$ ,and then $K$ is a vector space over $P$ so that $x^{d}=p^{n}$ for some natural integer d in which x is the order of $P$.
Moreover, since the order of the prime field must be a prime, it is equal to p in fact, hence we obtain the result.
