代数学引论（聂灵沼 丁石孙）课件
3星 · 超过75%的资源 需积分: 50 163 浏览量
2009-10-20
23:29:48
上传
评论 8
收藏 104KB PDF 举报 
Lecture 5: Lagrange Theorem and Isomorphism of Groups
♦ 陪集：设H为群G的子群，对任意的a ∈ G, 定义
aH =: {a ∗ h|h ∈ H} ⊂ G,
称集合aH为G的关于H的一个左陪集。同理可以定义右陪集
Ha =: {h ∗ a|h ∈ H} ⊂ G.
r Remark:
1) aH一般不在是G的子群,事实上可以证明aH为子群当且仅当aH =
H;
2)aH = H ⇔ a ∈ H;
3) h → ah给出了H到aH的一个一一的映射，特别的每个左（右）陪集
与H的元素个数相同。
I Lemma: 设H < G, 则H的任意两个左（右）陪集或者相等或者交集为
空。
Proof. 假设aH∩bH 6= ∅, 我们有x ∈ aH∩bH, x = a∗h
1
= b∗h
2
, h
1
, h
2
∈
H ⇒ a = bh
2
h
−1
1
, b = ah
1
h
−1
2
。对任意的y ∈ aH, y = a ∗ h = bh
2
h
−1
1
h ∈
bH，i.e. aH ⊂ bH。同理可证bH ⊂ aH，我们有aH = bH。 ¤
F Remark: 1)由上述命题可知子群H < G可以诱导G上的一个等价关
系φ：
aφb ⇔ ∃c ∈ G, a, b ∈ cH.
2) G = ∪
a∈G
aH，由上述命题可知去掉{aH}中重复出现的多余的左陪
集则确定集合G上的一个划分。易知此划分与1)中关系φ对应。
♦ 阶：
♦ 群G的阶：群G中元素的个数称为群G的阶，记为|G|。若|G| < ∞，则
称G为有限群（注意与有限生成的群概念的区别），反之称G为无限
群。
♦ 元素的阶：对任意的a ∈ G，称子群< a >< G的阶为元素a的阶，记
为o(a)。当o(a) < ∞时，o(a)为最小的正整数d，使得a
d
= e。
♦ 若存在a ∈ G使得G =< a >，则称G为循环群。
N Example: 1)(Z, +)为无限循环群，Z的子群nZ亦为循环群。
2) (Z
n
, +)为有限循环群，|Z
n
| = n。
3)二面体群D
n
为有限群，|D
n
| = 2n。试求D
n
中元素的阶。
I
Theorem(Lagrange): 设G为有限群，H为G的子群，则|H|整除|G|。
Proof. 因为G = ∪
a∈G
aH，而|H| ≥ 1且G为有限群，由陪集要么相等要
么相交为空集知，存在a
1
, · · · a
r
使得G = ∪
r
i=1
a
i
H，其中a
i
H两两互不
相交。由|a
i
H| = |H|，我们有|G| = r|H|。 ¤
F Remark: 设H < G，H的不同的左（右）陪集的个数r称为H在G中的
指数。
I Corollary: 设G为有限群，则G中的每个元素的阶一定为|G|的因子，i.e.
a
|G|
= e。
1
mathshuqiang
- 粉丝: 1
- 资源: 3
最新资源
- springboot-mavenBaseDemo 内容包含：springboot的maven基础状态，1.8JDK可以直接运行
- otis rsl远程串行接口协议标准.pdf
- buildx构建镜像时所需的镜像文件
- F103-霸道开发板2.8寸电阻触摸屏例程.rar
- Google（高德）地图瓦片python代码下载
- Python实现输出杨辉三角形
- polsarpro官方教程、操作说明 PolSARpro v5.0 Software Training Course
- STM32 TouchGFX的使用二图片显示
- buildx镜像文件,也可以通过网上其他方式获取
- 【中级软件设计师】上午题12-软件工程（2）：单元测试、黑盒测试、白盒测试、软件运行与维护
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论2