For every non-trivial finite abelian group AA, we exhibit a bireversible automaton generating the lamplighter group A≀ZA≀Z.
生成讲解博客的中文版本
生成AI智能校验的中文版本