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

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条に基づく適法な引用です。