[论文解读] Finite basis problem for identities with involution

Irina Sviridova|arXiv (Cornell University)|Oct 8, 2014

Advanced Topics in Algebra参考文献 23被引用 3

一句话总结

本文为特征零域上结合代数中带有对合的恒等式之 Specht 问题提供了正面解法。通过证明任一此类代数满足与某个有限维 $\nZ/4\nd$-分次代数的 $\nZ/4\nd$-分次对合的 Grassmann $Z/4$-包络相同的恒等式，并借助 PI-可表示性结果，作者证明了 $*$-T-理想（恒等式理想）是有限生成的，从而解决了 $*$-恒等式的有限基问题。

ABSTRACT

We consider associative algebras with involution over a field of characteristic zero. We proved that any algebra with involution satisfies the same identities with involution as the Grassmann envelope of some finite dimensional $Z_4$-graded algebra with graded involution. As a consequence we obtain the positive solution of the Specht problem for identities with involution: any associative algebra with involution over a field of characteristic zero has a finite basis of identities with involution. These results are analogs of theorems of A.R.Kemer for ordinary identities.

研究动机与目标

• 解决特征零域上结合代数中带有对合的恒等式之 Specht 问题。
• 将 Kemer 的分类定理——最初针对普通多项式恒等式——推广至带有对合的代数情形。
• 证明任一特征零域上的结合 $*$-代数均具有对合恒等式的有限基。
• 利用 $\nZ/4\nd$-分次结构，将超级技巧（supertrick）与 PI-可表示性技术推广至对合情境。
• 通过有限维 $\nZ/4\nd$-分次代数的分次对合之 Grassmann 包络，对 $*$-恒等式提供结构表征。

提出的方法

• 构造一个带有分次对合的有限维 $\nZ/4\nd$-分次代数 $C$ 的 Grassmann $\nZ/4\nd$-包络 $E_4(C)$，并证明任一 $*$-代数均与此类包络 PI-等价。
• 利用分解 $C = B \bigoplus J$，其中 $B$ 是半单的，$J$ 是幂零的分次理想，以分析 $E_4(C)$ 的结构。
• 应用带有对合的恒等式之 $*$-T-理想结构，证明此类理想在与对合可交换的自同态下封闭。
• 利用多重线性赋值及中心子代数 $E_{\bar{0}}$ 的作用，证明若高次多项式仅涉及幂零分量，则其在 $E_4(C)$ 中恒为零。
• 利用 $E_{\bar{0}}$ 中心作用且保持 $\nZ/4\nd$-分次结构与对合的性质，推导出迫使某些赋值为零的恒等式。
• 通过反证法：假设存在非有限生成的 $*$-T-理想，进而证明高次多项式 $f_k$ 必须在所有赋值下为零，从而 $f_k$ 属于该理想，由此证明有限生成性。

实验结果

研究问题

• RQ1 能否在特征零域上的结合代数中，正面解决带有对合的恒等式之 Specht 问题？
• RQ2 任一结合 $*$-代数是否 PI-等价于某个有限维 $\nZ/4\nd$-分次代数的 Grassmann 包络？
• RQ3 任一特征零域上的结合 $*$-代数的 $*$-T-理想（恒等式理想）是否具有有限基？
• RQ4 能否利用 $\nZ/4\nd$-分次结构，将 Kemer 对普通恒等式的分类定理推广至对合情形？
• RQ5 能否通过有限维 $\nZ/4\nd$-分次代数的分次对合，对 $*$-恒等式提供结构表征？

主要发现

• 任一特征零域上的结合代数若带有对合，则其满足的对合恒等式与某个有限维 $\nZ/4\nd$-分次代数的 $\nZ/4\nd$-分次对合之 Grassmann $\nZ/4\nd$-包络完全相同。
• 此类代数的 $*$-T-理想（恒等式理想）作为 $*$-T-理想是有限生成的，从而解决了对合恒等式的有限基问题。
• 该证明依赖于作者先前工作中建立的：有限生成的 $\nZ/4\nd$-分次 PI-代数若带有分次对合，则其具有 PI-可表示性。
• Grassmann 包络 $E_4(C)$ 的结构可分解为 $E_4(B) \bigoplus E_4(J)$，其中 $E_4(B)$ 是 $*$-子代数，$E_4(J)$ 是有限阶的 $*$-幂零理想。
• 在 $E_4(C)$ 中，若高次多重线性多项式的所有分量均属于幂零部分，则其赋值为零；即使部分分量属于半单部分，由于 $E_{\bar{0}}$ 的中心作用，赋值仍为零。
• 反证法表明，任何由恒等式生成的 $*$-T-理想必为有限生成，否则高次多项式将被迫进入理想，违反极小性。