[论文解读] On associative spectra of operations

Sebastian Liebscher, Tamás Waldhauser|arXiv (Cornell University)|Feb 11, 2011

Advanced Topics in Algebra参考文献 1被引用 9

一句话总结

本文通过括号化和项枚举，将结合性谱从二元推广到 $p$-元运算，引入了作为恒等式集合的伽罗瓦闭集的精细谱。它刻画了精细谱，证明了广义卡塔兰数的显式公式，构造了多项式谱，并证明了存在不可数无穷多个不同的谱，解决了早期关于结合律研究中的开放问题。

ABSTRACT

The distance of an operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Associative spectra were introduced in a publication by B. Csákány and T. Waldhauser in 2000 for binary operations (see arXiv:1102.2124). We generalize this concept to p-ary operations, interpret associative spectra in terms of equational theories, and use this interpretation to find a characterization of fine spectra, to construct polynomial associative spectra, and to show that there are continuously many different spectra. Furthermore, an equivalent representation of bracketings is studied.

研究动机与目标

• 将结合性谱的概念从二元推广到 $p$-元运算。
• 定义并刻画作为从括号化导出的恒等式集合的伽罗瓦闭集的“精细谱”。
• 构造 $p$-元运算的多项式结合性谱并证明其存在性。
• 证明存在连续无穷多个不同的结合性谱。
• 建立括号化的等价表示形式，即插入元组，并将其应用于推导显式公式。

提出的方法

• 将 $p$-元括号化定义为仅含一个 $p$-元运算符号 $\omega$ 的项代数中的项，使用递归构造。
• 引入枚举映射 $\varepsilon_j$ 以区分括号化中变量的出现，从而支持项函数分析。
• 利用伽罗瓦连接 $\operatorname{Mod_{Brack}} - \operatorname{Id_{Brack}}$ 定义精细谱为恒等式集合的伽罗瓦闭集。
• 通过插入元组表示括号化，其编码了递归构造中变量插入的顺序。
• 使用插入元组证明广义卡塔兰数的显式公式，该公式用于计数给定出现次数的 $p$-元括号化。
• 构造了三个不同的多项式结合性谱，解决了 Csákány 和 Waldhauser (2000) 的问题 3。

实验结果

研究问题

• RQ1 如何通过括号化和项枚举，将结合性谱从二元推广到 $p$-元运算？
• RQ2 精细谱的结构是什么？它们在等式理论背景下如何细化结合性谱？
• RQ3 $p$-元运算的多项式结合性谱能否被构造？如果可以，如何实现？
• RQ4 是否存在不可数无穷多个不同的结合性谱？这对谱的格结构意味着什么？
• RQ5 插入元组在刻画括号化及推导广义卡塔兰数显式公式中起什么作用？

主要发现

• 本文建立了代数与恒等式集合之间的伽罗瓦连接 $\operatorname{Mod_{Brack}} - \operatorname{Id_{Brack}}$，其中精细谱为伽罗瓦闭集。
• 给出了精细谱的刻画，从而实现了将广义结合律推广至 $p$-元运算。
• 通过插入元组证明了广义卡塔兰数的显式公式，该公式用于计数给定出现次数的 $p$-元括号化。
• 构造了三个不同的多项式结合性谱，解决了 Csákány 和 Waldhauser (2000) 的问题 3。
• 研究了精细谱的格结构，并证明了存在不可数无穷多个不同的谱，即连续无穷多个。
• 每个最终结合性谱均可表示为某个有限小群的精细谱，证明了该构造的普遍性。