群论课提纲.docVIP

群论讲课提纲 第一章 抽象群理论 1.1 群的基本概念 1、群的定义 实例分析； 群的定义。 2、基本概念 有限群与无限群（群的阶）； 连续群与分立群； 阿贝群（交换群），例题； 对称群，例题（）； 循环群（生成元） 1.2 有限群的基本性质 1、群的乘法表（群乘表） 群乘表构造方法（SL2群，群） 群乘表的性质（重排定理及推论） 2、元素的阶 例题分析 定义（元素的阶） 几点结论 3、元素的共轭 定义（共轭元素） 共轭的性质（自反、对称、传递） 4、共轭类 等价关系与集合的划分 共轭类的定义 关于类的几个结论（7条，例题） 类的积（，例题） 1.3 子群与商群 1、子群的概念 定义、判别条件、平凡子群 2、陪集（旁系） 定义 例题与分析 陪集的性质 ① 子群与它的任何一个陪集没有共同元素, 即 ② 子群的任何两个左（右）陪集要么完全相同，要么完全不同。即 ③ 子群与它的所有相异左（右）陪集定义群的一个划分*。 推论1：群的阶与子群的阶之比为整数，即； 推论2：群阶与元素阶的商为整数。 3、共轭子群 定理：以群G中任何元素为过渡元素对子群作共轭变换得到的集合仍然是G的子群，称为的共轭子群。 例题 4、正规子群（自轭子群、不变子群） 例题分析 正规子群的两种定义 正规子群的性质 ① 不变子群的任何两个陪集的积仍然是该子群的陪集； ② 不变子群与其任何一个陪集的积等于该陪集。 5、商群 例题分析 定理：由正规子群及其所有相异陪集构成群称为商群。 商群的性质 ① 商群的幺元是正规子群H； ② 商群的阶数为正规子群的指数； 1.4 群的同构与同态 1、 群的同构 ① 例题分析 ② 同构的定义 ③ 注意事项 ④ 群所有子群的同构关系 2、 群的同态 ① 例题分析 ② 同态的定义 ③ 注意事项 3、有限群的结构 1～6阶群的结构分析（思考题） ② 关于高阶群结构分析的注意事项 群的生成集存在性 素数阶群的结构 ③ 生成集定理 1.5 置换群 ① 置换群的基本概念 ② 群及其乘法表 ③ 群的性质 ④ 任何有限群总同构于群的一个子群。（例题） 第二章 有限群的表示理论 2.1 概述 同态表示与举例 同构表示（忠实表示） 矩阵表示 2.2 群的矩阵表示 举例说明对任何有限群，总存在一个与之同构的矩阵群 表示的定义及注意事项 等价表示 幺正表示 定理1及其证明* 化一般表示为幺正表示的步骤 2.3群的可约表示与完全可约表示 可约表示与不可约表示（定义、可约的含义） 完全可约表示 可约幺正表示必是完全可约表示（定理及证明） 2.4 不可约表示及相关定理 可约表示约化为不可约表示 舒尔引理 舒尔引理1（引理及证明）* 舒尔引理2（引理及证明）* 不可约表示的正交性定理 正交性定理的内容与证明 正交性定理的解释（表示向量、群空间） 2.5 表示的特征标 问题的引入 等价表示之间的共性（特征标相同） 一个群的不可约表示的数目 给定表示可约性的判断 可约表示约化为不可约表示的线性组合问题 1、特征标的概念 特征标的定义 单纯特征标与复合特征标 举例与分析 2、特征标的性质 ① 共轭元素的特征标 同类元素的特征标 特征标的类向量 ② 等价表示的特征标 ③ 特征标的正交性 单纯特征标正交性定理及证明* 特征标正交性的归一化形式 特征表类向量与类空间 类空间的完备性与不可约表示的数目 同一个类在不同表示下的特征标的正交性 特征标矩阵的正交性 3、特征标的乘积关系 ① 类的表示矩阵 定义、性质（任何类的表示矩阵必为常数矩阵） ② 不可约表示特征标的乘积关系 4、可约表示的约化 ① 可约表示约化为不可约表示的线性组合（直和） ② 可约表示的特征标表示为不合约表示特征标的线性和 5、不可约表示的一个判据 6、例子1 群的不可约表示与特征标 7、例子2 一个6阶群的不可约表示与特征标 2.6 正规表示 1、正规表示的构造方法 正规表示定理及证明* 2、正规表示的性质 正规表示的维数等于群的阶数； 正规表示的特征标* 正规表示的简约系数等于相应不可约表示的维数* 3、有关不可约表示的几个性质 g阶群的不可约表示的特征标满足: 群的所有不可约表示维数的平方和等于群的阶: 群的所有不可约表示的数目等于群的类的数目。 2.7 群的直积 1、矩阵的直积 ① 定义、元素的位置关系 ② 性质 性质1：若和有定义，则 性质2：对任意两个矩阵有 性质3：满足结合律，即： 性质4：满足分配律，即