Show that the following conditions are equivalent:
i) There exist positive integers $a,b$ such that $\gcd(a,b)=d$ and $\operatorname{lcm}(a,b)=m$.
ii) $d∣m$
The first direction is very straightforward but for the second direction we start with so little I wrote $d = mq$ for some $q$ in the integers but I'm confused as to where to go next
If you have $d|m$, you immediately get $gcd(d,m)=d$ and $lcm(d,m)=m$, so the pair $(d/m)$ does the job completing the proof of the other direction.