《高等代数一》知识点(2013).docVIP

高等代数知识点 第一章 多项式 数域的定义、常见数域 （系数在）数域P上的多项式的定义 多项式相等 多项式的次数、零多项式和零次多项式 一元多项式的运算（加减乘）、运算律、多项式环、次数定理 整除的定义：（证明，不整除则用反证法）、因式和倍式 整除的性质： 一些特殊的整除性（0，常数，自身） 整除的反身性 整除的传递性 整除的组合性 带余除法、综合除法 整除的判定法则：余式为零 整除不受数域的影响 公因式及最大公因式的定义、，， 最大公因式的求法（辗转相除法）P44：5 最大公因式可以表示为的一个组合——Ｐ45：8 互素的定义 互素的相关定理（证明）P45：12、14 不可约多项式的定义（次数大于等于1） 平凡因式、不可约等价于只有平凡因式 可约性与数域有关 不可约多项式的性质： 不可约，则也不可约 不可约， 不可约， 标准分解式 K重因式的定义、微商的定义 重因式的相关定理：是不可约多项式 若是的K重因式，则是的K－1重因式 是的重因式（） 没有重因式 是的K重因式的K－1重因式 多项式函数的定义 余数定理 因式定理P45:19 重根与重因式的关系：，但是有重因式未必有重根 求重因式P45：16 根的个数定理： 函数相等的判断定理： 多项式相等与函数相等的一致性 代数基本定理：复数域上的多项式必有一根，必有一个一次因式，复系数多项式的不可约多项式只有一次多项式 复系数多项式的因式分解定理：唯一地分解为一次因式的乘积 n次复系数多项式有n个复根，重根按重数计算 实系数多项式的复根定理 实系数多项式的因式分解定理：唯一地分解为一次和二次不可约因式的乘积 有理数域上存在任意次不可约多项式 复系数实系数多项式的标准分解式、4次的因式分解 本原多项式的定义、性质： 任给一个有理系数多项式总可以表示成一个有理数与一个本原多项式的乘积（除了相差一个正负号外，这种表示法是唯一的）． Gauss引理：两个本原多项式的积仍是本原多项式 整系数多项式的因式分解定理：若一非零的整系数多项式可分解成两个次数较低的有理系数多项式，则它一定可分解成两个次数较低的整系数多项式的乘积 求有理系数多项式的有理根的方法（结合综合除法验证） P46：27 艾森斯坦(Eisenstein)判别法P46：28 第二章 行列式 二级、三级行列式的计算（对角线法则） 排列、逆序、逆序数、排列的奇偶性、对换的定义 逆序数的求法——Ｐ96：5、对换改变奇偶性 n级行列式的定义及计算P97:8 特殊行列式的计算 行列式的性质（转置、换行（冒泡）、数乘、和、线性运算） 余子式、代数余子式的定义及相关计算（） 行列式按行（列）展开法则（=D，=0） 行列式的计算（降阶）（四阶、P98：13（1）（3）（4）） 行列式的证明（n级字母型：按行列展开、以第一行为标准加减、各列加到第一列、相邻行相加减、加一行一列）P99：17（1）（2）（3）、18（1）（5） 范德蒙德行列式及应用（转置换行） 克拉默法则及解的判定定理（非齐次方程组有唯一解D0，齐次方程组有非零解D＝0） 线性方程组 线性方程组、解、同解的概念 线性方程组的初等变换 矩阵的定义、初等变换及应用，行阶梯形、行最简形矩阵 解线性方程组 向量的定义、表示（行向量与列向量）、相等 特殊向量（零向量、负向量） 向量的运算（加法和数乘）及运算性质 向量空间的定义 线性组合的定义：对应的非齐次线性方程组有解、向量组线性表出P154:12 向量组等价的定义、等价的性质（反身性、对称性、传递性） 线性相关定义：有一个向量可以由其余向量线性表出 线性相关等价定义：存在不全为零的K使得等式成立——对应的齐次线性方程组有非零解 线性无关：对应的齐次线性方程组只有零解（证明）（P155:6） 线性相关（无关）的判定（用矩阵的秩来判定） 线性相关（无关）的性质： 单个向量、两个向量的相关性 单位向量组线性无关 含有零向量的向量组必线性相关 整体与部分的相关性（整体无关则部分无关，部分相关则整体相关） 线性无关的向量组扩维后还是线性无关的 设与是两个向量组。如果 1）向量组可以经过线性表出；2），那么向量组必线性相关。 任意n+1个n维向量必线性相关.（特例） 如果向量组可由向量组线性表出，且线性无关，那么（逆否） 两个线性无关的等价的向量组，必含有相同个数的向量. （逆否+向量组等价） 极大线性无关组的定义：一向量组的一个部分组称为一个极大线性无关组，如果这个部分组本身是线性无关的，并且从这个向量组中任意添一个向量(如果还有的话)，所得的部分向量组都线性相关。（不唯一） 极大线性无关组的性质： 任意一个极大线性无关组都与向量组本身等价 一向量组的任意两个极大线性无关组都是等价的. 一向量组的极大线性无关组都含有相同个数的向量 向