域的特征是素数的原因：

设n是域的特征，假如n不是素数，则n=a*b=0且a和b均不为1。

此时有两种情况：

1、a=0则a是一个比域特征更小的整数，且为0，与域特征定义矛盾。

2、b=0矛盾，理由同上。

所以n只能是不能写成非平凡乘积的数，也就是素数。

有限域一定是某个特征为p的素域的m次扩张。