§64子及其陪集(离散数学).pptVIP

§6.4 子 群 及 其 陪 集 6.4.1 子 群 的 定 义 6.4.2 子群的判别条件 6.4.3 循 环 群 6.4.4 陪 集 6.4.1 子 群 的 定 义 子群 设（G，·）是一个群， H ? G， 如果 (H， ·) 仍是一个群，则 （H，·）叫做（G，·）的子群。 真子群 如果G的一个子群H不等于G， 即H ? G，则（H，·）叫做 （G，·）的真子群。 Note: G的子群H的运算必须与G的运算一样， 比如， （C*，·）不是（C，+）的子群。 子群的例 例. （mZ，+）是整数加法群（Z，+） 的一个子群，其中m为整数。 例. （C，+）以（R，+）、（Q，+）、（Z，+） 为其真子群。 例. （C*，·）以（R*，·）、（Q*，·） 为其真子群。 例. 行列式等于1的所有n阶矩阵作成实数域上 所有n阶非奇异矩阵的乘法群的一个真子群。 例. n次交代群是n次对称群的一个真子群。 平凡子群 任一群G都有两个明显的子群,称为G 的平凡子群： 由其单位元素组成的子群{1}，称为G的单位子群； G本身。 其余的子群（如果有的话）称为非平 凡子群。