A Classical Introduction to Modern Number Theory (2nd Edition)
by Kenneth Ireland, Michael Rosen · Springer
The canonical next step once a reader knows the elementary theory: Springer Graduate Texts in Mathematics 84. Early chapters treat congruences, the structure of the unit group mod n and quadratic reciprocity, with proofs via Gauss sums. Later chapters go on to cubic and biquadratic reciprocity, finite fields and zeta functions.
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Congruences
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
Modular Arithmetic - Khan Academy
Interactive lessons on congruences
An Introduction to the Theory of Numbers (5th Edition)
Widely regarded as the standard reference for elementary congruence theory, with large, carefully graded exercise sets. Standard undergraduate number theory text, first published in 1960. Chapter 2 develops congruences, including solutions of congruences, CRT, prime-power moduli, primitive roots and power residues. Chapter 3 covers quadratic residues, the Legendre and Jacobi symbols and quadratic reciprocity.
Number Theory: In Context and Interactive
Free online undergraduate textbook with embedded SageMath cells. It has dedicated chapters on first steps with congruence, linear congruences, general congruences, the group of units and Euler's function, primitive roots, solving quadratic congruences and quadratic reciprocity. The interactive Sage cells make the computations concrete for beginners.
Number Theory
Four-week UC San Diego course building from division with remainder and modular arithmetic to Euclid's algorithm and RSA. Finishing it, you can encrypt and decrypt messages and break RSA implementations that reuse or mishandle keys.