Term
|
Definition
Let a,b be integers. We say that a divides b (a|b) or b is divisible by a, or a is a factor of b, if there exists an integer c such that b = ac
also, b ≡ 0 mod a |
|
|
Term
divisibility: transitivity |
|
Definition
|
|
Term
divisibility: linear combinations |
|
Definition
Let a,b,c be integers. If a|b and a|c, then a|bn+cm for any integers n,m. In particular, if a|b and a|c, then a|b+c and a|b-c. |
|
|
Term
divisibility: size of divisors |
|
Definition
Let a,b be integers with b not equal to zero. If a|b then |a|≤|b|. In particular, and positive divisor of a must fall in the inteval [1,b] |
|
|
Term
divisibility: divisibility and ratios |
|
Definition
Let a,b be integers with a not equal to zero. Then a|b holds iff b/a is an integer. |
|
|
Term
Greatest Integer Function |
|
Definition
for any x in the reals, the greatest integer function is defined as the greatest integer m satisfying m ≤ x.
also known as the floor function |
|
|
Term
|
Definition
given integers a,b with b>0 there exists unique integers q,r such that a = qb + r and 0≤r<b.
q = [a/b] (floor)
r = a - [a/b]*b
also, a ≡ r mod b |
|
|
Term
existence of prime factors |
|
Definition
let n be a natural number greater than 1, then n has at least one prime factor (possibly n itself) |
|
|
Term
|
Definition
let n be a natural number greater than 1, then n is prime iff n is not divisible by any prime p with p ≤√(n) |
|
|
Term
|
Definition
there are infinitely many primes |
|
|
Term
|
Definition
the are arbitrarily large gaps between primes (for every natural number n, there exists at least n consecutive composite numbers) |
|
|
Term
|
Definition
let x be a real number with x>0, then π(x) is the number of primes p with p≤x |
|
|
Term
|
Definition
the prime counting function π(x) satisfies
lim(x->∞) [π(x) / (x/lnx)] = 1 |
|
|
Term
Mersenne Numbers / Mersenne Primes |
|
Definition
numbers of the form Mp = 2p - 1 |
|
|
Term
Fermat Numbers / Fermat Primes |
|
Definition
numbers of the form Fn = 22^n + 1, where n = 0,1,... |
|
|
Term
elementary properties of the gcd |
|
Definition
i) (a,b) = (-a,b) = (a,-b) = (-a,-b)
ii) (a,b) = (a+bn,b) = (a,b+am) for any integers n,m
iii) (ma,mb) = m(a,b) for any natural number m
iv) if d = (a,b) then (a/d,b/d) = 1
v) d | (a,b) iff d|a and d|b |
|
|
Term
linear combinations and the gcd |
|
Definition
let a,b be integers and a and b not both zero. Let d = (a,b). Then there exists integers m,n such that d = na +mb
d is a linear combination of a and b with integer coefficients
d is the minimum value combination of a and b |
|
|
Term
elementary properties of the lcm |
|
Definition
i) [a,b] = [-a,b] = [a,-b] = [-a,-b]
ii) [ma,mb] = m[a,b] for any natural number m
iii) [a,b] = |ab|/(a,b)
iv) let m be a natural number, then [a,b] | m iff a|m and b|m |
|
|
Term
|
Definition
a sequence of the form a, a+b, a+2b, a+ 3b....
also, {n integers : n ≡ a mod b} |
|
|
Term
dirichlet's theorem on primes in arithmetic progressions |
|
Definition
let a,b be natural numbers with (a,b) = 1, then the arithmetic progression a, a+b, a+2b.... contains infinitely many primes |
|
|
Term
|
Definition
let a,b be integers and let m be a natural number. a is congruent to b modulo m, a≡b mod m if m|a-b |
|
|
Term
elementary properties of congruences |
|
Definition
i) if a≡b mod m and c≡d mod m, then a+c ≡ b+d mod m
ii) if a≡b mod m and c≡d mod m, then ac≡bd mod m
iii) if a≡b mod m, then an≡bn mod m for any natural number
iv) if a≡b mod m, then f(a)≡f(b) mod m for any polynomial f(n) with integer coefficients
v) if a≡b mod m, then a≡b mod d for any positive divisor of m |
|
|
Term
congruences as an equivalence relation |
|
Definition
the congruence relation modulo m is an equivalence relation and satisfies the following properties:
reflexivity: a≡a mod m
symmetry if a≡b mod m, then b≡a mod m
transitivity: if a≡b and b≡c, then a≡c |
|
|
Term
|
Definition
the equivalence classes defined by the conguence relation modulo m
for any integer a, [a] denotes the equivalence class to which a belongs:
[a] = {n integer | n≡a mod m} |
|
|
Term
complete residue system modulo m |
|
Definition
a set of integers that contains exactly one integer from each equivalence class modulo m |
|
|
Term
|
Definition
let p be a prime number
(p-1)! ≡ -1 mod p |
|
|
Term
Converse to Wilson's Theorem |
|
Definition
if p is an integer greater than or equal to 2 satisfying
(p-1)! ≡ -1 mod p
then p must be a prime number |
|
|
Term
Contrapositive of Wilson's Theorem |
|
Definition
If n is composite, then (n-1)! is not congruent to -1 mod n
If n is greater than 4, then (n-1)! ≡ 0 mod n |
|
|
Term
|
Definition
Let p be a prime number. Then for any integer a satisfying (a,p) = 1
ap-1 ≡ 1 mod p |
|
|
Term
Variant of Fermat's Little Theorem |
|
Definition
Let p be a prime number, then for any integer a
ap ≡ a mod p |
|
|
Term
Inverses via Fermat's Theorem |
|
Definition
Let p be a prime number, and let a be an integer such that (p,a) = 1. Then ap-2 is an inverse of a modulo p |
|
|
Term
|
Definition
an integer p>2 that is composite, but satisfies the Fermat congruence (ap-1 ≡ 1 mod p) is called a pseudoprime to the base a, or a-pseudoprime |
|
|
Term
|
Definition
an integer p that is a pseudoprime to all bases a in the natural numbers with (a,p) = 1 |
|
|
Term
|
Definition
Let a,b be integers and p prime. If p|ab then p|a or p|b. |
|
|
Term
|
Definition
(10 ≡ 0 mod 2)
n is divisible by 2 iff
a0 ≡ 0 mod 2
(a0 denotes units digit) |
|
|
Term
|
Definition
(10 ≡ 0 mod 5)
n is divisible by 5 iff
a0 ≡ 0 mod 5 |
|
|
Term
|
Definition
(10 ≡ 1 mod 3)
n is divisible by 3 iff the sum of its digits is divisible by 3
Let s(n) be the sum of decimal digits of n. Then n ≡ s(n) mod 3 |
|
|
Term
|
Definition
(10 ≡ 1 mod 9)
n ≡ s(n) mod 9, so n is divisible by 9 iff the sum of its digits is divisible by 9 |
|
|
Term
euclidean algorithm reinterpreted as congruence |
|
Definition
8x≡1 mod 35 is interpreted as:
8x = 35y +1
8x + 35(-y) =1 |
|
|
Term
Mersenne Number -> Composite |
|
Definition
If n is composite, then 2n - 1 is also composite |
|
|
Term
Fermat Number -> Composite |
|
Definition
If n is not a power of 2, then 2n + 1 is composite |
|
|
Term
chinese remainder theorem |
|
Definition
there is a unique solution x mod (m1*m2*...*mr) for the system of linear congruences
x ≡ b1 mod m1
x ≡ b2 mod m2
x ≡ b3 mod m3
then M = m1*m2*m3, M1 = m2*m3, M2 = m1*m3, M3 = m1*m2
x1 ≡ 1 mod M1, x2 ≡ 1 mod M2, x3 ≡ 1 mod M3
x = x1b1M1 + x2b2M2 + x3b3M3 mod M |
|
|
Term
|
Definition
algorithm for finding primes
e.g. primes between 1 and 100
list numbers starting at 2 to 100, start to cross off multiples of 2, then 3, then 5, and so on, you will be left with only the prime numbers. |
|
|
Term
|
Definition
every even integer greater than 2 can be expressed as the sum of two (not necessarily distinct) prime numbers |
|
|
Term
|
Definition
there are infinitely many prime numbers p for which p+2 is also a prime number |
|
|
Term
|
Definition
application of the fundamental theorem of arithmetic;
number of divisors is how many unique combinations of the prime factorization you can make |
|
|
Term
Fundamental Theorem of Arithmetic |
|
Definition
Every integer greater than 1 has a unique factorization into primes; that is, every integer n>1 can be represented in the form
n = PI(r, i = 1) pia_i
where the pi are distinct primes, and the exponents ai are positive integers. Moreover, this representation is unique except for the ordering of the primes pi |
|
|
Term
|
Definition
A solution x to the congruence ax≡1 mod m, if it exists... |
|
|
Term
existence of a solution to linear congruence |
|
Definition
the congruence
ax≡b mod m, and d = (a,m),
then has a solution if and only if d|b |
|
|
Term
number of solutions to a linear congruence |
|
Definition
Suppose d|b. Then ax≡b mod m has exactly d pairwise incongruent solutions x modulo m.
The solutions are in the form x = x0 + km/d for k = 0,1,...,d-1 where x0 is a particular solution |
|
|
Term
construction of a solution to a linear congruence |
|
Definition
Suppose d|b, then a particular solution can be constructed as follows:
Apply the Euclidean algorithm to compute d = (a,m), and, working backwards, obtain a representation of d as a linear combination of a and m. Multiply the resulting equation through with (b/d) The new equation can be interpreted as a congruence of the desired type, and reading off the coefficient of "a" gives a particular solution |
|
|
Term
|
Definition
when you get a ≡/≡ b mod m, like -7 ≡/≡ 2 mod 5 (it is actually congruent to 3) |
|
|