有限幂等代数中某些 Maltsev 条件的判定
环与代数
2020-06-17 v2 计算复杂性
摘要
本文研究了判定给定有限代数结构是否满足固定的（强）Maltsev 条件 的计算复杂度。本文旨在表明，当被测代数具有幂等性且 Maltsev 条件 可用路径描述时，-测试可在多项式时间内完成。此类路径条件的例子包括具有 Maltsev 项、具有多数运算，以及具有固定长度的 J\'onsson（或 Gumm）项链。
引用
@article{arxiv.1704.05928,
title = {Deciding some Maltsev conditions in finite idempotent algebras},
author = {Alexandr Kazda and Matt Valeriote},
journal= {arXiv preprint arXiv:1704.05928},
year = {2020}
}
备注
33 pages, 19 figures