Let $G\cong C_{n_1}\oplus ...\oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1·...·w_n$ is a sequence of integers, all but at most one relatively prime to $\left|G\right|$, and $S$ is a sequence over $G$ with $\left|S\right|\ge \left|W\right|+\left|G\right|-1\ge \left|G\right|+1$, the maximum multiplicity of $S$ at most $\left|W\right|$, and $\sigma \left(W\right)\equiv 0mod\left|G\right|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\underset{i=1}{\sum ^n}{w}_i{s}_i$, with $s_1·...·s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples...

We present a system of interrelated conjectures which can be considered as restricted addition counterparts of classical theorems due to Kneser, Kemperman, and Scherk. Connections with the theorem of Cauchy-Davenport, conjecture of Erdős-Heilbronn, and polynomial method of Alon-Nathanson-Ruzsa are discussed.The paper assumes no expertise from the reader and can serve as an introduction to the subject.