formula_66。用集合关系式formula_67，得出因此所以formula_70是一个Følner序列，故"G"是可均群。设formula_71和formula_72是有限生成群，而formula_72是可均的。若formula_71拟等距同构于formula_72，那么formula_71也是可均群。秩2的自由群formula_77不是可均群。设"a","b"是formula_77的生成元。formula_77的元素都可以用"a","b"写成字。假设formula_77有不变平均"M