Factorization in monoids by stratification of atoms and the Elliott Problem
Pedro A. Garc\'ia-S\'anchez, Ulrich Krause, David Llena

TL;DR
This paper introduces a stratification method for atoms in a broad class of non-factorial monoids, enabling unique element representation and addressing Elliott's longstanding problem in affine semigroups.
Contribution
It develops a new stratification concept for atoms in non-factorial monoids, including simplicial affine semigroups, providing solutions to Elliott's problem in two dimensions.
Findings
Stratification always possible in two-dimensional simplicial affine semigroups.
Addresses Elliott's problem for cases previously left open.
Provides a generalized approach to the Elliott problem in monoids.
Abstract
In an additive factorial monoid each element can be represented as a linear combination of irreducible elements (atoms) with uniquely determined coefficients running over all natural numbers. In this paper we develop for a wide class of non-factorial monoids a concept of stratification for atoms which allows to represent each element as a linear combination of atoms where the coefficients are uniquely determined when restricted in a particular way. This wide class includes inside factorial monoids and in particular simplicial affine semigroups. In the latter case the question of uniqueness is related to a problem studied by E. B. Elliott in a paper from 1903. For the monoid of all nonnegative solutions of a certain linear Diophantine equation in three variables, Elliott considers "simple sets of solutions" (atoms of the monoid) and looks for a method that gives "every set once…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Polynomial and algebraic computation · Rings, Modules, and Algebras
