## Reference for subsemigroups of $\mathbb{N}^n$

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated by $A$ and if $n \ge R$ then $n$ is in the semigroup generated by $A$.

Are there any references to a higher dimensional version of this result?

The version I want goes like this.

• Take a finite subset $U$ of $\mathbb{N}^n$. Let $C_U$ be the smallest closed cone in $\mathbb{R}^n$ containing $U$, i.e. all non-negative real linear combinations of $U$. Let $G_U$ be the subgroup of $\mathbb{N}^n$ generated by $U$, i.e. all integer linear combinations. Let $S_U$ be the subsemigroup generated by $U$, i.e. all non-negative integer linear combinations. Then there exists $R>0$ such that for every $v \in G_U$, if the ball around $v$ of radius $R$ is contained in $C_U$ then $v \in S_U$.
-
I don't have any literature in front of me. The right buzzword is affine semigroups because that is what people who study them call them. – Benjamin Steinberg Aug 2 at 19:58
emis.de/journals/SC/2002/6/pdf/… seems to have some info on affine semigroups, the group they span and the polyhedral cone they span. – Benjamin Steinberg Aug 2 at 20:10

2
A higher dimensional analogue of the result you mention in dimension 1 can be found as Exercise 7.15 of Miller and Sturmfels combinatorial commutative algebra book but it is not quite what you want, I think. Let $N=C_U\cap G_U$. Then $N$ is a finitely generated semigroup and there exists according to exercise 7.15 an element $a$ of $S_U$ with $a+N\subseteq S_U$. – Benjamin Steinberg Aug 2 at 20:42
That would do it. Take $R > |a|$. If $B_R(v) \subset C_U$ then $v-a \in C_U \cap G_U = N$ so $v \in a+N \subset S_U$. Great! – Lee Mosher Aug 2 at 21:07
Glad to be of help. Perhaps we should copy this into the answer box so that the software knows it is answered? – Benjamin Steinberg Aug 3 at 0:38
show 1 more comment

## 1 Answer

This combines comments of myself and Lee Mosher.

Exercise 7.15 of Miller and Sturmfels combinatorial commutative algebra book proves the following. Let $N=C_U\cap G_U$. Then $N$ is a finitely generated semigroup and there exists according to exercise 7.15 an element $a$ of $S_U$ with $a+N\subseteq S_U$. Now take $R>|a|$. If $B_R(v)\subseteq C_U$ then $v−a\in C_U\cap G_U=N$ so $v\in a+N\subseteq S_U$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 45, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9137284159660339, "perplexity_flag": "head"}