反例：三个元素生成的自由群可以嵌入两个元素生成的自由群当中，由拓扑构造三个圆周的”两“点并到两个圆周的一点并有一覆叠映射。

Mark

事实上用整数的模来考虑（不是环上的群- -指的是数论里那个）应该很容易构造吧
顺便拜大神，本来指望去年在北大见见大神，没想到已经在priceton了
=w=话说前辈，想跟着xcy或者tg都需要先看完52是么。。。

算是尼尔森斯莱尔定理的一个推论。