超越 Kemperman 结构定理的一步

Kemperman 的经典结果对阿贝尔群中不满足三角不等式（即 $|A+B|<|A|+|B|$）的那些子集 $A$ 和 $B$ 的结构给出了完整的递归描述。在本文中，我们得出了等式成立情况下的完整描述：$|A+B|=|A|+|B|$。