On properties of square-free elements in commutative cancellative monoids

We discuss various square-free factorizations in monoids in the context of: atomicity, ascending chain condition for principal ideals, decomposition, and a greatest common divisor property. Moreover, we obtain a full characterization of submonoids of factorial monoids in which all square-free elements of a submonoid are square-free in a monoid. We also present a factorial property implying that all atoms of a submonoid are square-free in a monoid.