Melvyn B. Nathanson
Abstract:Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially ordered abelian and nonabelian groups. One abelian application is an addition theorem for sums of sets of $n$-dimensional lattice points.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is how to extend Shnirel’man density and its related theorems (such as Shnirel’man inequality and Shnirel’man basis theorem) from the set of positive integers to partially ordered Abelian groups and non - Abelian groups. Specifically, the author explores whether these results can be applied to lattice point sets in higher dimensions (i.e., subsets in \( \mathbb{N}^n_0 \)), and more general partially ordered groups.
### Main problems:
1. **Generalization of Shnirel’man inequality**: How to define a concept similar to Shnirel’man density in partially ordered groups and prove a similar inequality.
2. **Generalization of Shnirel’man basis theorem**: If the Shnirel’man density of a set is greater than zero, is this set still a basis of the non - negative integer semigroup?
3. **Application to high - dimensional lattice points**: Can Shnirel’man inequality and basis theorem be generalized to the sum sets of \( n \)-dimensional lattice points?
### Specific content:
- **Definition of Shnirel’man density**: On the set of positive integers, Shnirel’man density is defined through the counting function \( A(n) \), which represents the number of elements in set \( A \) that are less than or equal to \( n \). For partially ordered groups, the author introduces a generalized density \( \sigma_J(A) \), which is defined based on the ratio of the intersection of a finite subset \( J \) to \( J \).
\[
\sigma_J(A)=\inf\left\{\frac{|A\cap J|}{|J|}:J\in\mathcal{J}\right\}
\]
- **Proof of Shnirel’man inequality**: The author proves that in partially ordered groups, if the sum of the generalized densities of two sets \( A \) and \( B \) is greater than 1, then their sum set \( A + B \) contains all non - negative integers.
\[
\sigma_J(A + B)\geq\alpha+\beta-\alpha\beta
\]
- **Generalization of Shnirel’man basis theorem**: If the generalized density of a set \( A \) is greater than zero, then \( A \) is a basis of the non - negative integer semigroup, that is, there exists some \( h \) such that \( hA \) contains all non - negative integers.
### Application and significance:
Through these generalizations, the author not only solves the problem of the application of Shnirel’man theorem in high - dimensional lattice points, but also provides a theoretical basis for further research on the additive structure in partially ordered groups. This helps to understand the additive properties in a wider range of mathematical structures, especially in combinatorial number theory and algebraic structures.
### Open problems:
The paper also proposes some future research directions, such as whether Mann theorem and other results about Shnirel’man density can be generalized in partially ordered groups.