Does the GCD of a set divide the GCD of any subset?

  • Thread starter Thread starter jack476
  • Start date Start date
  • Tags Tags
    Gcd Set
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
jack476
Messages
327
Reaction score
124

Homework Statement


If A is a set of integers and B is a set properly contained in A, does the greatest common denominator of all of the integers in A divide the greatest common denominator of all elements in B?

Homework Equations


None.

The Attempt at a Solution


Obviously gcd(A) divides any element of B, since anything in B is contained is also in A, but I can't get from there to anything about the relationship between gcd(A) and gcd(B).
 
Physics news on Phys.org
It's not the most elegant way, but it's quick and easy: try proof by contradiction.
Let ##a=gcd(A)## so that ##\forall x\in A:\ a|x##
and
##b=gcd(B)## so that ##\forall x\in B:\ b|x##

Assume that ##a\nmid b##. By looking at prime power divisors of ##a## that are not divisors of ##b## you should be able to find a way of making a common divisor of ##B## that is bigger than ##b##, thereby contradicting the supposition that ##b## is a GCD of ##B##.