Bi-atomic classes of positive semirings

DOI10.1007/S00233-021-10189-8MaRDI QIDQ2037076zbMATH OpenOpenAlexFDO

Authors Nicholas R. Baeth, Felix Gotti, Scott T. Chapman

Publication date 30 June 2021

Published in Semigroup Forum (Search for Journal in Brave)

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

zbMATH Keywords

ACCPatomicitybounded factorizationsfactorization theoryfinite factorizationshalf-factorialitylength-factorialitynumerical monoidspositive monoidspositive semiringssemirings

Mathematics Subject Classification ID

Semirings (16Y60) Commutative semigroups (20M14)

Abstract: Let $S$ be a nonnegative semiring of the real line, called here a positive semiring. We study factorizations in both the additive monoid $(S,+)$ and the multiplicative monoid $(Ssetminus0,cdot)$. In particular, we investigate when, for a positive semiring $S$, both $(S,+)$ and $(Ssetminus0,cdot)$ have the following properties: atomicity, the ACCP, the bounded factorization property (BFP), the finite factorization property (FFP), and the half-factorial property (HFP). It is well known that in the context of cancellative and commutative monoids, the chain of implications HFP $Rightarrow$ BFP and FFP $Rightarrow$ BFP $Rightarrow$ ACCP $Rightarrow$ atomicity holds. Here we construct classes of positive semirings wherein both the additive and multiplicative structures satisfy each of these properties, and we also give examples to show that, in general, none of the implications in the previous chain is reversible.

Review text

A ``factorizable monoid (F-monoid) \(M=\langle M,\ast ,e\rangle \) is a commutative and cancellative semigroup with identity where \(\ast \) is the monoid operation and \(e\) is the identity of \(M\) under \( \ast \) and has the natural partial order induced by divisibility: \(x|_{M}y\) \( \Leftrightarrow \exists z\in M(y=x\ast z)\). That is, our monoid acts exactly like the multiplicative monoid of nonzero elements of an integral domain. One advantage in making this blanket assumption is that whatever went on in integral domains by way of factorizations, say in the AAZ paper [J. Pure Appl. Algebra 69, 1--19 (1990)] can be mimicked for F-monoids. The usual operations on F-monoids are multiplication (\(\cdot \)), with \(e=1,\) and addition (\(+\)), with \(e=0.\) The study of Puiseux monoids by \textit{S. T. Chapman} et al. [Am. Math. Mon. 128, No. 4, 302--321 (2021; Zbl 1471.13049)] shows how this works and how ``atomic domains ACCP domains and BF domains and FF domains can be cloned into ``atomic monoids ``ACCPMs etc. Of course monoids show up in other algebraic systems such as rings and semirings \([\langle S\backslash \{0\},\cdot ,1\rangle \), \(\langle S,+,0\rangle ]\) where both \(\langle S\backslash \{0\},\cdot ,1\rangle \) and \( \langle S,+,0\rangle \) are monoids, \(1\neq 0,\) and \(\cdot \) distributes over \(+\) and of course we can insist on focusing only on F-monoids. Since multiplication by negative numbers has the potential of messing up the divisibility induced partial order in \(\langle S,+,0\rangle \), it is best to deal with semirings whose elements can be expressed in terms of nonnegative numbers. Constructions such as \(R^{+}[X]\) (resp., \(N_{0}[X]\)) of polynomials with nonnegative coefficients, where \(R^{+}\) denotes the nonnegative real numbers and \(N_{0}\) the nonnegative integers, are examples of (positive) semirings. Other notable constructions, called valuations, come from, \( N_{0}[X]\) by replacing \(X\) by \(\tau \), a suitable quadratic integer, as indicated by [\textit{P. Cesarz} et al., in: Commutative algebra and its applications. Proceedings of the fifth international Fez conference on commutative algebra and applications, Fez, Morocco, June 23--28, 2009. Berlin: Walter de Gruyter. 89--101 (2009; Zbl 1182.16038)] and from Puiseux monoids generated by geometric sequences, as studied by \textit{S. T. Chapman} et al. [Commun. Algebra 48, No. 1, 380--396 (2020; Zbl 1442.20036)]. Now what do we call a semiring consisting of F-monoids that are both atomic (resp., ACCM, BFM, FFM or HFM etc.)? The authors of the paper under review call them bi-atomic semirings, bi-BFSs etc.. The paper under review is a sort of survey of the study of positive semirings. A number of examples are given in the paper to fill the reader in on the state of the art. Of course the bi-paradise does have some snakes. For instance as indicated by \textit{F. Campanini} and \textit{A. Facchini} [Semigroup Forum 99, No. 2, 317--332 (2019; Zbl 1454.20108)], \(N_{0}[X]\) is bi-atomic but not bi-HFS. All in all, the paper is an interesting read and a good source of references.

Recommendations

• Factorizations in evaluation monoids of Laurent semirings
• Positive semirings
• On the atomic structure of exponential Puiseux monoids and semirings
• Arithmetic of semigroup semirings.
• Some properties of semirings

Cites work

• Atomic rings without a.c.c. on principal ideals
• Atomicity and density of Puiseux monoids
• Factorization in integral domains
• Factorization invariants of Puiseux monoids generated by geometric sequences
• Factorization theory in commutative monoids
• Factorizations in upper triangular matrices over information semialgebras
• Factorizations of polynomials with integral non-negative coefficients
• Finiteness theorems for factorizations
• Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid
• Half-factorial domains, a survey
• scientific article; zbMATH DE number 5652497 (Why is no real title available?)
• scientific article; zbMATH DE number 47603 (Why is no real title available?)
• scientific article; zbMATH DE number 2012819 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 3450357 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• Increasing positive monoids of ordered fields are FF-monoids
• Increasingly enumerable submonoids of \(\mathbb{R}\): music theory as a unifying theme
• Irreducibility and factorizations in monoid rings
• Length-factoriality in commutative monoids and integral domains
• Monoids determined by a homogeneous linear Diophantine equation and the half-factorial property
• Multiplicative factorization in numerical semigroups
• Non-unique factorizations. Algebraic, combinatorial and analytic theory
• On Diophantine monoids and their class groups.
• On integral domains with no atoms
• On strongly primary monoids, with a focus on Puiseux monoids
• On the atomic structure of exponential Puiseux monoids and semirings
• On the atomicity of monoid algebras
• On unique factorization domains
• Puiseux monoids and transfer homomorphisms
• Sets of lengths
• Systems of sets of lengths of Puiseux monoids
• The system of sets of lengths and the elasticity of submonoids of a finite-rank free commutative monoid
• When is a Puiseux monoid atomic?

Cited in

(16)

• Bifurcus semigroups and rings.
• Increasing positive monoids of ordered fields are FF-monoids
• Integral domains and the IDF property
• Arithmetic of semigroup semirings.
• Factorizations in evaluation monoids of Laurent semirings
• A characterization of finite factorization positive monoids
• Factorization invariants of the additive structure of exponential Puiseux semirings
• On the primality and elasticity of algebraic valuations of cyclic free semirings
• Arithmetic of additively reduced monoid semidomains
• On the arithmetic of polynomial semidomains
• On the atomic structure of torsion-free monoids
• Factorization in additive monoids of evaluation polynomial semirings
• Length-factoriality and pure irreducibility
• On the Subatomicity of Polynomial Semidomains
• Atomicity of positive monoids
• Arithmetic of semisubtractive semidomains

This page was built for publication: Bi-atomic classes of positive semirings

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