nLab
modular arithmetic

References