{"id":"arxiv/2605.08089","url":"https://arxiv.org/abs/2605.08089","tags":["math.RA"],"score":0,"title":"Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$","domain":"math.RA","source":"arxiv","authors":["João Victor Monteiros de Andrade","Leonardo Santos da Cruz"],"reviews":0,"subject":"math.RA","summary":"The convention \"empty product $=1$\" is ubiquitous in mathematics, but often appears without an explicit structural justification. This note provides a self-contained reference to this fact in the context of commutative monoids. We construct the product of an indexed family by a finite set, prove its enumeration independence, and show that it is uniquely characterized by a recursion scheme in Fin$(I)$: value in the empty set and insertion rule of a new index. In particular, the value of the empty product is necessarily the neutral element $1$. We further record two complementary and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-26","reactions":{}}