The category of factorization

DOI10.1007/S10485-020-09607-9MaRDI QIDQ831315zbMATH OpenOpenAlexFDO

Authors Brandon Goodell, Sean Sather-Wagstaff

Publication date 11 May 2021

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.06330

zbMATH Keywords

factorizationcategoryintegral domainmonoidpre-order

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Integral domains (13G05) Localization of categories, calculus of fractions (18E35) Commutative semigroups (20M14) Connections of semigroups with homological algebra and category theory (20M50) Divisibility and factorizations in commutative rings (13A05)

Abstract: We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $mathcalF(A)$. The objects of $mathcalF(A)$ are factorizations of elements of $A$, and the morphisms in $mathcalF(A)$ encode combinatorial similarities and differences between the factorizations. We pay particular attention to the divisibility pre-order and to the monoid $A=Dsetminus0$ where $D$ is an integral domain. Among other results, we show that $mathcalF(A)$ is a symmetric and strict monoidal category with weak equivalences and compute the associated category of fractions obtained by inverting the weak equivalences. Also, we use this construction to characterize various factorization properties of integral domains: atomicity, unique factorization, and so on.

Recommendations

• A characterisation of atomicity
• Factorizations of elements in local rings and semilocal rings of finite type
• Factorization theory in commutative monoids
• Finiteness theorems for factorizations
• Factorization theory: from commutative to noncommutative settings.

Cites work

• scientific article; zbMATH DE number 2132154 (Why is no real title available?)
• scientific article; zbMATH DE number 3165627 (Why is no real title available?)
• scientific article; zbMATH DE number 3579087 (Why is no real title available?)
• scientific article; zbMATH DE number 3249850 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Abstrakte Begründung der multiplikativen Idealtheorie
• Factorization in integral domains
• Half-factorial-domains
• Irreducible Divisor Graphs
• Jaffard-Ohm correspondence and Hochster duality
• Semi-Valuations and Groups of Divisibility
• Some geometric aspects of the calculus of fractions

Cited in

(4)

• Exact factors of exact categories
• scientific article; zbMATH DE number 6351047 (Why is no real title available?)
• Factorizations of elements in local rings and semilocal rings of finite type
• scientific article; zbMATH DE number 3899130 (Why is no real title available?)

This page was built for publication: The category of factorization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831315)