北京大学：《离散数学》离散数学之二：《代数结构与组合数学》第17章 群（5/5）习题课——群的证明

我们用初等因子的理论来解决若尔当标准形的计算问题.首先计算若尔当标 准形的初等因子

„ 正规子群及判定 „ 定义 „ 判别定理 „ 判别法 „ 商群 „ 定义及其实例 „ 性质

„ 变换群 „ 变换群的定义 „ 变换群的实例 „ n元置换群 „ 置换的表示 „ 置换的乘法和求逆运算 „ 置换群中元素的阶与子群 „ 置换群的实例 „ 陪集及其性质 „ Lagrange定理 „ Lagrange定理的应用 „ 共轭关系与共轭类 „ 群的分类方程

现在来证明,-矩阵的标准形是唯一的 定义5设λ-矩阵A(4)的秩为r,对于正整数k,1≤k≤r,A(4)中必有非 零的k级子式.A(4)中全部k级子式的首项系数为1的最大公因式D(4)称为 A(A)的k级行列式因子 由定义可知,对于秩为r的λ-矩阵,行列式因子一共有r个行列式因子的 意义就在于,它在初等变换下是不变的

„ 子群定义 „ 子群判别定理 „ 重要子群的实例 „ 生成子群 „ 中心 „ 正规化子 „ 共轭子群 „ 子群的交 „ 子群格 „ 循环群的定义 „ 循环群的分类 „ 生成元 „ 子群 „ 循环群的实例

„ 群的定义 „ 定义与实例 „ 等价定义 „ 相关术语 „ 群的性质 „ 幂运算规则 „ 群方程有唯一解 „ 消去律 „ 运算表的置换性质 „ 元素的阶的性质 „ 习题分析

控制系统的数学模型在控制系统的研究中有着相当重要的 地位,要对系统进行仿真处理,首先应当知道系统的数学 模型,然后才可以对系统进行模拟。同样,如果知道了系 统的模型,才可以在此基础上设计一个合适的控制器,使 得系统响应达到预期的效果,从而符合工程实际的需要

由前面的讨论可知，并不是对于每一个线性变换都有一组基，使它在这组基 下的矩阵成为对角形.下面先介绍一下，在适当选择的基下，一般的一个线性变 换能化简成什么形状

对于给定的n维线性空间V,A∈L(V),如何才能选到V的一个基使关于 这个基的矩阵具有尽可能简单的形式由于一个线性变换关于不同基的矩阵是相 似的因而问题也可以这样提出在一切彼此相似的n阶矩阵中如何选出一个形 式尽可能简单的矩阵这一节介绍不变子空间的概念,来说明线性变换的矩阵的 化简与线性变换的内在联系