群的初步知识.PDF

群的初步知识 这篇笔记里，我们介绍群论的基本概念和例子。这里的术语都是标准的。 定义 我们所谓的集合上的一个群结构，包括如下信息：（1）一个特定的元素 ∈ ，称 ( ) 为恒等元；（2 ）一个二目运算 × → 称作乘法，记作 , ℎ ↦ ℎ ；（3 ）以及一个单目 运算 → 称作取逆，记作: ↦ 。而且，它们被要求满足：（1）恒等元是乘法的左右单 位，即对于任意 ∈ ，有 = = ；（2 ）乘法满足结合律，即对于任意, ℎ, ∈ ，有 ( ) ( ) ℎ = ℎ ；（3 ）取逆运算给出乘法的左右逆元，即对于任意 ∈ ，有 = = 。 指定了群结构的集合就称为一个抽象的群。 练习 验证就任何群而言，其乘法的左右单位必唯一，其乘法的左右逆元必唯一，乘积的 取逆等于取逆的反序乘积，取逆再取逆等于恒同。 例 设 是一个集合，则全体可逆映射σ: → 组成一个群 Perm() ，即 的置换群 （group of permutations ）：恒同变换是其恒等元，映射的复合是其乘法，映射的取逆是取逆运算。 特别地，有限集合{1,2 ⋯ , } 的置换群称为 元对称群 （symmetric group on elements ），通 常记作 。（我们之前也定义过度量空间中的图形的保距对称群，由于上下文完全不同，但 愿不至于混淆。） 中的元素常常记作 σ = 1 2 ⋯ ⋯ ( ) 的形式，下边行是上边行的一个排列，意思是 = 。因为我们的映射遵循左式记号， ( )( ) ( ) 即 = ( ) ，所以，记号的乘法形如： 1 2 3 4 1 2 3 4 1 2 3 4 1 3 2 4 4 3 1 2 = 4 2 1 3 ( ) 例 设 是一个集合，是其子集，则所有保持不变的置换（即满足σ = 者）构成也一 ( ) 个群，称为置换群 Perm 的关于 的稳定化子群 （stabilizer ）。这个构造给出置换群的许多 子群的例子，但不是全部。比如轮换 （rotation） 1 2 ⋯ − 1 τ = 2 3 ⋯ 1 生成的群实际上由置换Id, , , ⋯ , 构成，它却没有非平凡的不变子集合。和它同构的群 称为 阶循环群（cyclic group of order ），通常记作 。（就有限群而言，其作为集合的元素 个数即称为这个群的阶。） 定义 两个群 、 之间的一个 同态就是一个保持乘法的映射: → ，即对于任意 ( ) , ∈ ，有 = ()( ) 。 练习 验证群同态把恒等元映到恒等元，互逆元素映到互逆元素。 例 设 是一个群， 是一个集合。群 在 上的一个作用 （action ）是这样的一个映射 ( ) ( ) ( )