2014群论作业题目..docx

作 业1.1 非空集合G上定义了一个二元运算（被称为乘法），试证明如果满足如下条件，那么G构成群：乘法满足结合律；对任意的，方程和都在中有解。1.2证明：设H 是群G 的非空子集，那么若对有，则H 是G 的子群。1.3推导四阶群的非循环结构并写出群乘表。设群元为 (为单位元)。1.4证明指数为2的子群一定是不变子群1.5设是群中的一个类，证明对有1.6证明有限群群元的阶必能整除群的阶1.7证明除单位元外所有元都是二阶元的群是Abel群1.8证明存在八阶循环群到四阶循环群的同态1.9证明两个群的直积仍然是群1.10一个群与其子群是否总是同态的？如是则证明之，如否则给出反例。2.1若是群 G 的表示，问下列集合是否仍是群G 的表示？为什么？2.2对非奇异的矩阵表示 D(G)，证明，其中 e 为单位元， I 为单位矩阵。2.3证明群G中属于同一类的各元素的表示矩阵之和，必与群G的任意元素的表示矩阵对易。2.4 证明Abel群的所有不可约表示都是一维的。2.5 证明: (1) 若有非单位矩阵常数倍的非零矩阵??与群的某一表示的所有矩阵对易，那么该表示必是可约表示；(2) 若表示完全可约，则一定存在非单位矩阵常数倍的非零矩阵??与所有表示矩阵对易。2.6 有限群G是否存在n维的恒等表示，即? 如果有，这个表示是否满足表示矩阵元的正交性定理？2.7 设D(G)是群G的一个表示，则也是群G的表示，试证明：若D可约则也可约，若D不可约则也不可约。2.8 证明函数变换算符为幺正算符，其中R是对三维坐标的正交变换。[提示：幺正算符是利用平方可积函数的内积来定义的]2.9 证明三维空间的旋转算符在以为基时的表示矩阵就是旋转矩阵本身，即。[提示：为正交矩阵。记则基函数实为]2.10已知 C3v群对二维坐标的变换矩阵如下求该群在基下的二维表示。判断该表示是否可约，是否幺正，要写清判断过程。2.11上一题中的变换矩阵本身也是 C3v群的一个不可约幺正表示，构造投影算符并从函数中投影出该表示的基。edfabceedfabcddf ecabff edbcaaabcedfbbcafedccabdfe2.12已知群（群乘表见右侧）的一个子群, 且已知子群 H 的一个不可约表示为，求在中的诱导表示。2.13利用群的特征标标表，将三个二维表示的直积约化为不可约表示的直和。2.14已知点群有五个不等价不可约幺正表示，分别为：求直积表示与其约化后的等价表示间的 CG 系数。并将最后结果列表给出3.1 找出所有循环结构，哪些是偶置换？哪些是奇置换？并计算所有类中元素个数。3.2 证明的任何置换都可以写成若干形式的对换的乘积，并将置换 (25) 写成该种形式。3.3给出的所有不可约表示的 Young 图以及每个 Young 图所对应的标准 Young 盘，并计算各不可约表示的维数3.4利用标准 Young 盘、维数公式、和钩形规则三种方法计算的不可约表示的维数。3.5用图形方法计算特征标和，前者分别用 1223344，1123344，1122344和1122334 填充计算，后者分别用 1223333，1122223，和 1111223填充计算。3.6求在表示 [3,1] 中的 Young 基，并计算置换 (34) 和 (124) 的表示矩阵。[提示：可定义一个算符 ?，其中为 1,2,3 构成的所有置换，否则计算过程比较冗长]3.7用Littlewood-Richardson规则求外积 [2,1][3,2] 的分解，计算该外积的维数，并用钩形规则计算所有分解得到的不可约表示的维数并验证其和为外积维数。(注意：不可用外积的交换性实际计算 [3,2][2,1] 的分解)3.8利用分支律求的不可约表示在其子群中的分导表示的约化，并利用钩形规则验证约化前后的维数。4.1 设一个群G有一个指数为2的子群H，试证明：(1) 若在H的陪集中存在一个群元与H中的所有元素对易，那么子群H的分类和其在群G中的分类是一样的；（例如）(2) 反之，如果H的陪集中不存在与H中所有元素都对易的群元的话，那么H的分类方式与其在G中的分类方式必然不会完全相同。（例如）(提示：所谓分类方式相同是指，在H中如果两个元素共轭的话，则它们在G中也共轭，同时H中不共轭的两个元素在G中也不共轭)4.2 找出点群O的所有子群，并判明哪些是不变子群。4.3 按如图所示取向，以 {x, y, z} 为基计算T 群的表示，并判断该表示是否可约。(注意转轴的方向）4.4求点群在基 {yz, xz, xy} 下的表示矩阵，这是个可约表示还是不可约表示？如果可约将其约化4.5设是波矢 k 的波矢群，是与 k 处于同一波矢星中的波矢，试证明的波矢群与同构。4.6对于简单空间群, 设某的波矢点群的一个维不可约表示的基为，试证明，