A Note on Minimal Additive Complements

Abstract

Let $C, W \subseteq \mathbb{Z}$. If $C + W = \mathbb{Z}$, then the set $C$ is called an additive complement to $W$ in $\mathbb{Z}$. If no proper subset of $C$ is an additive complement to $W$, then $C$ is called a minimal additive complement. We provide a partial answer to a question posed by Kiss, S\'andor, and Yang regarding the minimal additive complement of sets of the form $W = (n \mathbb{N} + A) \cup F \cup G$, where $|F|<\infty, (F \mod{n}) \subseteq (A \mod{n})$ and $(G \mod{n}) \cap (A \mod{n}) = \emptyset$. We also introduce the dual problem of characterizing sets that arise as the minimal additive complements of some set of integers, proving the analog of Nathanson's initial result on existence of minimal additive complements.