Popis: |
The Davenport constant for a finite abelian group $G$ is the minimal length $\ell$ such that any sequence of $\ell$ terms from $G$ must contain a nontrivial zero-sum sequence. For the group $G=(\mathbb Z/n\mathbb Z)^2$, its value is $2n-1$, which is a classical result of Olson. The associated inverse question is to characterize those sequences of maximal length $2n-2$ that do not have a nontrivial zero-sum subsequence. A simple argument shows this to be equivalent to characterizing all minimal zero-sum sequences of maximal length $2n-1$, with a minimal zero-sum sequence being one that cannot have its terms partitioned into two proper, nontrivial zero-sum subsequences. This was done in a series of papers . However, there is a missing case in one of the required papers, leading to a missing case not treated in the portion of the proof. Both these deficiencies are corrected here. The correction contained in this manuscript will be incorporated into a larger, forthcoming work that encompasses the entirety of the characterization, and is posted in advance so that the corrected argument is made available to the research community before this larger project is completed. |