Mathematics > Number Theory
[Submitted on 31 Jan 2017 (v1), revised 9 May 2017 (this version, v4), latest version 2 Jul 2018 (v6)]
Title:Power monoids: A bridge between Factorization Theory and Arithmetic Combinatorics
View PDFAbstract:We extend fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of Baeth and Smertnig's work on the factorization theory of non-commutative, but cancellative monoids [J. Algebra 441 (2015), 475-551].
More in detail, we introduce notions of factorization, distance, and catenary degree, along with a generalization of weak transfer homomorphisms we call equimorphisms, and we prove a number of results related to them. E.g., we establish that equimorphisms preserve (factorization) lengths and do not increase the catenary degree.
Then, we bring in power monoids and undertake the study of their arithmetic. More specifically, let $H$ be a multiplicative monoid. The set $\mathcal P_{\rm fin}(H)$ of all non-empty finite subsets of $H$ is made into a monoid, which we refer to as the power monoid of $H$ and is non-cancellative unless $H$ is trivial, by endowing it with the operation $(X,Y)\mapsto\{xy:(x,y)\in X\times Y\}$. Power monoids are, in disguise, one of the primary objects of interest in arithmetic combinatorics, and here we tackle them from the perspective of factorization theory.
In particular, we show that, if $H$ is a Dedekind-finite, non-torsion monoid, then $\mathcal P_{\rm fin}(H)$ is not transfer Krull, the union of the sets of lengths of $\mathcal P_{\rm fin}(H)$ containing $k$ is ${\bf N}_{\ge 2}$ for every $k \ge 2$, the delta set is ${\bf N}^+$, and the set of catenary degrees is ${\bf N}^+\cup\{\infty\}$ or ${\bf N}^+$, the latter being the case if $H$ is linearly orderable and BF.
Proofs lead to examine various properties of finite subsets of ${\bf N}$ that can or cannot be written as a sumset in a non-trivial way, which gives rise to an intriguing interplay with additive number theory.
Submission history
From: Salvatore Tringali Dr [view email][v1] Tue, 31 Jan 2017 17:50:57 UTC (46 KB)
[v2] Mon, 27 Mar 2017 10:25:34 UTC (61 KB)
[v3] Mon, 3 Apr 2017 13:46:24 UTC (60 KB)
[v4] Tue, 9 May 2017 22:54:09 UTC (46 KB)
[v5] Sun, 15 Apr 2018 14:34:24 UTC (50 KB)
[v6] Mon, 2 Jul 2018 07:28:29 UTC (45 KB)
Current browse context:
math.NT
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.