2-幂零代数的子幂成员问题
环与代数
2023-09-29 v1 计算复杂性
摘要
有限代数结构 A 的子幂成员问题 SMP(A) 询问给定的从 A^k 到 A 的部分函数是否能被 A 的项运算插值。尽管该问题一般而言可以是 EXPTIME-完全的，Willard 询问若 A 是 Mal'tsev 代数，它是否总能在多项式时间内求解。特别地，这包括抽象代数中许多重要的结构，如群、拟群、环、布尔代数。在本文中，我们对一大类 2-幂零 Mal'tsev 代数给出了 Willard 问题的肯定回答。我们进一步开发了可能在未来用于回答一般幂零 Mal'tsev 代数该问题的关键工具。
引用
@article{arxiv.2309.16549,
title = {The subpower membership problem of 2-nilpotent algebras},
author = {Michael Kompatscher},
journal= {arXiv preprint arXiv:2309.16549},
year = {2023}
}
备注
17 pages (including appendix)