由禁子结构定理刻画的惰性magma簇
群论
2022-05-31 v1 逻辑
摘要
magma（或称 groupoid）是带二元运算 的集合。粗略而言，若诸如 这样的复合至多依赖于两个变量，则称该 magma 为惰性的。近期，Kaprinai、Machida 与 Waldhauser 描述了所有惰性 groupoid 簇的格。禁结构定理是指在较大类 中将较小类 刻画为 中所有避开某些子结构的元素。例如，一个格是分配格（较小类 ）当且仅当它是格（较大类 ）且避开五边形与菱形。本文中，我们借助禁子结构定理给出了所有惰性 groupoid 簇对 的刻画。部分结果直截了当，另一些则极为复杂。所有这些结果及证明均使用一种计算工具发现，该工具可证明此类定理（针对许多不同的关系代数类），我们已将其提供给所有数学家使用。
关键词
引用
@article{arxiv.2205.14343,
title = {Varieties of Lazy Magmas Characterized by Forbidden Substructure Theorems},
author = {João Araújo and Fernando Maia Ferreira and Michael Kinyon},
journal= {arXiv preprint arXiv:2205.14343},
year = {2022}
}