(21.1)--第20章扩域近世代数.pptVIP

* 域论基本定理 分裂域 第20章 扩域 (Extension Fields) 第20章 扩域 不可约多项式的根 例6 分裂域 * 分裂域是否唯一? 定理 20.3 设F是域, 不可约. 若在F的某个扩域E上，有 若deg(p(x))=n, 则 且F(a)每个元素表达方式唯一. 分裂域 * 证：考虑 易见这是一个环同态,其同态核为: (见17章Ex.31) 由同态基本定理知: 因p(x)不可约, 由Th17.5的推论1知: 显然, 由F(a)的定义,必有 F(a)的结构 分裂域 * 证：现在设deg(p(x))=n. 注意 的每个元素可唯一的表示为 (若f(x)+p(x)=g(x)+p(x),则p(x)|f(x)-g(x), 比较次数, 得f(x)=g(x)