复习笔记 Day46(5)

这与不可约矛盾，所以这时也有，所以无论哪种情况，都有，所以，两边乘上并求和可得

对于一般的数域应该也是可以证明这个结论的，为此只要就好了，设，参考Day25(1)那个一拖四的证明：对于一般的数域来说，现在来证明是线性无关的：如果是线性相关的，取它的一个极大线性无关组，因为这样的极大线性无关组的个数是有限的，进一步不妨设满足，并且满足对于任意的极大线性无关组，有，如果，那么记，如果，那么记，那么存在，使得存在，，使得，并且线性无关，并且这样的只能等于或者