博士-群理论作业.doc

PAGE PAGE 16 第一章 抽象群理论 1．1 证明下面的集合是在所给的合成法则下的群，并根据其性质对其加以分类（P27）： （i）在加法下所有有理数的集合； （ii）在数乘下所有非零有理数的集合； （iii）在加法下所有复数的集合； （iv）在数乘下所有非零复数的集合； （v）在矩阵乘法下下列八个矩阵组成的集合； （vi）在矩阵乘法下所有n阶么正矩阵的集合； （vii）在加法下所有偶数的集合； （viii）在数乘下所有绝对值为1的复数的集合。 证明： （i）封闭性 有理数的加法仍为有理数； 单位元 0元素，即任意有理数与0相加仍为有理数； 逆元 任意有理数与其相反数相加为单位元0即； 结合律 有理数的加法满足结合律即。 （ii）封闭性 任意非零有理数相乘仍为非零有理数； 单位元 1元素，任意非零有理数与之相乘不变； 逆元 任意非零有理数与其倒数相乘为单位元1； 结合律 非零有理数相乘满足此定律。 （iii）封闭性 复数相加则其实部、虚部分别相加，所得结果仍然为复数； 单位元 0元素，任意复数与之相加不变； 逆元 任意复数与另一实部、虚部分别与其实部、虚部相反的复数相加，所得结果为单位元0； 结合律 复数相加满足此定律。 （iv）封闭性 任意非零复数相乘仍为非零复数； 单位元 1元素，任意非零复数与之相乘不变； 逆元 任意非零复数与其倒数相乘为单位元1； 结合律 非零复数相乘满足此定律。 （v），，，，，，， 封闭性 此八个矩阵中的任意两个矩阵相乘仍为其中的矩阵之一，例如，等； 单位元 元素，八个矩阵中的任意矩阵与之相加不变，例如，等； 逆元 八个矩阵中的任意矩阵与其中唯一的矩阵相乘，所得结果为单位矩阵，例如，，； 结合律 2阶方阵的乘法满足此定律。 （vi）封闭性 由n阶么正矩阵的意义、有、，此即 ，由相关的数学公式（量子力学P253、同济P43）得，所以两n阶么正矩阵的乘积仍为n阶么正矩阵； 单位元 n阶单位矩阵，任意n阶么正矩阵与之相乘不变； 逆元 n阶么正矩阵不可能为0矩阵（根据其意义），故其必定有唯一的逆，任意n阶么正矩阵与其逆元相乘为n阶单位矩阵； 结合律 有意义的矩阵乘法满足结合律，而这里的矩阵为n阶么正矩阵。 （vii）封闭性 任意两个偶数相加仍为偶数； 单位元 0元素（其为偶数），任意偶数与之相加不变； 逆元 任意偶数与其相反数相加为单位元0； 结合律 偶数相加满足此定律。 （viii）封闭性 对绝对值为1的复数有和，且和，两数相乘时，其模为 ，即两绝对值为1的复数相乘仍然为绝对值为1的复数，满足封闭性； 单位元 1元素，任意绝对值为1的复数与之相乘不变； 逆元 任意绝对值为1的复数与其倒数相乘为单位元1，即； 结合律 绝对值为1的复数相乘满足此定律。 1．2 证明下面的集合不是在所给的合成法则下的群，它们没有满足哪些群公理？ （i）在乘法下所有实数的集合； （ii）在加法下所有非负实数的集合； （iii）在(a)乘法下和(b)加法下所有奇数的集合； （iv）在乘法下，以P为模（P不是素数）(P－1）的集合。 解：群是满足以下四个公理的元素的集合： （1）封闭性：G中的任意两个元素A和B在给定法则下合成得到的元素仍然属于G，即。用符号表述就是： （2）存在单位元素（单位元或恒等元），使得对所有的，。 用符号表示就是： （3）可逆性：对任意元素，存在一个唯一的元素，使得。用符号表述是：。 （4）满足结合律：即对任意，； 符号表述为：。 因此，可知； （i）该集合中有一元素0，与任何其他元素合成结果都是0。并且元素0没有逆元。 （ii）不满足群的可逆性公理。也就是说在加法合成法则下，该集合中没有元素能够满足。 （iii）(a)在乘法下，所有奇数的集合不是群，不满足群的“可逆性”公理；(b)在加法下所有奇数的合成必定不是奇数，不满足群的“封闭性”公理。 （iv）不满足群的“存在单位元”、“可逆性”、“封闭性”公理。具体见p4下注释。 1．3（a）试问下面三个矩阵是否构成群（在矩阵乘法下）： 对这些矩阵至少要添加几个矩阵才能构成群？求出这些增加的矩阵，并写出乘法表和类。此群是否与或或两者同构？ （b）对上面得到的群添加一个矩阵，至少要再增加几个矩阵，才能构成群。证明此群是8阶群并与同构。（这一事实在第三章要用到）。 解：（a）因为，，所以，即题设条件能构成一个四阶循环群。即只要添加一个矩阵、和就能构成循环群（经过运算可证明，由可知与互逆）。故添加的矩阵是：