首页 > 其他分享 >中国北方春夏季田野调查报告

中国北方春夏季田野调查报告

时间:2024-05-21 17:21:26浏览次数:25  
标签:春夏季 扩域 多项式 调查报告 有限 alpha 扩张 代数 田野

\[\newcommand{ch}{\operatorname{ch}} \]

Chapter 13. Field Theory

13.1.

域的特征 \(\ch F\) 要么为质数要么为 \(0\)。\(1\) 张成的子域被称作素子域 prime subfield。但这都不是什么重要的东西。

域扩张 \(K/F\) 是指 \(K\) 拥有 \(F\) 作为子域,\(F\) 被称作该扩张的基域 base field,\(K\) 则可以直接称作 extension field。

\(K/F\) 意味着,通过 \(F\) 元素在 \(K\) 上点积,定义了一个元素为 \(K\) 中元素的线性空间。域扩张的阶数 degree 或者指数 index \([K:F]\) 即为该线性空间的维数。

域同态总是要么平凡 trivial(指所有元素均映到 \(0\))要么单射,因此非平凡域同态总是引领了一个域扩张。

对于 \(F\) 上不可约多项式 \(p(x)\),\(F[x]/(p(x))\) 是 \(F\) 的一个域扩张,在其中 \(p(x)\) 有根 \(\theta\) 为 \(x\) 在自然同态下的项。该域扩张存在基 \(1,\dots,\theta^{n-1}\),\(F[x]/(p(x))=\{\sum f_i\theta^i\}\),该扩张的指数为 \(n\)。

这个定理的核心是,给定不可约的 \(p(x)\),证明存在 \(F\) 的扩域,其中包含 \(p\) 的根。

若 \(K/F\),则对于 \(K\) 中元素 \(\alpha_1,\dots,\alpha_n\),记 \(F(\alpha_1,\dots,\alpha_n)\) 为 \(F\) 最小的包含 \(\alpha_1,\dots,\alpha_n\) 的扩张。\(F(\alpha)\) 称作单扩张 simple extension,\(\alpha\) 称作其本原元 primitive element。

对于在 \(F\) 上 irreducible 的 \(p(x)\),若有根 \(\alpha\)(这个根显然不在 \(F\) 上而是在 \(K\) 中),则 \(F(\alpha)\cong F[x]/(p(x))\)。

证明比较神奇,通过构建 \(F[x]\to F(a)\) 的同态,这个同态有其相应的 induce homomorphism \(F[x]/(p(x))\to F(a)\)。

