Note on a zero-sum problem (Q5947371)

Sei \(G\) eine additive endliche abelsche Gruppe und \(\exp(G)\) ihr Exponent; sei \(S= (a_1,\dots, a_k)\) eine Folge von Elementen aus \(G\). Dann heißt \(S\) eine Null-Summen-Folge, wenn \(\sum_{i=1}^k a_i=0\) ist. Mit \(s(G)\) wird die kleinste Zahl \(t\) bezeichnet, so dass jede Folge von \(t\) Elementen aus \(G\) eine Null-Summen-Teilfolge der Länge \(\exp(G)\) enthält. \(C_n\) ist die zyklische Gruppe der Ordnung \(n\) und \(C_n^k\) das \(k\)-fache direkte Produkt von \(C_n\). Es wird gezeigt (Theorem 2): Ist \(p\) Primzahl, dann gilt \(s(C_{p^k}^2)\leq 4p^k-2\).