这个问题家族里还有个特别能折腾人的变种,就叫伯恩赛德问题:它固定了生成元个数 d 和那个“若干次”的指数 n ,问满足 x^n=1 的群 B(d,n) 是不是有限。n 很小的时候——比如 2、3、4、6 ——前辈大师们证实了它们确实是有限的。可一旦 n 稍微大一点,所有人就集体碰壁,怎么也推不下去了。
于是到了 1930 年代,人们退了一步,不再直接追问 B(d,n) 本身是不是有限了。马格努斯(Magnus)提了个更实际的目标,后来被称为“限制性伯恩赛德问题”。这个问题的问法很聪明:它不问那个群本身是不是有限,而是问——对于固定的 d 和 n ,所有满足条件的有限群,是不是只有有限多种可能的结构?换句话说,能不能找到一个“最大的”有限群,其他同类型的有限群全都是它的一部分?