logo
天地变化的道理
使用率很高网站
生活要常常分享
您身边百科全书
免费为您秀产品
有限域
有限域 在数学中,有限域()或伽罗瓦域(,为纪念埃瓦里斯特·伽罗瓦命名)是包含有限个元素的域。与其他域一样,有限域是进行加减乘除运算都有定义并且满足特定规则的集合。有限域最常见的例子是当 "p" 为素数时,整数对 "p" 取模。 有限域的元素个数称为它的阶。 有限域在许多数学和计算机科学领域的基础,包括数论、代数几何、伽罗瓦理论、有限几何学、密码学和编码理论。 存在性与唯一性. 设 "q" = "pn" 为质数幂, "F" 为多项式 formula_5 于质数域 GF("p") 上的分裂域。换言之, "F" 是最低阶的有限域,使得 "P" 在 "F" 内有 "q" 个互异的根(注意 "P" 的为 formula_6 ,因此 "P" 无重根)。 利用二项式定理,可证恒等式 formula_7 在特征为 "p" 的域上成立(中一新生之梦)。此恒等式说明 "P" 任两根之和或积仍为 "P" 的根。同时, "P" 的根的乘法逆元仍是根,因此 "P" 的根构成一个 "q" 阶的域。由 "F" 的最小性,可知此域即为 "F"。 由于分裂域在同构意义下唯一, "q" 阶域也在同构意义下唯一(已证其为 formula_5 的分裂域)。而且,若域 F 有一个阶为 formula_9 的子域,则其元素恰为 formula_10 的 q 个根,所以 F 不能包含另一个阶为 q 的子域。 E·H·摩尔于 1893 年证明了以下的分类定理,可作为本节的总结: "有限域的阶为质数幂。对任意一个质数幂" "q," "都存在" "q" "阶的域,并且任意两个 " "q" " 阶的域都同构。该些域中,任意的元素 ""x"" 都满足" formula_11 "且多项式" "Xq" − "X" "可分解成" formula_12 由此可知,GF("pn") 有同构于 GF("pm") 的子域当且仅当 "m" 整除 "n";该情况下,仅有唯一的子域与 GF("pm") 同构。多项式 "Xpm" − "X" 整除 "Xpn" − "X" 也是当且仅当 "m" 整除 "n." 弗罗贝尼乌斯自同构和伽罗瓦理论. 设 "p" 为质数, "q" = "p""n" 为质数幂。 在 GF("q") 中,恒等式 ("x" + "y")"p" = "xp" + "yp" 说明映射 formula_13 是 GF("q") 上 GF("p")-线性的域自同构,其保持子域 GF("p") 的元素。该映射称为弗罗贝尼乌斯自同构,得名于费迪南德·格奥尔格·弗罗贝尼乌斯。 记 "φk" 为 "φ" 的 "k" 次叠代,则 formula_14 此前已证明 "φn" 为恒同映射。若 0 "φk" 并非恒同映射,否则多项式 formula_15 就有多于 "pk" 个根,矛盾。 此外 GF("q") 并无其他 GF("p")-自同构。换言之,GF("pn") 恰有 "n" 个 GF("p")-自同构,其为 formula_16 以伽罗瓦理论观之, GF("pn") 是 GF("p") 的伽罗瓦扩展,且其伽罗瓦群为循环群。 弗罗贝尼乌斯映射为满射,因此任意一个有限域都是。 一些小型的有限域. F2: F3: F4: 考虑formula_17 方程的根不在F2中。记其中一根为"A", 则formula_18且另一根为 formula_19
有限域
本站由爱斯园团队开发维护,感谢
那些提出宝贵意见和打赏的网友,没有你们的支持,
网站不可能发展到今天,
继往开来,善终如始,我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.