Some properties of monoids with infinity

We introduce the notion of PC cancellative additive monoids with infinity and use it to characterize cancellative additive principal ideal domains with infinity. Our characterization improves various known characterizations from the literature, both, in the context of the commutative cancellative monoids, as well as in the context of the analogues of the statements from the commutative ring theory.