[论文解读] Skolem-Noether for nilpotent products

James B. Wilson|arXiv (Cornell University)|Jul 15, 2015

Advanced Topics in Algebra参考文献 28被引用 4

一句话总结

本文将 Skolem-Noether 定理与 Morita 定理推广至滤子代数与群中的双线性映射（双映射），引入了一套通过标量环（$\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$）与中心 $\mathcal{C}_*$ 理解自同构与导子群的框架。建立了自同构群的正合列，并将其应用于降低有限 $p$-群与具有半单关联结构的代数在同构性测试中的计算复杂度，尤其适用于幂零群与代数。

ABSTRACT

We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear maps. The appeal for working in this generality is broad applicability. We introduce fundamental structures and prove several results akin to ones in ring theory, including theorems of Morita and of Skolem-Noether type. Applications and examples are included.

研究动机与目标

• 将经典定理（如 Skolem-Noether 与 Morita 定理）推广至由滤子代数与群导出的双线性映射设定中。
• 通过分析关联双映射，阐明具有非平凡幂零根的代数与群中自同构群与导子群的结构。
• 引入并研究双映射的自同构群，利用标量环 ($\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$) 与中心 ($\mathcal{C}_*$)，尤其在幂零积的背景下。
• 利用这些结果，通过张量积与旋子积（versor products）降低有限 $p$-群与代数的同构性测试的计算成本。

提出的方法

• 引入具有分配律与标量渗透性质的 $k$-双映射形式化体系，并将同构映射定义为保持双映射结构的三元同态组。
• 定义三个结合性单位元代数——左、中、右标量（$\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$）以及中心 $\mathcal{C}_*$，作为分析双映射对称性的核心工具。
• 建立自同构群的正合列，将 $\operatorname{Aut}(*)$ 与 $\mathcal{L}_*$、$\mathcal{M}_*$、$\mathcal{R}_*$ 的乘法群联系起来，推广了 Skolem-Noether 定理。
• 将该框架应用于滤子群与滤子代数，利用关联的分次李代数及商群上的诱导双映射分析自同构群。
• 在精细滤子中利用 $\mathcal{L}_*$、$\mathcal{M}_*$、$\mathcal{R}_*$ 的半单性，以应用 Morita 与 Skolem-Noether 型结果实现结构控制。
• 使用双映射的张量积与旋子积来建模幂零积，并将同构性测试的复杂度从 $O(p^{c(me)^2})$ 降低至 $O((me)^6 \log^2 p)$。

实验结果

研究问题

• RQ1 如何将 Skolem-Noether 与 Morita 定理推广至由滤子代数与群导出的双线性映射？
• RQ2 标量环 $\mathcal{L}_*$、$\mathcal{M}_*$ 与 $\mathcal{R}_*$ 在决定双映射自同构群结构中扮演何种作用？
• RQ3 能否通过其关联的分次双映射及其对称性来描述幂零群或代数的自同构群？
• RQ4 将群或代数的滤子细化以消除 Jacobson 幂零根，如何改善关联双映射及其自同构群的结构？
• RQ5 在有限 $p$-群的同构性测试中，使用双映射的张量积与旋子积会产生何种计算影响？

主要发现

• 本文证明了将双映射自同构群与其中左、中、右标量环乘法群联系起来的正合列，推广了 Skolem-Noether 定理。
• 对于任意满足有限链条件的群，存在一个特征滤子，使得其关联的分次李代数具有半单的标量环 $\mathcal{L}_*$、$\mathcal{M}_*$ 与 $\mathcal{R}_*$。
• 自然同态 $\operatorname{Aut}(G) \to \operatorname{Aut}(L(\phi))$ 的核由一个滤子子群 $\Delta\phi$ 捕获，其关联的分次李环可嵌入到 $L(\phi)$ 的导子代数中。
• 使用 $\operatorname{Aut}(\otimes_{\mathcal{M}_*})$ 与旋子积，将 $\mathcal{T}_{1,m,1}(p^e)$ 商群的同构性测试成本从 $O(p^{c(me)^2})$ 降低至 $O((me)^6 \log^2 p)$ 次运算。
• 通过细化滤子以消除 Jacobson 幂零根，可确保所有关联双映射的标量环均为半单，从而可应用 Morita 与 Skolem-Noether 定理。
• 该框架可统一应用于非结合环、环群与群，通过附加关联的分次结构，推广了近期关于环群同构性的结果。