同余 (Modular Arithmetic):对于整数 , 和正整数 ,如果 能整除 ,那么我们就称 在模 下同余,记作 。例如,

同余关系的充要条件:对于群 的子群 对于所有的 成立。