AK(3) 的稳定 Andrews-Curtis 平凡化再探：基于自动推理的案例研究
计算机科学中的逻辑
2025-02-03 v1 群论
摘要
Shehper 等人（2024）最近证明了著名的 Akbulut-Kirby AK(3) 平衡形式 presentation of the trivial group 在平凡 presentation 上是稳定 AC 等价的。这一结果消除了 AK(3) 作为稳定 Andrews-Curtis 猜想反例潜在候选者的可能性。本文采用自动推理方法给出该结果的另一种证明。我们提供了来自两种由自动定理证明器 Prover9 生成的证明的转换序列，证明 AK(3) 与平凡 presentation 的稳定 AC 等价性。我们以提出开发搜索稳定 AC 转换方法的挑战来作结。
引用
@article{arxiv.2501.18601,
title = {Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction},
author = {Alexei Lisitsa},
journal= {arXiv preprint arXiv:2501.18601},
year = {2025}
}
备注
7 pages, supplementary data is available at zenodo.org