memorisable stuff Flashcards
coprime:
gcd(a,b)=1, a and b are coprime, no prime factors in common
bezout’s lemma:
a,b integers with at least one not equal to 0, then there’s integers s,t such that as+bt=gcd(a,b)
some pk and qk things:
pkq(k-1)-p(k-1)qk=(-1)^(k-1)
pkq(k-2)-p(k-2)qk=(-1)^(k)xk
try dividing the above by the q bits for more stuff
qk>q(k-1) (and so on)
periodic continued fractions and pell equations:
if root(d)=[x0: x1,…,xr] (x1-xr has a bar to show repeat), then the fundamental solution of the pell equation x^(2)-dy^(2)=1 is pn/qn where n=2r-1 if r is odd and r-1 if r is even
unit:
an element of modulo n with a multiplicative inverse, so [a] is a unit modulo n if there exists [b] such that [a][b]=1, set of units is Un
[a] is a unit iff gcd(a,n)=1
wilson’s theorem:
a positive int is prime iff (p-1)!== -1 mod p
euler’s function:
ϕ(n)=no. of positive ints a <= n with gcd(a,n)=1, so ϕ(n)=|Un|
ϕ(p^m)=:
(p being a prime) p^(m-1)(p-1)
ϕ(nm), n m coprime:
ϕ(n)ϕ(m)
ϕ(n) and prime factorisation:
n=p1^(m1)…pk^(mk), its prime factorisation, then ϕ(n)=ϕ(p1)…ϕ(pm)=p1^(m1-1)(p1-1)…pk^(mk-1)(pk-1)
euler’s theorem:
a,n pos ints with gcd(a,n)=1, then a^(ϕ(n))==1 mod n
fermat’s little theorem:
p prime, a not divisible by p, then a^(p-1)==1 mod p
chinese remainder theorem:
n1,…,nk coprime, when given simultaneous congruences x=a1 mod n1,…,x=ak mod nk, x=n=n1…nk (multiplied) which is a single congruence class
basically multiply the ni’s to get n, for each ai find mi=n/ni, mi-ni=si, then sum aimisi and find what that is mod n
lagrange’s polynomial congruence theorem:
f(x) is a polynomial with degree d and int coefficients, p is a prime, if some coefficient of f(x) is not divisible by p then f(x)=0 mod p has at most d sols modulo p
hensel’s lemma:
f(x) a polynomial with int coefficients, p a prime, a an int, if there exists f(a)==0 mod p and f’(a)!==0 mod p then for all m>=1 there exists a unique int r with 1<=r<=p^m and f(r)==0 mod p^m and r==a mod p
notation is that non-singular sols modulo p lift to unique sols modulo p^m