Work

Arithmetic properties encoded in undermonoids

Year: 2025
Type: article
Abstract: Let M be a cancellative and commutative monoid. A submonoid N of M is called an undermonoid if the Grothendieck groups of M and N coincide. For a given property $$\mathfrak {p}$$ p , we are interested in providing an answer to the following main question: does it suffice to check that all undermonoids of M satisfy $$\mathfrak {p}$$ p to conclude that all submonoids of M satisfy $$\mathfrak {p}$$ p ? In this paper, we give a positive answer to this question for the property of being atomic, and then we prove that if M is hereditarily atomic (i.e., every submonoid of M is atomic), then M must satisfy the ACCP, proving a recent conjecture posed by Vulakh and the first author. We also give positive answers to our main question for the following well-studied factorization properties: the bounded factorization property, half-factoriality, and length-factoriality. Finally, we determine all the monoids whose submonoids/undermonoids are half-factorial/length-factorial.
Language: English
Open Access status: hybrid
Estimated APC paid: $3,090
OpenAlex ID: W4414346958
FWCI:
Cites: 24
Cited by:
Related to: