{"id":"arxiv/2604.18869","url":"https://arxiv.org/abs/2604.18869","tags":["math.CO","math.GR","math.NT"],"score":0,"title":"Global Product Intersection Sets in Semigroups","domain":"math.CO","source":"arxiv","authors":["Wouter van Doorn","Pietro Monticone","Quanyu Tang"],"reviews":0,"subject":"math.CO","summary":"For a family $(A_q)_{q\\in Q}$ of subsets of a semigroup, the product intersection set records those exponents $h \\in \\mathbb{N}$ for which the $h$-fold product set of the intersection, $(\\bigcap_q A_q)^h$, is equal to $\\bigcap_q A_q^h$, the intersection of the product sets. Nathanson recently asked which subsets of $\\mathbb{N}$ can occur as a product intersection set, both for arbitrary and for decreasing families $(A_q)_{q\\in Q}$. We solve both problems by giving a complete classification. In particular, when $|Q| \\ge 2$, we show that in either case any subset $X \\subseteq \\mathbb{N}$ with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-20","reactions":{}}