有限阿贝尔群 的 Davenport 常数定义为
的最长最小零系统的长度,并表示为
。符号地,
为了完整性。
换句话说,如果 是阶为
的有限阿贝尔群,那么
的 Davenport 常数是最小的
,使得
的每个长度为
的元素序列都包含一个和为零的非空子序列。
Davenport 常数的一些值包括以下内容。
1. .
2. 设 为有限
-群。则
。
3. 设 ,其中
。则
有限群论中的一个未解决的问题是确定 的通用公式。