On the atomic structure of torsion-free monoids (Q6145354)

A semigroup is a pair \((A; *)\), where \(*\) is a binary operation on \(A\), which is also associative. If \(A\) has an identity elements, with respect to the operation \(*\), \((A; *)\) (briefly, \(A\)) is called a monoid. The operation can be commutative, so \(A\) is said to be a commutative monoid/semigroup. Semigroup \(A\) is left/right cancellative (or, is left cancellable, or, has the left cancellation property) if \(a * b = a * c/b * a = c * a\) implies \(b = c\) for all \(a, b, c \in A\). \(A\) is said to be cancellative if it is left and right cancellative. A non-invertible element \(a \in A\) is called an atom if from \(a = b * c\) it can be deduced that \(b\) is invertible or \(c\). This paper focuses on torsion-free semigroups satisfying ascending chain condition on principal ideals. It is proved that any torsion-free monoid satisfying ascending chain condition is atomic and vice-versa. It is also considered the behaviour of ordered groups under these conditions. It is also given some equivalent conditions such as for a positive element \(a\), the conducted positive monoid \(M_a\) is an bounded factorization monoid if and only if \(M_a\) satisfies ascending chain condition an equivalently \(M_a\) is atomic. Some other results about factorization are obtained, as well. Some useful references are: (1) [\textit{D. D. Anderson} et al., J. Pure Appl. Algebra 69, No. 1, 1--19 (1990; Zbl 0727.13007)] (2) [\textit{J. Coykendall} et al., J. Pure Appl. Algebra 227, No. 4, Article ID 107249, 17 p. (2023; Zbl 1502.13045)].