环的特征与素域.pptVIP

§3.6 环的特征与素域(3.6 Expansion of Ring) 当我们在研究环和域的性质时,特征数是其一个重要性质. 特征数不同的环和域在结构上有很大的不同. 本节首先介绍环和域的特征数,然后介绍素域及其性质和判别. ? ???????? 3.6.1 环的特征数 Def: 设(R,+, ·)是一个环,若存在自然数n,对?a∈R, 有na=0,则称具有这种性质的最小自然数为R的特征数. 若这种n不存在,则称R的特征数为0. 易知,若R有单位元e,则其特征数n是使ne=0的最小自然数. 例1: Z/n的特征数是n,而Z的特征数是0. 例2: 域的特征数只能为0或素数p. Def: 设F是域,则由F的单位元e生成的F的最小子域P称为素域. 命题:设F是域, P是F的素域, 则当F的特征数为p= 0时, P ? 有理数域Q; 当F的特征数p≠0时, P ? Z/p. 证明:考虑映射 ? : Z→F, ?(n)=ne, ?n∈Z, 则? 是环的同态,即 Z ~ F. 若 F的特征数是p= 0, 则 P 包含一个与 Z 同构的子环? (Z),从而P与Z的分式域Q同构,即 P ? Q. 若F的特征数为p≠0,则p是一个素数(例3.9.4),从而P包含一个与Z/p同构的子域,故P? Z/p. 这样,我们得到任一域的构造: 设P是F 的素域, ??∈F, 若? 是P上的超越元? ? 包含在P关于? 的超越扩张中; ? 是代数元? ? 包含在P关于? 的代数扩张中. 从而, F 可以由P 经一系列的超越扩张或代数扩张得到. 3.9.3 域F上的多项式的根,分裂域 (Roots of Polynomial on Field F, Partition Field) Def: 设F是域, f (x)∈F[x], deg f (x) =n, a∈F,若 (x-a)k |f(x), (x-a)k+1 ? f(x) 则称a是 f (x)的k重根. Th2:对F[x]中的每一个次数?1的多项式 f (x), 存在域F的扩域K,使 f (x)在K中至少有一个根. 证明:设 f1(x)是 f (x) 的一个次数?1的不可约因子,则 K=F[x]/f1(x) 是F的扩域,且对K中的 ?=x+f1(x), 有 f1(?)= =0, 从而?是 f1(x) 的根, 也是 f (x) 的根. 将证明中的推导继续做下去, 如果f (x)作为K[x]中的多项式仍有次数?1的不可约因子, 我们可将K再进行扩张. 如此下去, 经有限次扩张后必得F的一个扩域E,使 f (x)在E[x]中可以分解为一次因子的积: f (x)=a0(x-a1)(x-a2)…(x-an) 这样,a1,a2,…an便是f (x)的n个根,其中deg f (x)=n,于是我们有 推论: 对 F[x] 中的任何次数为 n (n≥1) 的多项式f (x),必有F的一个扩域E,使f (x)在E中恰有n个根(等价于代数基本定理). Def: 设f (x)∈F[x], deg f (x)= n?1, E是F的一个扩域,且满足 1°f (x)在E中恰好有n个根a1,a2,…,an(重根按重数计);2°E是包含F及a1,a2,…,an的最小扩域 (或F 添加a1,a2,…,an得到). 则称E为f (x)的在F上的分裂域(splitting field)或根域(root field). 进一步可以证明:在同构的意义下,f(x)的分裂域是唯一的. 例4:设R是实数域,则复数域C是x2+1∈F[x]的分裂域. 对有理数域Q, x2-3∈Q[x], 但实数域R不是它的分裂域,而是 . §3.10 有限域 (3.10 Limit Field) Def: 如果域F的元素个数是有限的,|F|=n,则称F为有限域,也称Galois域,记作F=GF(n). 有限域在 计算机科