Introduced a|b, congruences. Proved \equiv is an equivalence relation. Discussed briefly the idea of equivalence classes and well-definition of + and *. [went poorly]
Discussed inverses mod m -- introduced the relevant Diophantine equation. Proved if b shares a non-trivial factor with m, then b is not a unit.
Did an example of the magic table (and then reverse substitution). [went great]
No comments:
Post a Comment