[论文解读] Examples, counterexamples, and structure in bounded width algebras

Zarathustra Brady|arXiv (Cornell University)|Sep 12, 2019

Advanced Algebra and Logic参考文献 18被引用 4

一句话总结

本文通过引入一个三元运算的伪簇结构，研究了极小有界宽度代数——即具有有界关系宽度但不具有保持该性质的真子代数的代数——。它对大小不超过3的此类代数进行了分类，并为不包含多数子代数的代数建立了结构定理，表明它们构成一个带有交换二元运算的伪簇，同时作为主要结果的副产品，也对具有Taylor项的极小克隆进行了分类。

ABSTRACT

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We classify minimal bounded width algebras which have size at most three, and prove a structure theorem for minimal bounded width algebras which have no majority subalgebra, which form a pseudovariety with a commutative binary operation. As a byproduct of our results, we also classify minimal clones which have a Taylor term.

研究动机与目标

• 对大小至多为三的极小有界宽度代数进行分类。
• 通过带有交换二元运算的伪簇，对不包含多数子代数的极小有界宽度代数进行结构表征。
• 使用基本三元运算，为极小有界宽度代数建立伪簇结构。
• 作为主要结果的副产品，提供具有Taylor项的极小克隆的分类。
• 研究极小有界宽度代数中关于项等价性、子代数生成和连通性的结构猜想。

提出的方法

• 使用 $pq$ 实例和环一致性，为有界宽度代数中弱近一致项的存在性提供直接证明。
• 引入有界宽度的新表征：存在幂等项 $f$ 和 $g$，满足 $g(x,x,y) \to f(x,y)$ 和 $f(f(x,y),f(y,x)) \to f(x,y)$。
• 对项应用迭代论证，构造出任意有界宽度代数中高阶元的弱近一致项的无限族。
• 使用由对生成的子代数的概念来分析结构性质，特别是在缺乏多数子代数的情况下。
• 使用不变量 $ ext{Inv}_2( ext{A})$，即 $ ext{A} \times \text{A}$ 的子代数集合，来探索项等价性和结构恢复。
• 利用先前工作中的已知等价性（例如，[13]、[18]、[21]）将问题简化为Mal’cev条件和同余性质。

实验结果

研究问题

• RQ1 大小至多为三的极小有界宽度代数的完整分类是什么？
• RQ2 如何对不包含多数子代数的极小有界宽度代数进行结构表征？
• RQ3 在项等价意义下，$ ext{Inv}_2(\text{A})$ 在多大程度上决定了一个极小有界宽度代数？
• RQ4 极小有界宽度代数是否满足涉及项 $w$ 和 $s$ 的猜想恒等式，这些项类似于多数和半格运算？
• RQ5 极小有界宽度代数的结构能否通过特定项运算从更小的子代数构建而成？

主要发现

• 所有大小至多为三的极小有界宽度代数均已分类，其项运算和子代数格均有明确描述。
• 不包含多数子代数的极小有界宽度代数构成一个伪簇，对子代数和积封闭，并带有交换二元运算。
• 为任意有界宽度代数构造出一个弱近一致项的无限族，其阶数超过 $2 \times \text{lcm}\big\brace{1,2,\text{...},|\text{A}|-1\big\brace}$，并满足强稳定性条件。
• 证明了所有有界宽度代数中存在一项 $t(x,y)$ 满足 $t(x,t(x,y)) \to t(x,y)$，支持了猜想的半格类似行为。
• 作为副产品，完成了具有Taylor项的极小克隆的分类，表明它们与不具有仿射商的极小有界宽度代数完全一致。
• 支持猜想4：极小有界宽度代数在项等价意义下由 $ ext{Inv}_2(\text{A})$，即 $\text{A} \times \text{A}$ 的子代数集合唯一确定。