The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For $Omega subset B(G$), let $d_{Omega}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|geq t$ has a subsequence in $Omega$.We provide some first results and open problems on $d_{Omega}(G)$.
Let $G$ be a finite cyclic group. Every sequence $S$ of length $l$ over $G$ can be written in the form $S=(n_1g)cdotldotscdot(n_lg)$ where $gin G$ and $n_1, ldots, n_lin[1, ord(g)]$, and the index $ind(S)$ of $S$ is defined to be the minimum of $(n_1+cdots+n_l)/ord(g)$ over all possible $gin G$ such that $langle g rangle =G$. In this paper, we determine the index of any minimal zero-sum sequence $S$ of length 5 when $G=langle grangle$ is a cyclic group of a prime order and $S$ has the form $S=g^2(n_2g)(n_3g)(n_4g)$. It is shown that if $G=langle grangle$ is a cyclic group of prime order $p geq 31$, then every minimal zero-sum sequence $S$ of the above mentioned form has index 1 except in the case that $S=g^2(frac{p-1}{2}g)(frac{p+3}{2}g)((p-3)g)$.
We study the maximal cross number $mathsf{K}(G)$ of a minimal zero-sum sequence and the maximal cross number $mathsf{k}(G)$ of a zero-sum free sequence over a finite abelian group $G$, defined by Krause and Zahlten. In the first part of this paper, we extend a previous result by X. He to prove that the value of $mathsf{k}(G)$ conjectured by Krause and Zahlten hold for $G bigoplus C_{p^a} bigoplus C_{p^b}$ when it holds for $G$, provided that $p$ and the exponent of $G$ are related in a specific sense. In the second part, we describe a new method for proving that the conjectured value of $mathsf{K}(G)$ hold for abelian groups of the form $H_p bigoplus C_{q^m}$ (where $H_p$ is any finite abelian $p$-group) and $C_p bigoplus C_q bigoplus C_r$ for any distinct primes $p,q,r$. We also give a structural result on the minimal zero-sum sequences that achieve this value.
Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)cdotldotscdot(n_lg)$ where $gin G$ and $n_1, ldots, n_lin[1, ord(g)]$, and the index $ind(S)$ of $S$ is defined to be the minimum of $(n_1+cdots+n_l)/ord(g)$ over all possible $gin G$ such that $langle g rangle =G$. An open problem on the index of length four sequences asks whether or not every minimal zero-sum sequence of length 4 over a finite cyclic group $G$ with $gcd(|G|, 6)=1$ has index 1. In this paper, we show that if $G=langle grangle$ is a cyclic group with order of a product of two prime powers and $gcd(|G|, 6)=1$, then every minimal zero-sum sequence $S$ of the form $S=(g)(n_2g)(n_3g)(n_4g)$ has index 1. In particular, our result confirms that the above problem has an affirmative answer when the order of $G$ is a product of two different prime numbers or a prime power, extending a recent result by the first author, Plyley, Yuan and Zeng.
Let $G$ be an additive abelian group and $Ssubset G$ a subset. Let $Sigma(S)$ denote the set of group elements which can be expressed as a sum of a nonempty subset of $S$. We say $S$ is zero-sum free if $0 otin Sigma(S)$. It was conjectured by R.B.~Eggleton and P.~Erd{o}s in 1972 and proved by W.~Gao et. al. in 2008 that $|Sigma(S)|geq 19$ provided that $S$ is a zero-sum free subset of an abelian group $G$ with $|S|=6$. In this paper, we determined the structure of zero-sum free set $S$ where $|S|=6$ and $|Sigma(S)|=19$.
We show that, in contrast to the integers setting, almost all even order abelian groups $G$ have exponentially fewer maximal sum-free sets than $2^{mu(G)/2}$, where $mu(G)$ denotes the size of a largest sum-free set in $G$. This confirms a conjecture of Balogh, Liu, Sharifzadeh and Treglown.