The study of finite Number system where if we keep adding $1$ (successor function), we eventually come back to the first number, $0$.

They are related to some Finite groups and Finite fields

intro

computation of the remainder

equivalence classes – how to use them

applications

You can "push" the mod to the factors in a product if the factors are all integers (but keeping a mod over the new product also)