Maths WorkshopMaths problems with full solutions
Exercise 1135Number theory › PrimesL1Added 3 Nov 2026

GCD of a product

#gcd#product#prime factorization

Statement

Show that gcd⁡(ab,c)\gcd(ab,c) divides gcd⁡(a,c)gcd⁡(b,c)\gcd(a,c)\gcd(b,c).

Hint

Use prime factorizations: the exponent of pp in gcd⁡(ab,c)\gcd(ab,c) is min⁡(vp(a)+vp(b),vp(c))\min(v_p(a)+v_p(b),v_p(c)).

Show solutionHide solution

Solution

pp-adic. vp(gcd⁡(ab,c))=min⁡(vp(a)+vp(b),vp(c))≤min⁡(vp(a),vp(c))+min⁡(vp(b),vp(c))=vp(gcd⁡(a,c)gcd⁡(b,c))v_p(\gcd(ab,c))=\min(v_p(a)+v_p(b),v_p(c))\le\min(v_p(a),v_p(c))+\min(v_p(b),v_p(c))=v_p(\gcd(a,c)\gcd(b,c)).

Conclusion. The inequality holds for each prime, so gcd⁡(ab,c)∣gcd⁡(a,c)gcd⁡(b,c)\gcd(ab,c)\mid\gcd(a,c)\gcd(b,c).

Example. a=4a=4, b=6b=6, c=12c=12: gcd⁡(24,12)=12\gcd(24,12)=12, gcd⁡(4,12)gcd⁡(6,12)=4⋅6=24\gcd(4,12)\gcd(6,12)=4\cdot6=24. Divides indeed.