This is an exposition of the main results in ch1, ch2 of George Andrew’s book on Number Theory. Presentation will discuss the Basis Representation Theorem, Euclid’s Division Lemma, Divisibility, greatest common divisors, solutions to linear equations and the main result of ch2, the claim that every positive integer is a unique product of prime factors.
First, the BRT is a basic result from number theory. For the purposes of exposition, all variables are assumed to be integer-valued.
theorem: [basis representation theorem] Let be a given base. For any
there is a unique base
representation
, where
such that
proof:
Note that y has a unique representation in base
. Assume the representations of
in base
exist and are unique. Let
. Then
Let be the first index for which
and for all
. Then
. Hence
and so has a representation in base
. To establish uniqueness, suppose that
has two distinct representations in base
.
.
Where . if
,
Note that . Since
when
and
,
which is false. So . Assume wlog that
. If
, then
but , which is false. So
, and by induction
for all
. Hence the representation is unique.
A result sometimes useful
lemma: if and
then
and
Since it follows by induction that for all
,
. Hence by induction
Euclid’s Division Lemma
theorem: [Euclid] Let . For any
there is a unique quotient
and remainder
such that
.
Either or
. If
then
and so the claim is valid. If
, if
, then by the BRT there is a unique representation
.
Choose and
, and so there is a quotient
and remainder
such that
. If there is a second representation
, then
. But
and so
and so
and
, so the second representation is identified with the first representation (ie. representation is unique).
If , then
is the only possible representation satisfying the constraints and so is unique.
If then
and by the prior result there is a unique
such that
. But then
. If
the representation exists and is unique. If
, then
and
is a unique representation satisfying the constraints.
Divisibility
definition: [divisor] Let iff
divides
. That is if
for some integer
. If
then
is said to be a divisor or
.
Note that divisibility is not independent of the sign of the numbers, since and to answer questions about divisibility it is sufficient to consider only non-negative numbers.
Note that for any integer
. Furthermore
is a binary relation on integers that is reflexive, transitive and anti-symmetric (if restricting to positive numbers):
since
- if
then
since
and
and so
.
implies
since
and so
, so
and so
.
So is a partial order on positive integers.
definition: [greatest common divisor] Given two integers the greatest common divisor
is the positive integer such that
and
- if
and
then
.
lemma: if are positive integers then the gcd exists and is unique.
for uniqueness, consider two gcds . Then
and so
.
for existence, EL may be used. Suppose . Choose base
. Note that there are unique
such that
where
and
. If
define
and by EDL there are unique
such that
and
. Note that this process can be repeated at most
steps until
. But then
. Since
it follows that
and by induction,
and
. Hence
is a common divisor of
.
To estalish it is the greatest such divisor, suppose . Then
and by induction
. Hence
and so
.
example: gcd(341,527) = 31
corollary: if then there are
such that
Define and
. Note that
. Assume that for all
,
. Define
and
. Then
Since , by induction the claim is valid.
example: determine such that
.
corollary: there are such that
iff
.
Let . Then there are
such that
. If
, then
and so
and sufficiency is demonstrated. For necessity, suppose that there are
such that
. Since
and
, it follows that
, and so
, establishing necessity.
definition: [prime number] A positive number distinct from is a prime number if
iff
or
.
definition: [coprime/relatively prime] Two numbers are coprime if .
The next result says that factors coprime with a candidate divisor can be deleted in a test for divisbility.
lemma: If and
are coprime, then
.
Since are coprime, there are
such that
. But then
and so
. But if
, then
and so
.
corollary: of is prime and
and
then
.
If is not a divisor of
then the common divisors of
and
is contained in the intersection of a set not containing
and a set consisting of only
and
, that is the set
. Hence
are coprime and so by prior lemma
.
corollary: when then
for some
.
proof: either or
. In the latter case
. Repeating this analysis, in the latter case either
such that
or
. At the final step, either
such that
or
. Hence the claim of the corollary is valid.
Linear Diophantine Equation
A linear diophantine equation is an linear equation whose terms are all integers:
. A solution is identified with the equation specified by integers
is the pair
satisfying the equation.
The approach to solving this type of equation is to use the fact that if , then
. That is, if
is a solution, then
. This condition is independent of the solution, meaning that no solution exists if the divisibility condition is not satisfied. If satisfied, then there is an integer
such that
and we may identify a solution
such that
. But for any other solution,
since are coprime, there is an integer
such that
. But then
, and so
. But since
every value of results in a solution.
Fundamental Theorem of Arithmetic
theorem: for any there is a unique non-decreasing list of prime numbers whose product is identical to
.
The claim is true when . Assume it to be true for all
. Then either $n+1$ is prime or it is not prime. In the first case there are numbers
such that
where
. But by hypothesis, $a,b$ have unique non-decreasing lists of prime numbers whose product is identical to each. Since the product of two ordered lists is a list that can be arranged in order, the existence of an ordered list whose product is
is assured. To establish uniqueness, suppose
has two ordered lists of prime numbers whose product is
. Then
.
the assertion to establish is that and
for all
. Let
be the first index for which
. Assume wlog
. Since
, there is
such that
. But this is not possible since
is an ordered list. So
for all
. Hence
. Applying the same argument with
transposed with
, conlude that
. Hence the lists are identical, establishing uniqueness.
