即 性质: 整除性 传递性 保持基本运算 放大缩小底数 k为正整数,n为正整数, 放大缩小模数 k为正整数, 同余关系式: 威尔逊定理费马小定理及其逆元欧拉函数及其扩展欧拉函数卢卡斯定理 同余方程: 线性同余方程线性同余方程组二次剩余高次剩余