Following this question I was asking myself if (in a cancellative Abelian Monoid $M$) given three elements $a,\, b,\, c$ for which there exists the least common multiple $m$, it will also exists the greatest common divisor.
Is it maybe possible to find a Cancellative Abelian monoid in which there are three elements with a lcm but without a gcd?