Equivalence relation
Let R be a relation on a set. We say that A is an equivalence relation if it satisfies the following properties. A is reflexive
A is symmetric
A is transitive
Congruent modulo n
Let nEN, and a,bEZ. a is congruent to b mod n if n | a-b.
Congruence class
the set of integers (x) that are congruent to a mod n
The set of congruence classes modulo n
Let n e N. We define the set of congruence classes modulo n to be Zn = { [a]n : a e z}
Ring of integers modulo n
The set Zn with addition and multiplication defined as follows Let x, y e Zn and chose x0, y0 e Z s.t x = [x0]n and y=[y0]n - x + y = [x0 + y0]n - xy = [x0y0]n