Well Ordering Principle. Every nonempty set of positive integers contains a smallest member.
This is self-evident. Think of any set of positive integers. For example {3,12, 2, 99}. Reorder the numbers from smallest to largest. Then the first number in the reordered set will be the smallest member. In this example, the reorderd set is {2, 3, 12, 99} and the smallest member is 2.
The principle also applies to any finite set of integers, positive, negative or zero, but it does not apply to the infinite set of all integers since there is no end to the number of negative integers and thus this set does not have a smallest number.
Definition: A nonzero integer t is a divisor of an integer s if there is an integer u such that s = tu.
Notation: In this case we write t | s and say "t divides s"
Definition: A prime is a positive integer greater than 1 whose only positive divisors are 1 and itself.
Theorem: Division Algorithm
Let a and b be integers with b > 0. Then there exist integers q and r with the property that a = bq + r where .
Definition: q is called the quotient upon dividing a by b, and r is called the remainder.
Examples: Suppose a = 28 and b = 3. Then 28 = 9x3 + 1. That is, when 28 is divided by 3 the quotient is 9 and the remainder is 1. But one must be careful. Suppose a = -28 and b = 3. Then -28 = (-10)x3 +2. The quotient is -10 and the remainder is 2.
Definition: The greatest common divisor of two nonzero numbers a and b is the largest of all the common divisors of a and b.
Notation: gcd(a, b)
Definition: When gcd(a, b) = 1, we say a and b are relatively prime.
Theorem: GCD is a Linear Combination
For any nonzero integers a and b, there exist integers s and t such that gcd(a, b) = as + bt.
Theorem: Euclidean Algorithm (Rotman, p. 5)
Let a and b be positive integers. There is an algorithm that finds the gcd, d, and there is an algorithm that finds a pair of integers s and t with d = sa + tb.
The algorithm iterates the division algorithm. Begin with b = qa + r, where 0 <= r <=a.
Example: Suppose a = 2520 and b = 154.
2520 = 154x16 + 56
154 = 56x2 + 42
56 = 42x1 + 14
42 = 14x3
Therefore gcd(2520, 154) = 14.