# Use the second isomorphism theorem to conclude that $\gcd(a,b)\text{lcm}(a,b)=ab$

Use the second isomorphism theorem to conclude that $\gcd(a,b)\operatorname{lcm}(a,b)=ab$; that is, the product of the greatest common divisor and the lowest common multiple of $a,b$ is equal to $ab$.

I already know $(a) \cap (b) = (n)$, and $(a)+(b)=(d)$, where $n$ is lcm, $d$ is gcd.

then applying second second isomorphism theorem, we can know $(d)/(a)$ is isomorphic to $(b)/(n)$,

then, how to use this conclusion to show $dn=ab$, that is, $\gcd(a,b)\text{lcm}(a,b)=ab$?

Hint $\$ Comparing subgroup indices, $\,(d)/(a) = (b)/(n)\,\Rightarrow\,a/d = n/b\,$ $\Rightarrow$ $\,ab = dn$.
• Yes, compare cardinality. I don't know what you mean by "divide by $\Bbb Z$". – Bill Dubuque Mar 9 '14 at 19:03