素域是一種重要的域，指不含任何真子域的域。任何一個域F都有單位元e，考慮加群{0，±e，±2e，…，±me，…}，它有兩種可能：

1.對任意非零整數m，me≠0，若S={ne/me|m，n為整數，m≠0}，則S是F的子域且同構於有理數域，此時稱F的特徵(數)為零；

2.存在正整數m，me=0，若p是使pe=0的最小正整數，則p必為素數，稱為F的特徵(數)，若S={0，e，…，(p-1)e}，則S是F的子域且與整數環模p的域同構，當F=S時,稱F是素域,因此任意域都含有一個素子域。