复习笔记 Day20(5)

20.1 设互素，是维线性空间上的线性变换，且，证明:

因为互素，所以存在多项式，使得
那么
记，那么