We construct a 2-generated 2-related group without non-trivial finite factors. That answers a question of J. Button.
生成讲解博客的中文版本
生成AI智能校验的中文版本