Dickson代数上米尔诺原始运算的标准化导数及其应用

我们研究Steenrod-Milnor算子 $\mathrm{St}^{\emptyset,\Delta_i}$ 在特征域 $\mathbb{F}_p$ 上Dickson代数 $D_n$ 上的作用。我们的主要观察是，通过除以Dickson不变量 $Q_{n,0}$ 可在局部化 $D_n[Q_{n,0}^{-1}]$ 上得到一个严格的导数。这一视角为推导 $\mathrm{St}^{\emptyset,\Delta_i}$ 在Dickson生成元上的所有高阶迭代的闭式公式提供了透明的框架。因此，我们建立了 $(\mathrm{St}^{\emptyset,\Delta_i})^m=0$ 在生成元上的消失条件（当 $m\ge p$ 时），以及更强的全局算子身份 $(\mathrm{St}^{\emptyset,\Delta_i})^p=0$ 在整个 $D_n$ 上的成立。此外， Upon对 $R_{n,i}^p$ 进行局部化后，标准化作用变为欧拉类型。这使我们能够精确确定经典范围 $2\le i<n$ 中的导数的核与像，并在 $i=n$ 时通过辅助grading描述它们。作为应用，我们的通用形式化方法恢复了若干已知的一阶公式，并将其升级为所有高阶迭代的闭式表达式。最后，我们提出一种附属于标准化比值系数的康托尔型构造，为那些不一定满足平方为零的$\xi$侧上的操作提供一种类似Margolis同调的结构类比。