Is the formula $|G|=|\ker \varphi|.|\text{im}\space \varphi|$ connected to the formula $ab = \gcd(a,b) \cdot \operatorname{lcm}(a,b)$?
Proof via Group Theory : $\mathrm{lcm}(a,b) \cdot \gcd(a,b) = |ab|$