关于正无限群的字问题

Research Paper#Group Theory, Computational Complexity🔬 Research|分析: 2026年1月3日 16:45
发布: 2025年12月30日 14:39
1分で読める
ArXiv

分析

本文探讨了群论中的一个基本问题:字问题。它证明了对于一类特定的群(有限生成的正无限群),字问题是算法可判定的。这很重要,因为它为一类字问题判定的结果并不明显的群提供了积极的结果。本文的方法避免了依赖 Wilson-Grigorchuk 分类,提供了一种可能更直接、更容易理解的证明。
引用 / 来源
查看原文
"The word problem is algorithmically decidable for finitely generated just infinite groups given by a recursively enumerable set of relations."
A
ArXiv2025年12月30日 14:39
* 根据版权法第32条进行合法引用。