信息安全数学基础 有限域.pptVIP

有限域 Galois Field 巫玲 qwAling757@726.com  71减的扩我 匚整环 除环 可交换坏][无歌因子环□舍么环 环 「Abe群 A→B 群 表示满足A 则满足B 半群  71减的扩我 定义7-1 非空集合F,若F中定义了加和乘两种运算,且 满足: 1)F关于加法构成阿贝尔群,加法恒等元记为0 2)F中所有非零元素对乘法构成阿贝尔群,乘法恒等元记为1 3)加法和乘法之间满足分配律 则F与这两种运算构成域 ■每一个非零元都是可逆元的有单位元的交换环 如实数域\复数域\有理数域  71减的扩我 ■当城元素个数有限射,称为有限域或伽罗 瓦 galo域,记为GF 并把元素的个数称为F的阶,记为GF(),否 则称为无限城 ■最常见:GF(2) ■两个元素个数相同的有限城一定同构  71减的扩我 1、全体整数构成环,不构成域 2、全体偶数构成环,不构成域 3、全体实数构成域 4、全体复数构成域}无限域 5、全体有理数构成域 6、设q为素数,则整数全体关于模q的剩余类 在模q的运算下(模q加和乘)构成q阶有限域GF(q)  71城的扩张 子城定义7-2 设F是一个域,A是F的一个子环如果A的每一个非零元素x的迎 元素x也在A中,则A本身也是一个域,这个域称为F的子域 因A是F的子域的充分必要条件是: (1)1∈A, (2)vx、y∈A,有x-y∈A和x∈A(如果y≠0) 如果A是域F的子域,则称F是A的扩域 记为F≤A  71城的扩张 ■定义7-3设F是城,X是F一个子集,那么F 中包含Ⅹ所有子域的交,称为X所生成的子 城 ■所有子域的交:最小子城素城 ■素域也称为极小城 ■任何域都包含一个素城  71城的扩张 例设P是素数,模P的剩余类环2是一个域,这个域不含有 任何真子域。因为从2y的加法群结构知道,2y的子域是(2+)的 子群,而2的元素个数为素数P,因此2的子域只能是z自身 例2有理数域g也是一个不含任何真子域的域,这是因为,如果 D是g的子域,则D含有同g一样的单位元1,从而D含有整数环 z而Z的分式域是g这是包含Z的最小域,所以D=g 补充定义设E是域,是E的个包含单位元e的子环显然S是 整环),如果E中每一个元素均可表为S中两个元素的商分式) 其中a,b∈S但b严0,则称E是s的商域哦分式域。 ■这两个例子实际上已刻划了所有的素城。  71城的扩张 ■有限扩张 设F是K的扩域,视F是K上的向量空间,且维数 为n,则称F是E上的有哏扩张,记为[F:K]=n ■例:视C为R上向量空间,基{1,訃,维数为 2,称C为R的二维扩张。 ■[F:K]=[F:E][E:K] ■无限扩张 [F:K]=∞  71城的扩张 ■扩城的过程反过来,就得到素域的概念, 即不会是任何城的扩域的城 定义7-3域F上子域K,可以并入F子集Ⅹ扩 张,称为兴在K上生成的子城,表示为K) 扩域过程中最小的一步,是得到所谓单扩 张,即并入一个元素而生成之扩城。 F(SUn=F(SXT=F(D(S)