有限域
由有限個元組成的域稱為有限域,又稱為伽羅瓦域
整數(shù)模p的剩余類環(huán)是一個有p個元的有限域
顯然,任一有限域F包含的素域一定是,而不可能是
F是的一個有限擴張,因而
,F可看作
上的一個n維向量空間
設是F在
上的一組基,則F中每個元可唯一表成
F中恰有個元
定理:任一有限域的元個數(shù)為素數(shù)方冪,即任一有限域的特征一定是素數(shù),若特征是p,則這個有限域是的有限擴張,若擴張次數(shù)為n,則這個有限域的元個數(shù)為
注:或
表示含有q個元的有限域,其中q一定是素數(shù)的方冪
例:
1.是
中的2次不可約多項式,故
是一個含有4個元的域
以表示
的一個根,則
中四個元為
上的加法運算表為
上的乘法運算表為
2.設,
在
上沒有根,故
是
上的不可約多項式
是一個含有9個元的域
以表示
的一個根,則
中9個元為
由多項式環(huán)中模
的剩余類環(huán)
的運算法則,可得
的加法運算表和乘法運算表
如
設是有q個元的有限域,其中
是一個素數(shù)方冪
的全體非零元組成一個階為
的乘法群,故
的任一非零元是
的根
即的q個元都是
的根
,故
沒有重根
即
在
上的分裂域
一定存在,且在同構意義下唯一
定理:,含有
個元的域一定存在,且在同構意義下唯一
注:有限域的非零元組成的
階乘法群
一定是一個循環(huán)群
例:
1.是
中的2次不可約多項式,以
表示
的一個根
是循環(huán)群,
是它的生成元
2.是
上的不可約多項式,以
表示
的一個根
是由
生成的8階循環(huán)群
除外,
也都是
的生成元
共有個生成元(
為歐拉函數(shù))
定理:任一有限域的非零元組成的乘法群是循環(huán)群
證明:
本原元
循環(huán)群的生成元稱為
的本原元
本原多項式
定義:設,
的本原元在
上的極小多項式稱為
上的(n次)本原多項式
定理:設,有限域
是其素域
的單擴張
證明: