百度百科
素域
素域是一種重要的域，指不含任何真子域的域。任何一個域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是素域,因此任意域都含有一個素子域。 © 漢典