1和formula_72是有限生成群，而formula_72是可均的。若formula_71拟等距同构于formula_72，那么formula_71也是可均群。秩2的自由群formula_77不是可均群。设"a","b"是formula_77的生成元。formula_77的元素都可以用"a","b"写成字。假设formula_77有不变平均"M"。考虑formula_77的一个子集"A"，"A"包含所有简约字以formula_82开首的元素。（"n"是某个不等于0的整数。）那么"A", "bA",