Shared Flashcard Set

Details

MATH 453 Exam 1
Theorems, propositions, lemmas, etc.
52
Mathematics
Undergraduate 4
02/21/2011

Additional Mathematics Flashcards

 


 

Cards

Term
definition: divisibility
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

if a|b and b|c, then a|c

 

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
division algorithm
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
primality test
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
Euclid's Theorem
Definition
there are infinitely many primes
Term
Gaps between primes
Definition
the are arbitrarily large gaps between primes (for every natural number n, there exists at least n consecutive composite numbers)
Term
prime counting function
Definition
let x be a real number with x>0, then π(x) is the number of primes p with p≤x
Term
prime number theorem
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
arithmetic progression
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: congruences
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
residue classes modulo m
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
Wilson's Theorem
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
Fermat's Little Theorem
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
pseudoprimes
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
Carmichael number
Definition
an integer p that is a pseudoprime to all bases a in the natural numbers with (a,p) = 1
Term
Euclid's Lemma
Definition
Let a,b be integers and p prime. If p|ab then p|a or p|b.
Term
divisibility test: 2
Definition

(10 ≡ 0 mod 2)

 

n is divisible by 2 iff

a0 ≡ 0 mod 2

 

(a0 denotes units digit)

Term
divisibilty test: 5
Definition

(10 ≡ 0 mod 5)

 

 

n is divisible by 5 iff

 

a0 ≡ 0 mod 5

Term
divisibility test: 3
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
divisibility test: 9
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
sieve of eratosthenes
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
goldbach conjecture
Definition
every even integer greater than 2 can be expressed as the sum of two (not necessarily distinct) prime numbers
Term
twin prime conjecture
Definition
there are infinitely many prime numbers p for which p+2 is also a prime number
Term
counting divisors
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
modular inverses
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
incongruent solution
Definition
when you get a ≡/≡ b mod m, like -7 ≡/≡ 2 mod 5 (it is actually congruent to 3)
Supporting users have an ad free experience!