Def/Least common multiple

 

=Existence= If $a,b \in \ZZ$, the existence of a least common multiple $LCM(a,b)$ follows from the fact that canonical decompositions can be used to find the GCD and LCM.

=Metadata=