关于正无限群的字问题

本文探讨了群论中的一个基本问题：字问题。它证明了对于一类特定的群（有限生成的正无限群），字问题是算法可判定的。这很重要，因为它为一类字问题判定的结果并不明显的群提供了积极的结果。本文的方法避免了依赖 Wilson-Grigorchuk 分类，提供了一种可能更直接、更容易理解的证明。

• •字问题对于有限生成的正无限群是可判定的。
• •证明避免了 Wilson-Grigorchuk 分类。
• •该方法使用了来自经典可判定性结果的想法。