群论课后答案.docx

群论课后答案 【篇一：群论习题】 概念 *1.1 下列定义了乘法运算的集合，哪些构成了群，哪些不构成群， 并说明理由。 在复数加法下全体复数的集合 在矩阵乘法下所有幺正矩阵的集合 在数的减法下所有整数的集合 在数的乘法下所有正实数的集合 提示：任二群元 a 和 b：a?b?a?e?b?a??a?b?2?b?b?a。 验证矩阵集合： ??10??0??2???,,?????2?01??0???0????0??01??0?2??0?,? ?,?2?,?10????0???????????其中?，0??????ei2?3 在矩阵 乘法下构成群，并且与 d3 群同构。 提示：先写出该集合的乘法表，便可证得其自封闭性，并能找每个元素的逆元和单位元。再和 d3 群的乘法表对比就可发现同构关系。 验证集合 ????1?????1??21????????????i??,?c???c,c 为光速在乘法 l?l??l?,????12332?112??2????2?c1???c??c2 之下构成 abel 群 （注：改群成为 lorentz 群） 提示：只需证明?c??3?c 条件成立，则 l??3?也必属于该集合，得到 ??0 时 l(0)对应单位元，的集合的封闭性。?3 中的?2 和?1 的地位对称， 所以 l??1?l??2??l??2?l??1?。 *1.5 证明群的任何两个左陪集或者完全相等，或者没有任何公共元素。 1.6 证明有限群 g 的非空子集 h 为子群的充要条件是：若 a,b∈h， 则 ab∈h。提示：易证必要条件成立，证充分条件时，要用到： c=a,c=b 则 cc∈h，进而 cm∈h（m 为正整数）。 *1.7 证明指数为 2 的子群必是正规子群。 提示：先要理解子群指数这一概念 *1.8 证明群阶为质数的有限群必为 abel 群，并且必为循环群。 提示：证明中须用到子群的阶是该群的阶的因子，每一类中元素的数目也必为该群阶的因子，以及单位元自成一类等定理和推论。 1.9 如果 h 是群 g 的正规子群，而 n 又是 h 的正规子群，那么是否n 也一定是 g 的正规子群？ 提示：不一定是，例如，考虑 c4v ，c2v 和{e mx}三群的关系。 *1.10 设 h 是 g 的子群，证明 a 和 b 同属于 h 的同一个左陪集的充要条件是 a?1b?h。 证明 h 是 g 的正规子群的充要条件是：h 整类地包含 g 的元素。提示：见课堂笔记或见徐、喀书 p26 之证明。 若群 g 和 g’同态，则阶较大的群 g 中与阶较小的群 g’的单位元e’对应的那些元素，称为这一同态关系的同态核，记作 p 。证明：p 是 g 的正规子群。 提示：见徐、喀书 p29 证明。 *1.13 设 h 是 g 的子群，对于任一元素 g?g，证明集合 ghg-1={ghg- 1, h?h}也是 g 的子群。（该群称为 h 的共轭子群） 证明四阶群只有两种，一种是循环群，另一种是非循环的 abel 群。 提示：写出四阶群所有可能的乘法表，见笔记。 证明直积群的两个直积因子群必为直积群的正规子群。 证明直积群 g?ga?gb 的类的数目等于直因子群 ga 和 gb 的类的个数的乘积。 提示：见徐、喀书 p31 或课堂笔记。 证明：（1）群的单位元核逆元都是唯一的。 （2）设 f 和 g 是群的任二元素，则?f?g??1?g?1?f?1 证明：二阶循环群与四阶循环群同态。 设直积群 g=h?n 证明：（a）g 共轭类数等于 h 和 n 的共轭类数的乘积。 （b）n?g h (c)g∽ h g∽ n 第二章 群的表示理论 2.1 为什么对于任一群都有单位表示做为其一种不可约表示。 提示：一维的单位表示对应平庸群{1}。该群和任一群有同态表示。 *2.2 证明有限群任何一维表示的表示矩阵的模必为 1。 *2.3 证明除恒等表示外，有限群的任一不可约表示的特征标对群元素求和为零。 提示：利用不可约表示特征标的正交性关系，并令其中一个表示为 单位表示。 对有限群的某一表示的所有表示矩阵都乘以同一常数后组成的矩 阵集合是否还能构成该群的一个表示。 dj 是有限群 g 的一个不可约表示，证明：g 中同一类元素在 dj 上的表示矩阵之和必为单位矩阵的常数倍。提示：直接利用舒尔引理可证。 *2.6 求 d 3 群在三维实空间上的矩阵表示，三维实空间的基矢为(e1,e2,e3)并判断该表示是否是不可约表示。 提示：利用 gei??ejdji，g 是 d 3 群的群元，它可以变换 3 个基矢。 j????? ??22u(r)u(r2.7 某线性空间的基函数为{1=x?y,2)=2xy}，该空间是否构 成 c3v 群的封闭性空间？ 提示：见教材《群及其表示》p49 之相关论述。