arXiv++ Combinatorics

Recently, G. A. Freiman, M. Herzog, P. Longobardi, M. Maj proved two `structure theorems' for ordered groups \cite{FHLM}. We give elementary proof of these two theorems.

One of the many theorems Freiman proved, in the second half of the twentieth century, in the subject which later came to be known as "structure theory of set addition", was 'Freiman's $3k-4$ theorem' for subsets of $\Z$. In this article we introduce concept of a new `structure' on finite subsets of integers. Sets with this structure are quite useful in additive number theory in some contexts. Also we give some criterion for subsets to posses this structure. Then this is used to establish an analog of Freiman's $3k-4$ theorem for the groups $\Z \times G,$ where $G$ is any abelian group.

The study of `structure' on subsets of abelian groups, with small `doubling constant', has been well studied in the last fifty years, from the time Freiman initiated the subject. In \cite{DF} Deshouillers and Freiman establish a structure theorem for subsets of $\n$ with small doubling constant. In the current article we provide an alternate proof of one of the main theorem of \cite{DF}. Also our proof leads to slight improvement of the theorems in \cite{DF}.