关于解离基的大小

我们证明，给定阿贝尔群的一个有限子集的最大解离子集的大小至多相差一个对数因子。另一方面，我们证明集合$\{0,1\}^n\seq\Z^n$包含一个大小为$\Ome(n\log n)$的解离子集；由于$\Z^n$的标准基是$\{0,1\}^n$的一个大小为$n$的最大解离子集，上述结果本质上是紧的。