复习笔记 Day25(1)(7)

因为是不可约的，所以，但是与的定义矛盾，故

线性相关
接下来，记，如果，那么就已经找到了的一组基，否则设的维数为，那么不能小于，否则就存在向量和多项式，使得，进一步如果，那么和上面一样可以导出矛盾，以此类推一直做下去，就可以得到的一组基，如果记，那么可以表示成