GCD and LCM Distribute Over Each Other

Theorem
Let $$a, b, c \in \mathbb{Z}$$.

Then:
 * $$\mathrm{lcm} \left\{{a, \gcd \left\{{b, c}\right\}}\right\} = \gcd \left\{{\mathrm{lcm} \left\{{a, b}\right\}, \mathrm{lcm} \left\{{a, c}\right\}}\right\}$$;
 * $$\gcd \left\{{a, \mathrm{lcm} \left\{{b, c}\right\}}\right\} = \mathrm{lcm} \left\{{\gcd \left\{{a, b}\right\}, \gcd \left\{{a, c}\right\}}\right\}$$.

That is, Greatest Common Divisor and Lowest Common Multiple are distributive over each other.

Prime

 * We show that Lowest Common Multiple is distributive over Greatest Common Divisor.

Let $$p_s$$ be any of the prime divisors of $$a, b$$ or $$c$$, and let $$s_a, s_b$$ and $$s_c$$ be its exponent in each of those numbers.

Let $$x = \mathrm{lcm} \left\{{a, \gcd \left\{{b, c}\right\}}\right\}$$.

Then from GCD and LCM from Prime Decomposition, the exponent of $$p_s$$ in $$x$$ is $$\max \left\{{s_a, \min \left\{{s_b, s_c}\right\}}\right\}$$.

From Max and Min Distributive, $$\max$$ distributes over $$\min$$.

Therefore $$\max \left\{{s_a, \min \left\{{s_b, s_c}\right\}}\right\} = \min \left\{{\max \left\{{s_a, s_b}\right\}, \max \left\{{s_a, s_c}\right\}}\right\}$$ and the result follows.


 * The same argument can be used to show that Greatest Common Divisor is distributive over Lowest Common Multiple, except this time using the result from Max and Min Distributive that $$\min$$ distributes over $$\max$$.