素数支化意味着什么？

当一个素数在扩域中的素理想分解包含重复因子时，它就发生了支化；只有有限多个素数会支化，它们恰好是那些能整除判别式的素数。

什么是弗罗贝尼乌斯元？

对于伽罗瓦扩域中的非支化素数，它是诱导剩余域上p次幂映射的规范自同构；它的共轭类记录了素数如何分裂，是互反律的关键。

当一个数域中的素理想在更大的数域中被考察时，它可能会分裂成几个素理想，保持为素理想，或者发生支化；伽罗瓦理论通过分解群和弗罗贝尼乌斯元来组织所有这些行为。

用 PaperMind 寻找选题即将推出Find papers & topics

Tools & resources

Learn & explore

视频即将推出

支化描述了基域的素理想在扩域中如何分解以及是否出现重复的素因子；数域的伽罗瓦理论通过附着于每个素理想的伽罗瓦群的子群来编码这种现象。

本主题涵盖了有理素数在扩域中分解为带支化指数和剩余次数的素理想，将它们与次数联系起来的基本恒等式，支化和非支化素数，伽罗瓦扩域中的分解群和惯性群，弗罗贝尼乌斯自同构，不同（different）以及判别式与支化之间的关系，以及预示互反律的阿廷符号。

基本恒等式与分裂类型: 一个素数在扩域中分解时，其支化指数和剩余次数的加权和等于域的次数；在伽罗瓦扩域中，所有因子共享相同的指数和次数，从而分类为分裂、惰性或支化行为。
分解群、惯性群和弗罗贝尼乌斯: 对于伽罗瓦扩域中某个素数上方的素理想，分解群是其稳定子，惯性群是其支化部分，商群由弗罗贝尼乌斯元生成，该元在剩余域上表现为幂次映射。
不同（different）、判别式和支化: 不同理想和判别式精确地指出了支化素数，其中导子-判别式公式通过其特征的导子表达了阿贝尔扩域的判别式。

素数通过弗罗贝尼乌斯元的分解行为支配着互反律，并且是数域上多项式和理想分解算法（包括数域筛中的步骤）的计算核心。

戴德金将素数的分解与模该素数的多项式最小多项式的分解联系起来。希尔伯特在1897年的《数论报告》（Zahlbericht）中系统化了支化理论，引入了分解群、惯性群和高阶支化过滤，这些概念构成了现代该主题的基础。