Atomicity of positive monoids
A positive monoid is a submonoid of \((\mathbb{R}_{\ge 0},+)\). Hence, every positive monoid is commutative and cancellative (\(a+b=a+c\) implies \(b=c\)). A non-zero element \(a\) in a positive monoid \(M\) is said to be an atom if it does not belong to \(M^*+M^*\), where \(M^*=M\setminus\{0\}\). The set of atoms of \(M\) is denoted by \(\mathcal{A}(M)\). The monoid \(M\) is atomic if every element \(x\in M\) can be expressed as a sum of finitely many atoms. A positive monoid with no atoms is called an antimatter. A non-empty set \(I\) of a positive monoid \(M\) is an ideal if \(I+M=I\). In particular, for every \(x\in M\), the set \(x+M\) is an ideal of \(M\), which is called principal. The monoid \(M\) satisfies the ascending chain condition on principal ideals (ACCP for short) if every ascending chain of principal ideals becomes stationary. It is well known that if \(M\) has the ACCP, then it is atomic. Let \(M\) be an atomic positive monoid and let \(x\in M\). Set \(A=\mathcal{A}(M)\). If \(x=\sum_{a\in A} \lambda_a a\) for some non-negative integers \(\lambda_a\) (only finitely many of them are non-zero), then we say that the sequence \(z=(\lambda_a)_{a\in A}\) is a factorization of \(x\); its length is \(|z|=\sum_{a\in A} \lambda_a\). The set of factorizations of \(x\) is denoted by \(\mathsf{Z}(x)\). If \(\mathsf{Z}(x)\) is a singleton for every \(x\in M\), then \(M\) is a unique factorization moniod (UFM for short), while if the cardinality of \(Z(x)\) is finite for all \(x\in M\), the monoid is said to be a finite factorization monoid (FFM). Clearly, every UFM is a FFM. The set of lengths of \(x\in M\) is \(\mathsf{L}(x)=\{ |z| : z\in \mathsf{Z}(x)\}\). The monoid \(M\) is a half-factorial monoid (HFM) if \(\mathsf{L}(x)\) is a singleton for every \(x\in M\), and it is a bounded factorization monoid (BFM) if for every \(x\in M\), the set \(\mathsf{L}(x)\) has finite cardinality. Thus, every FFM is BFM. Also, UFM implies HFM, and HFM implies BFM. It is also know that every BFM has the ACCP. The present manuscript is mainly a survey of the existing examples proving that the implications presented above cannot be reversed for positive monoids. Cyclic semirings, that is, monoids generated by powers of a positive real number, are central in this study.
- A Characterization of Algebraic Number Fields with Class Number Two
- An example of an atomic pullback without the ACCP
- Atomic rings without a.c.c. on principal ideals
- Atomic semigroup rings and the ascending chain condition on principal ideals
- Atomicity and boundedness of monotone Puiseux monoids
- Atomicity and density of Puiseux monoids
- Bi-atomic classes of positive semirings
- Bounded and finite factorization domains
- Divisibility in rings of integer-valued polynomials
- Factorization in integral domains
- Factorization invariants of Puiseux monoids generated by geometric sequences
- Factorizations in upper triangular matrices over information semialgebras
- Factorizations of polynomials with integral non-negative coefficients
- Finiteness theorems for factorizations
- Half factorial domains
- Half-factorial domains, a survey
- scientific article; zbMATH DE number 3450357 (Why is no real title available?)
- scientific article; zbMATH DE number 3252378 (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
- Non-unique factorizations. Algebraic, combinatorial and analytic theory
- Numerical semigroups.
- On semigroup algebras with rational exponents
- On strongly primary monoids and domains
- On strongly primary monoids, with a focus on Puiseux monoids
- On the additive structure of algebraic valuations of polynomial semirings
- On the atomic structure of torsion-free monoids
- On the atomicity of monoid algebras
- On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras
- Polytopes, Rings, and K-Theory
- When is a Puiseux monoid atomic?
This page was built for publication: Atomicity of positive monoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6648812)
