Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.08089 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918490517012480 |
|---|---|
| author | de Andrade, João Victor Monteiros da Cruz, Leonardo Santos |
| author_facet | de Andrade, João Victor Monteiros da Cruz, Leonardo Santos |
| contents | 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 independent justifications of this fact: one via the list-free monoid and another via distributive identities in semi-rings. Next, we formulate the same phenomenon in universal terms by means of the commutative multiset-free monoid of finite support. We also discuss partially commutative extensions, via trace monoids and heaps, and include brief applications in linear algebra, survival statistics, category theory, and analysis. The corresponding additive version recovers, by the same principle, the identity "empty sum $=0$". |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_08089 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$ de Andrade, João Victor Monteiros da Cruz, Leonardo Santos Rings and Algebras 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 independent justifications of this fact: one via the list-free monoid and another via distributive identities in semi-rings. Next, we formulate the same phenomenon in universal terms by means of the commutative multiset-free monoid of finite support. We also discuss partially commutative extensions, via trace monoids and heaps, and include brief applications in linear algebra, survival statistics, category theory, and analysis. The corresponding additive version recovers, by the same principle, the identity "empty sum $=0$". |
| title | Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$ |
| topic | Rings and Algebras |
| url | https://arxiv.org/abs/2605.08089 |