Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.08089
curl -X POST /api/v1/records/arxiv/2605.08089/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.08089/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'