Section 1.3 Integers and Divisibility
For completeness we restate here the definition of divisibility and the Division Algorithm.
Definition 1.3.1. Divisibility and Primes.
Let \(a \in \mathbb{Z}\) and \(b \in \mathbb{Z} \setminus \{0\}\text{.}\) We say that \(a\) is divisible by \(b\text{,}\) or \(b\) divides \(a\text{,}\) denoted by
if there exists \(m \in \mathbb{Z}\) such that \(a = mb\text{.}\)
If \(b\) is not divisible by \(a\text{,}\) then we write \(b \nmid a\text{.}\)
We say that the natural number \(p\) is a prime number if the only natural numbers that divide \(p\) are \(1\) and \(p\text{.}\)
Theorem 1.3.2. Division Algorithm.
Let \(a,b \in \mathbb{N}\text{.}\) Then there exist unique \(q\) and \(r\) that satisfy all of the following:
Checkpoint 1.3.3. Verify Theorem 1.3.2.
Find \(q\) and \(r\) that satisfy Theorem 1.3.2 for the following pairs of numbers \(a\) and \(b\text{:}\)
- \(\displaystyle a = 140, b = 22\)
- \(\displaystyle a = 22, b = 140\)
- \(\displaystyle a = 735, b = 21\)
Definition 1.3.4. GCD.
Given integers \(a\) and \(b\) not both zero, their greatest common divisor, denoted by
is the largest integer that divides both numbers.
We say that \(a\) and \(b\) are relatively prime if \(\gcd(a,b) = 1\text{.}\)
There are a number of ways to determine the GCD of two numbers \(a\) and \(b\text{:}\)
- Listing all factors of \(a\) and \(b\text{,}\) then finding the largest one they have in common;
- Writing out the prime factorizations of \(a\) and \(b\text{,}\) then collecting all common prime factors;
- The Euclidean Algorithm (repeated division).
Checkpoint 1.3.5. Compute the GCDs.
Apply the three techniques above to compute \(\gcd(220,360)\text{.}\)
The GCD is 20.
Checkpoint 1.3.6. Property of GCDs.
If \(a\) and \(b\) are nonzero integers and \(k\) is an integer, show that \(\gcd(a,b) = \gcd(a-kb,b)\text{.}\)
Theorem 1.3.7. Bezout's Identity.
Let \(a,b \in \mathbb{Z}\text{,}\) not both zero. Then there exist \(m,n \in \mathbb{Z}\) such that \(am + bn = \gcd(a,b)\text{.}\)
Checkpoint 1.3.8. Find all Integer Solutions.
Find a pair of integers \(x\) and \(y\) such that
Then explain why the equation \(13x + 11y = 2\) has infinitely many solutions. Can you characterize all such solutions?
Checkpoint 1.3.9. No Integer Solutions.
Prove that the equation
has no integer solutions.
Checkpoint 1.3.10. \(ax + by = d\) has Integer Solutions \(\Leftrightarrow \gcd(a,b) \mid d\).
Let \(a, b, d, \in \mathbb{N}\text{.}\) Prove that \(ax + by = d\) has integer solutions \(x\) and \(y\) if and only if \(\gcd(a,b) \mid d\text{.}\)
Lemma 1.3.11. Euclid's Lemma.
If \(p\) is prime, and \(a\) and \(b\) are integers such that \(p \mid ab\text{,}\) then either \(p \mid a\) or \(p \mid b\) (or both).
Checkpoint 1.3.12. Prove Lemma 1.3.11.
Prove Lemma 1.3.11 using Theorem 1.3.7.
Checkpoint 1.3.13. Another Divisibility Property.
Let \(m,a,b \in \mathbb{N}\text{.}\) Using Theorem 1.3.7, prove that if \(m \mid ab\) and \(\gcd(a,m) = 1\text{,}\) then \(m \mid b\text{.}\)