On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras

DOI10.1007/978-3-030-40822-0_10MaRDI QIDQ5115895zbMATHOpenAlexFDO

Authors Felix Gotti, Marly Gotti

Publication date 21 August 2020

Published in Numerical Semigroups (Search for Journal in Brave)

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

zbMATH Keywords

monoid algebrasnumerical semigroupsatomsatomic monoidsirreduciblesatomic algebrasPuiseux monoids

Mathematics Subject Classification ID

Commutative semigroups (20M14) Divisibility and factorizations in commutative rings (13A05) Arithmetic theory of semigroups (20M13)

Abstract: A molecule is a nonzero non-unit element of an integral domain (resp., commutative cancellative monoid) having a unique factorization into irreducibles (resp., atoms). Here we study the molecules of Puiseux monoids as well as the molecules of their corresponding semigroup algebras, which we call Puiseux algebras. We begin by presenting, in the context of numerical semigroups, some results on the possible cardinalities of the sets of molecules and the sets of reducible molecules (i.e., molecules that are not irreducibles/atoms). Then we study the molecules in the more general context of Puiseux monoids. We construct infinitely many non-isomorphic atomic Puiseux monoids all whose molecules are atoms. In addition, we characterize the molecules of Puiseux monoids generated by rationals with prime denominators. Finally, we turn to investigate the molecules of Puiseux algebras. We provide a characterization of the molecules of the Puiseux algebras corresponding to root-closed Puiseux monoids. Then we use such a characterization to find an infinite class of Puiseux algebras with infinitely many non-associated reducible molecules.

Recommendations

• On the set of molecules of numerical and Puiseux monoids
• When is a Puiseux monoid atomic?
• On the atomic structure of Puiseux monoids
• On the atomic structure of exponential Puiseux monoids and semirings
• On semigroup algebras with rational exponents

Cites work

• scientific article; zbMATH DE number 3902926 (Why is no real title available?)
• scientific article; zbMATH DE number 2012819 (Why is no real title available?)
• scientific article; zbMATH DE number 1438385 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• An embedding theorem
• Atomicity and boundedness of monotone Puiseux monoids
• Factorization invariants of Puiseux monoids generated by geometric sequences
• Increasing positive monoids of ordered fields are FF-monoids
• Monoid Domain Constructions of Antimatter Domains
• Non-unique factorizations: a survey
• Numbers with unique factorization in an algebraic number field
• Numerical semigroups.
• On natural numbers having unique factorization in a quadratic number field
• On natural numbers having unique factorization in a quadratic number field, II
• On the atomic structure of Puiseux monoids
• On the atomicity of monoid algebras
• On the delta set and the Betti elements of a BF-monoid.
• Puiseux monoids and transfer homomorphisms
• Uniquely presented finitely generated commutative monoids.

Cited in

(12)

• Factorization invariants of the additive structure of exponential Puiseux semirings
• On semigroup algebras with rational exponents
• For which Puiseux monoids are their monoid rings over fields AP?
• On the set of molecules of numerical and Puiseux monoids
• Factorization of polynomials with rational exponents over a field
• Atomicity of positive monoids
• On the atomic structure of torsion-free monoids
• Approximating length-based invariants in atomic Puiseux monoids
• When is a Puiseux monoid atomic?
• On the atomic structure of exponential Puiseux monoids and semirings
• On the atomic structure of Puiseux monoids
• When Is a Group Algebra Antimatter?

This page was built for publication: On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras

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