We give the first example of a non-linear residually finite 1-related group: < a, t | a^{t^2}=a^2>.
生成讲解博客的中文版本
生成AI智能校验的中文版本