
Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Problem set 3 for math 203 - proving things (algebra), which includes proving various properties of natural numbers such as the cancellation law for addition, associativity, commutativity, and distributivity of multiplication, compatibility of addition with ordering, total ordering of natural numbers, existence and uniqueness of differences, and divisibility as a partial ordering. It also covers euclid's proof that the set of prime numbers is infinite.
Typology: Assignments
1 / 1
This page cannot be seen from the preview
Don't miss anything!

Due: Friday, February 16, 2007 Math 203 - Proving things (Algebra) / Problem Set 3
[Hint. Show first that (m + n) · l = m · l + n · l by induction on...]
one has: m ≤ n ⇐⇒ m + l ≤ n + l.
We define the difference n − m of n and m by n − m := l. Prove or disprove: a) The difference is associative, commutative. b) The difference is compatible with the ordering ≤. c) The multiplication is distributive with respect to the difference.
i) | is reflexive, i.e., n|n for all n. ii) | is anti-symmetric, i.e., m|n & n|m ⇒ m = n. ii) | is transitive, i.e., l|m & m|n ⇒ l|n.
i) l|m and l|n and l|(n − m). ii) l divides two of the numbers m, n, n − m.
This means that there are arbitrarily large sequences of consecutive non-prime numbers.
[Hint. For given l, find a number which is divisible by 2, 3 ,... , l.]
c) There exist infinitely many prime numbers of the form p = 4·k −1, p = 4·k +1, p = 6·k −1, p = 6·k +1.