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
Click For Summary
SUMMARY

The discussion centers on the mathematical relationship between the greatest common divisor (GCD) of a set of integers A and its proper subset B. It is established that the GCD of A, denoted as gcd(A), divides any element of B, as B is a subset of A. The proof by contradiction approach is suggested to demonstrate that if gcd(A) does not divide gcd(B), it leads to a contradiction by constructing a common divisor of B that exceeds gcd(B).

PREREQUISITES
  • Understanding of greatest common divisor (GCD) concepts
  • Familiarity with proof by contradiction techniques
  • Basic knowledge of prime factorization
  • Experience with set theory and subsets
NEXT STEPS
  • Study the properties of GCD in number theory
  • Explore advanced proof techniques in mathematics
  • Learn about prime factorization and its applications
  • Investigate the implications of GCD in algebraic structures
USEFUL FOR

Mathematics students, educators, and anyone interested in number theory and the properties of divisors will benefit from this discussion.

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##.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K