On minimal complements in groups (Q2046849)

The present paper deals with some problems formulated by \textit{M. B. Nathanson} in the paper [Int. J. Number Theory 7, No. 8, 1999--2017 (2011; Zbl 1252.11007)]. One can note authors' abstract: ``Let \(W, W^{'} \subseteq G\) be non-empty subsets in an arbitrary group \(G\). The set \(W^{'}\) is said to be a complement to \(W\) if \(W \cdot W^{'} = G\) and it is minimal if no proper subset of \(W^{'}\) is a complement to \(W\). We show that, if \(W\) is finite then every complement of \(W\) has a minimal complement, answering a problem of Nathanson. This also shows the existence of minimal \(r\)-nets for every \( r \ge 0\) in finitely generated groups. Further, we give necessary and sufficient conditions for the existence of minimal complements of a certain class of infinite subsets in finitely generated abelian groups, partially answering another problem of Nathanson. Finally, we provide infinitely many examples of infinite subsets of abelian groups of arbitrary finite rank admitting minimal complements.'' The presented results and their proofs are given with explanations. Also, in explanations, the special attention is given to the notion of the set of all complements of a nonempty subset of a group. Specific examples of infinite subsets in certain groups which admit minimal complements, are given (infinite sets which are not eventually periodic but have minimal complements; non-eventually periodic subsets of \(\mathbb Z^d\) , which are algebro-geometric in nature and admit minimal complements).