什么是 induce homomorphism?如果 \(\varphi:R\to R'\) 是一个同态,\(S,S'\) 是其各自的理想且满足 \(\varphi(S)\sube S'\),则存在同态 \(R/S\to R'/S'\)。这可以被理解为,如果模 \(S\) 同余的东西 collapse 了那么模 \(\varphi(S)\) 同余的东西也应该 collapse;现在这里 \((p(x))\) 的像根本就是 \(0\) 所以右侧不用 collapse。进一步地,这也可以被理解为 \(F[x]/(p(x))\to F[x]/\Im\to F(a)\),其中第一个是进一步 Collapse,第二个其实是因为满射的缘故,间接说明极小性。

这个定理的核心是,给定 \(p\) 的根,证明前述定理构造出的扩域恰好是包含该根的最小扩域。

扩域的最小性其实不明显,但是马上其实可以看到,\(p\) 其实 associate 一个极小多项式(只要把首项除掉就是极小的),\(p\) 的极小性确保扩域的最小性。

上述定理其实保证了根的不可区分性:\(p\) 所有根对应的单扩域都同构于 \(F[x]/(p(x))\),自然根是不可区分的。区分根的是其连续性性质,也即在 范数空间 中的根是可区分的,然而绸带研究的不是番薯。

进一步地,若 \(F\cong F'\),\(p(x)\in F[x]\) 被映到 \(p'(x)\in F'[x]\),且二者均在其中不可约;令 \(\alpha,\beta\) 为二者在某扩张中的根,则 \(\sigma:F(\alpha)\to F'(\beta),\alpha\to\beta\) 是同构。虽然其与同一个域里的分析没有本质区别,因为同构的域就是同一个域。

13.2.

对于 \(F\) 的扩域 \(K\) 中的元,称其在 \(F\) 上是代数 algebraic 的 如果其是某个多项式的根,否则称其是超越 transcendental 的。代数扩域是所有元素都是代数元的扩域。

对于每个代数元,存在唯一的首一不可约多项式拥有其为根,记作 \(m_{\alpha,F}(x)\)。

从所有的不可约且有其为根的多项式(因为是代数元必然存在)中选择阶最小的任一个。用其作 Euc.Alg. 可以干掉所有阶比它大的,同时让阶和它一样的全部与它 associate,那么 monic 的就只有一个。

这个多项式被称作 \(\alpha\) 在 \(F\) 上的 minimal polynomial 极小多项式,其阶数也被视作该代数元的阶数 degree。大扩域中的极小多项式必是小扩域中极小多项式的因式。

极小多项式即为恰好满足有 \(F[x]/(p(x))\cong F(\alpha)\) 之多项式。也即,\([F(\alpha):F]=\deg m_\alpha(x)=\deg\alpha\)。

代数元当且仅当其对应的单扩张是有限的。事实上,阶数为 \(n\) 的有限扩张中所有元素都是不超过 \(n\) 阶元,是 \(n\) 阶多项式根的元素是不超过 \(n\) 阶元。

这是因为,\(n\) 阶有限扩张中任意 \(n+1\) 个元素都可以以基域值为系数线性组合出零,因此 \(n\) 阶有限扩张中所有元素都可以是某个不超过 \(n\) 阶多项式的根。

推论:有限扩张都是代数扩张。

一些琐碎的关于扩张阶数的推论:

  • \([L:F]=[L:K][K:F]\)。(\(L\) 中所有元都可以由 \(n\) 个 \(L\) 中的元以 \(K\) 中参数组出,\(K\) 中元可以由 \(m\) 个 \(K\) 元以 \(F\) 参数组出,于是这 \(n\) 个 \(L\) 元带上 \(m\) 个 \(K\) 元的系数共 \(nm\) 个元,带上 \(F\) 中系数可以组成一切)
  • 推论:\([K:F]\mid[L:F]\)。

\(F(\alpha,\beta)=F(\alpha)(\beta)\)。因此令 \(F_0=F\),\(F_i=F_{i-1}(\alpha_i)\),\(F_n=K\),则 \([K:F]=[F_1:F_0]\dots[F_n:F_{n-1}]\leq d_1\dots d_n\),其中 \(d_i\) 为 \(\alpha_i\) 单独在 \(F\) 中的阶数。

有限扩域当且仅当其被有限个代数元生成。

有限个代数元生成的必是有限扩域。

反之,有限扩域可以找到有限个基底,依次扩入这些基底构成的扩域即为该有限扩域。

因此,代数元的加减乘除都是代数元(考虑仅包含牵扯到此二代数元的扩域,该扩域是有限扩域,其中包含加减乘除),进而代数元全体构成有限扩域。

代数扩域的代数扩域还是代数扩域。

总结:

不可约多项式扩域,扩出来含该多项式某个根的单代数扩域;至于含哪个根,因为不可约多项式的根之间没有代数区别,所以不在意。

代数元存在零化多项式和唯一的极小多项式,代数元引导的单代数扩域等效于该极小多项式引导的扩域。

有限扩张是存在有限基的扩张。代数扩张是所有元素的有限次幂中会出现线性相关的扩张;有限幂的初次线性相关对应了一个零化多项式,同时也是极小多项式,而更高阶线性相关对应着随意的一个零化多项式

有限基意味着超过基大小的元素集合必然存在线性相关,因此有限扩张中所有元素的阶均不超过扩张的阶,有限扩张必是代数扩张。

有限扩张可以被基描述,所以有限扩张可以被有限次针对基的单代数扩张描述,反之有限次单代数扩张必然得到有限扩张。

有限扩张重复还是有限扩张,代数重复还是代数。

两个域的结合域 composite field \(K_1K_2\) 是同时包含二者的最小域,且必有 \([K_1K_2:F]\leq[K_1:F][K_2:F]\)。因为大扩域的指数必然是小扩域指数的倍数,所以当两个小扩域的指数互质时,大扩域的指数必然是二者积。

标签:春夏季,扩域,多项式,调查报告,有限,alpha,扩张,代数,田野
From: https://www.cnblogs.com/Troverld/p/18204557

相关文章

  • 【专题】2023-2024年游客满意度调查报告合集PDF分享(附原数据表)
    原文链接:https://tecdat.cn/?p=36043游客不仅是旅游服务质量的最终评判者,还是旅游业的界定者、城市旅游的评价者,更是塑造国家级和世界级旅游城市的关键力量。他们的满意度直接揭示了旅游发展的动力与方向,为旅游城市的建设指明路径。2011年,我国荣获联合国世界旅游组织政策管理创新......
  • 集英社-富硒土壤对茶叶品质影响 调查报告
    谨以此文,悼念我炸裂的计应数期中考试。下次不仅要带一个脑子做题,还得带一个脑子盯着它做题,不然第一个脑子容易跑偏刹不住车。得去黑市看一眼最近脑子市价如何,如果太贵还得卖点东西凑一凑。\[\newcommand{\d}{\mathrmd}\newcommand{\i}{\mathbfi}\]简介:你说的对,但是「集英社」......
  • 云原生周刊:CNCF 2023 年度调查报告 | 2024.4.15
    开源项目推荐highlight该项目是一个开源全栈监控平台。其功能包括错误监控、会话重放、日志记录、分布式跟踪等。HelmComposeHelmCompose是一个helm插件,用于在单个配置文件中管理一个或多个图表的多个版本。HAMi异构AI计算虚拟化中间件(HAMi),是一个“一站式”图表,旨在......
  • 《2023 IT行业项目管理调查报告》新鲜出炉!助力IT行业持续稳步发展
    又一年!2024年1月,禅道联合多方合作伙伴,发起了2023年IT行业项目管理调查问卷。经过2个多月的问卷收集与报告分析,《2023IT行业项目管理调查报告》发布啦!            我们希望通过这次调查,深入了解不同公司和个人在项目管理中面临的现状与挑战,为行业提供宝......
  • 中国FinOps现状调查报告(2023)》亮点解读
    今年以来,我们举办了多期FinOps的专题分享,邀请了美图、腾讯、B站、趣丸、知乎等厂商和行业专家,分享他们在FinOps领域的经验。我们也发现越来越多的人对FinOps产生了浓厚的兴趣,而且FinOps的成熟度也在逐渐提升。降本增效,一直以来都是IT人关注的焦点。我们坚信FinOps将成为降本增效的......
  • 【专题】2023年中国数字金融调查报告PDF合集分享(附原数据表)
    原文链接:https://tecdat.cn/?p=34685原文出处:拓端数据部落公众号随着数字化转型的深入推进,新客户的增长速度已达顶峰,用户运营成为推动存量增长的关键手段。调查数据显示,相比去年,网上银行用户比例有所下降,而手机银行用户比例基本持平。阅读原文,获取专题报告合集全文,解锁文末249份......
  • R语言大学城咖啡店消费问卷调查报告:信度分析、主成分分析可视化
    本次调查旨在了解文汇路咖啡店的市场状况,以便为学校周边咖啡店的经营发展提供积极的引导意义。我们通过问卷调查的方式,收集了大量的数据,通过r软件对数据进行了基本情况分析、信度分析、问卷调查数据可视化分析以及主成分分析,以全面了解文汇路咖啡店的市场情况。咖啡店调查问卷我们......
  • R语言大学城咖啡店消费问卷调查报告:信度分析、主成分分析可视化
    全文链接:https://tecdat.cn/?p=34656原文出处:拓端数据部落公众号本次调查旨在了解文汇路咖啡店的市场状况,以便为学校周边咖啡店的经营发展提供积极的引导意义。我们通过问卷调查的方式,收集了大量的数据,通过r软件对数据进行了基本情况分析、信度分析、问卷调查数据可视化分析以及......
  • 有破格强基资格的OIer的去向调查报告
    2023届noi银牌大学去向调查报告前言:感谢参与调查的同学们抽出宝贵的时间填写问卷,我们将对个人信息进行保密。以下为部分统计结果,希望对学弟学妹们有一些参考作用。我们的调查可能有纰漏,感谢大家的包容,也恳请大家批评指正。调查报告将持续更新。如果想要了解其他问题,可以提出......
  • [USACO23OPEN] Field Day S 田野日 - 动态规划
    提供一个简单的DP思路。##0x01重点信息可以先找出题目中的一些重点信息。-字符串中只有$G$与$H$。-$N$很大($2\leqN\leq10^5$),但$C$很小($1\leqC\leq18$)。##0x02思路既然字符串中只有$G$与$H$,我们不妨将字符串转化为二进制数字(如$1$代表$G$,$0$代......