正無限群の語問題の決定可能性について

この論文は群論における基本的な問題である語問題について扱っています。有限生成の正無限群という特定の群のクラスにおいて、語問題がアルゴリズム的に決定可能であることを示しています。これは、語問題の決定可能性が自明ではない群のクラスに対して肯定的な結果を提供するため、重要です。Wilson-Grigorchukの分類に依存しないアプローチは、より直接的でアクセスしやすい証明を提供する可能性があります。

• •有限生成の正無限群に対して、語問題は決定可能です。
• •証明はWilson-Grigorchukの分類を回避しています。
• •アプローチは、古典的な決定可能性の結果からのアイデアを使用しています。