Euclidean domain
has a Euclidean valuation; a=qb+r with δ(r)<δ(b)
principal ideal domain
every ideal is principal; I=aR
unit
divides 1
associated
equivalent up to unit
irreducible
p=ab, then a or b is a unit
prime
p|ab then p|a or p|b
Unique Factorisation Domain
-every non-zero non-unit can be written as the product of finitely many irreducible elements
-unique up to order
τ(n)
number of divisors
σ(n)
sum of divisors
multiplicative
f(1)=1 and for m,n coprime f(mn)=f(m)f(n)
mobius function
square-free gives (-1)^s , else 0
dirichlet product
Sum over divisors of n: f(n/d)g(d)