Modern Algebra: Week 3 (Lagrange's Theorem)

In this lecture, we'll define equivalence classes, and use right cosets of a subgroup to prove Lagrange's Theorem. Then we'll see some consequences in the realm of number theory.

[Correction: I make a comment about injective maps being bijections with their image, that you need to assume finiteness. That statement is actually true in general.]