第二章 晶体结构2.3.docVIP

2.3 群和群表示 1 群论基础 群的定义 凡是满足下面几个条件的元素结合或操作集合均称为群，常用G表示。如果等表示群G中所包含的元素或操作，即，或集合必须满足下述条件： (1) 群中任何一对操作或元素与的乘积是唯一的和单值的，仍是集合中的一个操作或元素， 。 (2.3.1) (2) 群中的元素集合一定要包含不变元素 (或操作)，常以E表示，，E具有下列特性： ， (2.3.2) 其中是群G中的任何一个元素。 (3) 任何三个元素 (或操作) 的乘积满足组合定则 (2.3.3) (4) 如果群中包含元素，也一定包含的逆元素， 。 (2.3.4) 条件 (1) 所得的乘积与及的次序有关，意味着，依次作用的结果与作用结果相同，如果，则元素与是对易的。在一般情况下，群中的任何两个元素与不一定对易。 如果群G的元素 (或操作) 的个数是有限的，这个群称为有限群。 有限群的基本性质 (1) 群阶 有限群中各不相同元素的数目称为群阶，用g表示。 (2) 乘积表 常用乘积表来记述群中所有元素 (或操作) 之间的乘积，表2.3.1给出了一个六阶群的乘积表。 表2.3.1 六阶群的乘积表 E A1 A2 A3 A4 A5 E E A1 A2 A3 A4 A5 A1 A1 E A4 A5 A2 A3 A2 A2 A5 E A4 A3 A1 A3 A3 A4 A5 E A1 A2 A4 A4 A3 A1 A2 A5 E A5 A5 A2 A3 A1 E A4 可以看出，表中的每一行及每一列中，各元素只出现一次。 (3) 元素的阶 如果，则满足的最小正整数称为元素的阶。在表2.3.1所示的六阶群中，由于，所以，都是二阶的元素；，都是三阶的元素。 (4) 共轭元素 如果都是群G的元素，则，，，如果，则元素称为的共轭元素。共轭的元素有相同的阶。 (4) 类 群中彼此共轭的元素组成类。仍以表2.4.1所示的六阶群为例，根据乘积表，可得到下面的结果： 因此，在这个六阶群中，组成一类，组成另一类，不变元素E则自成一类，可表示成 (2.3.5) 同类的元素有相同的阶。 子群 如果在群G的元素集合中能找到某一部分元素，则称为子集合H，用符号来表示，而且子集合H的元素组成群，则H称为G的子群。如果子集合H是G的子群，H的元素只有满足下面的两个条件： (1) H中的任何两个元素的乘积仍在H之中； (2) H中的每一个元素的逆元素仍在H之中。 以表2.4.1的六阶群为例，子集合及都是G的子群。可以按照类的定义将子群的元素分类，容易证明子群中的三个元素各成一类，而在群G中是同类的，由此可知在群G中同属一类的元素，在子群H中不一定再属同一类。 陪集 设子群，H的元素集合是如有，但不在H中，则集合称为元素N所产生的子群H的左陪集，而集合称为元素N所产生的子群H的右陪集。 内积 陪集中的元素互不相同，也不同于子群的元素；同一个子群的两个右陪集 (或左陪集) 的元素完全相同，或完全不同；子群H的阶h是群G阶g的因子，整数称为子群的指数。 如果群G中有两组元素集合， (2.3.6) 称为两个集合的内积 (又名正常乘积)。在上式右方的集合中只取不同的元素。表2.4.1的六阶群中和的内积为。 共轭子群 设子群，。如，取，即元素集合，那么也是G的子群，并称之为G中的共轭子群。表2.4.1的六阶群中子群和子群是共轭子群。 不变子群 如果对于所有在G中的元素，元素集合与H相同，则H称为不变子群，又名自轭子群或正则子群。可以证明表2.4.1的六阶群的子群即不变子群。 不变子群的左陪集与右陪集相等，如表2.4.1的六阶群中不变子群的右陪集和左陪集是完全相同的；不变子群的两个左陪集的内乘积也是一个左陪集；不变子群与其任何陪集的内乘积仍是该陪集本身。 商群 如将不变子群及其所有不同的陪集等都看作元素，则这些元素也构成群，而元素之间的乘积则相应地为陪集之间的内乘积。这一元素集合称为商群。由于，故常以表示商群。 在表2.3.1的六阶群的情况下，为不变子群，取，，和就是商群的元素，。此商群的乘积表为 表2.3.2 商群乘积表 商群具有下列性质： (1) 商群的不变元素即不变子群； (2) 如商群中有，也必有，上例中； (3) 商群的阶等于不变子群的指数； (4) 商群的元素包含不