降模（降模代数）一般说的降模，全称降模代数 / 降模函数，多见于模论、线性代数、多项式环、有限域，也在信号/控制系统里叫降模运算。核心思想：在模 m 的等价类里，把一个数/多项式化简成最小代表元。一、整数上的降模（最基础）

对整数 a,m（m>0），a 模 m 降模：a \bmod m结果 r 满足：a = qm + r,\quad 0\le r