素域

不含真子域的域。设F是任一个域，当F的特征为0，则F含有与有理数域Q同构的子域，因之特征0的素域与Q同构；当F的特征为p，则F含有与Zp同构的子域，因而特征为素数p的素域与Zp同构。因此，任何域必经素域的扩张而得到，即任何域必或为Zp的扩张或为Q的扩张。