用于证明群不可序性的自动推理
几何拓扑
2023-10-10 v1 群论
摘要
我们展示了如何应用通用自动定理证明器来确立群的不可序性。我们的方法融合了多种工具，如正锥、扭元、广义扭元与共尾元素。
引用
@article{arxiv.2310.05891,
title = {Automated reasoning for proving non-orderability of groups},
author = {Alexei Lisitsa and Zipei Nie and Alexei Vernitski},
journal= {arXiv preprint arXiv:2310.05891},
year = {2023}
}
备注
35 pages, 0 figures