เลขคณิตมอดุลาร์ (Modular arithmetic) เป็นระบบเลขคณิตที่มีรากฐานมาจากระบบจำนวนเต็มทั่วไป แต่จำนวนในระบบนี้จะมีการหมุนกลับในลักษณะเดียวกันกับเข็มนาฬิกาเมื่อมีค่าถึงค่าบางค่าที่กำหนดไว้ ซึ่งค่านี้จะเรียกว่า มอดุลัส กล่าวคือ, ตัวเลขที่มีค่าเกินค่าของมอดุลัส จะถูกปรับค่าให้เป็นเศษของจำนวนนั้นเมื่อหารด้วยมอดุลัส ยกตัวอย่างเช่น ภายใต้มอดุลัสที่เป็น 9 เลข 13 จะถูกปรับให้เหลือ 4 หรือ ผลบวกของ 4 กับ 7 ก็คือ 2
เราจะกล่าวว่าจำนวนเต็ม a และ b สมภาคกัน ภายใต้มอดุโล n ได้เมื่อผลต่างของสองจำนวนนั้นสามารถหารลงตัวได้ด้วย n หรืออาจจะกล่าวได้อีกอย่างคือ จำนวนเต็ม a กับ b เมื่อหารด้วย n จะเหลือเศษเท่ากัน การสมภาคกันของ a และ b สามารถเขียนได้ในรูป
ความสัมพันธ์ของการสมภาคกันเป็นความสัมพันธ์สมมูล (equivalence relation) และชั้นสมมูล (equivalence class) ของจำนวนเต็ม a สามารถเขียนได้ในรูป [a]n ซึ่งความสัมพันธ์สมมูลตัวนี้มีคุณสมบัติเพิ่มเติมอีกหลายอย่าง ยกตัวอย่างเช่น: ถ้า
