通群。）冯纽曼猜想推测非可均群都有子群是秩2的自由群，但是1980年Alexander Ol'shanskii找出反例。他证明了塔斯基魔群是非可均的。"G"是一个塔斯基魔群，如果有一个固定的素数"p"，"G"中所有真子群除了平凡子群外，都是"p"阶循环群。所以塔斯基魔群没有子群是秩2的自由群。