MISC

本文へのリンクあり
2022年11月1日

More on Groups and Counter Automata

arXiv:2210.16879
  • Takao Yuyama

記述言語
英語
掲載種別
機関テクニカルレポート,技術報告書,プレプリント等

Elder, Kambites, and Ostheimer showed that if the word problem of a finitely generated group H is accepted by a G-automaton for an abelian group G, then H is virtually abelian. We give a new, elementary, and purely combinatorial proof to the theorem. Furthermore, our method extracts an explicit connection between the two groups G and H from the automaton as a group homomorphism from a subgroup of G onto a finite index subgroup of H.

リンク情報
共同研究・競争的資金等の研究課題
一般のHilbertの第10問題と計算可能性理論
URL
https://arxiv.org/abs/2210.16879 本文へのリンクあり

エクスポート
BibTeX RIS