初等群论

✍ dations ◷ 2025-10-23 01:59:44 #群论

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

在数学中,群 <,*> 定义为集合 和叫做“乘积”并指示为中缀 "*" 的 上的二元运算。乘积服从下列规则(也叫做公理)。设 , 和 是 的任意元素。则:

阿贝尔群还服从额外的规则:

封闭性是二元运算定义的一部分,因此 A1 经常省略。

= {1,-1} 是乘法下的一个群,因为对于所有 中的元素 , , :

整数集 Z 和实数集 R 是在加法 '+' 下的群,对于所有 Z 或者 R 中的元素 , 和 :

实数集 R 不是乘法 '*' 下的群。对于所有 R 中的 , 和 :

实数集去除 0 即 R# 是在乘法 '*' 下的群。

A3 和 A4 可以被替代为:

还可以替代为:

这些看起来更弱的公理对天然的蕴含于 A3 和 A4 中。我们现在证明逆过来也是真的。

定理: A1 和 A2 ,A3’ 和 A4’ 蕴含 A3 和 A4。

。假设给出了左单位元 和 中的 ,根据 A4’存在一个 使得 * = 。

我们欲证明的是 * = 。根据 A4’存在 中的一个 有着:

所以:

这确立了 A4。

这确立了 A3。

定理: A1 和 A2,A3’’和 A4’’蕴含 A3 和 A4。

。类似上述。

定理 1.4: 群 <,*> 的单位元是唯一的。

: 假设 和 是 的两个单位元。则

在讨论和比较不同的群的时候, 指示特定群 <,*> 的唯一单位元。

定理 1.5: <,*> 中每个元素的逆元是唯一的。

: 假设 和 是 的元素 的两个逆元。则

没有歧义性的,对于所有 中的,我们指示 的唯一逆元为  -1。

定理 1.3: 对于所有 中元素 ,,存在唯一的 中的 使得 * = 。

。的确存在至少一个这种 ,因为如果我们设 =  -1*,则 在 中(通过 A1,闭包)并且:

为了证明这是唯一性的,如果 * = ,则

类似的,对于所有 中的 ,,存在唯一的一个 中的 使得 * = 。

定理 1.6: 对于所有群 中的元素 ,( -1) -1 = 。

。 -1* =  -1*( -1) -1=。(A4)

由定理 1.5知定理1.6成立。

定理 1.7: 对于所有群 中元素 ,,(*) -1 =  -1* -1。

。(*)*( -1* -1) = *(* -1)* -1 = *e* -1 = * -1 = 。结论得出自定理 1.4。

定理 1.8: 对于所有群 中的元素 , 和 ,如果 * = *,则 = ;并且如果 * = *,则 = 。

。如果 * = * 则:

如果 * = * 则

对于 n Z {\displaystyle n\in \mathbb {Z} } ,*> 中的 , n , m Z {\displaystyle n,m\in \mathbb {Z} } 使用了加法符号,我们有:

并且:

群 中的元素 的阶是最小正整数 使得 。有些它写为“o()=”。 可以是无限的。

定理 1.10: 其非平凡元素都是 2 阶的群是阿贝尔群。换句话说,如果所有群 中的元素 都有 *= 成立,则对于所有 中的 ,,* = *。


。设 , 是群 中任何 2 个元素。由 公理 A1 可知 (*) 是群 的元素,所以 (*) 是群 的 2 阶元素

因为群运算 * 是符合交换律的,这个群是阿贝尔群。


。设 , 是群 中任何 2 个元素。通过 A1,* 也是 的成员。使用给定条件,我们知道 (*)*(*) = 。因此:

因为群运算 * 是符合交换律的,这个群是阿贝尔群。

群 的阶,通常指示为 || 或偶尔指示为 o(),在 <,*> 是有限群的情况下是集合 中元素的数目。如果 是无限集合,则群 <,*> 有等于 的势的阶,而且是无限群。

的子集 被称为群 <,*> 的子群,如果使用相同的算子 "*",并限制于子集 内, 满足群公理。因此如果 是 <,*> 的子群,则 <,*> 也是群,并在限制于 内,满足上述定理。子群 的阶是 中元素的数目。

群 的真子群是不同于 的子群。 的非平凡子群(通常)是包含至少一个不是 的元素的 的真子集。

定理 2.1: 如果 是 <,*> 的子群,则 在 中的单位元 同一于 (,*) 中的单位元 。

。如果 在 中,则 * = ;因为 必定也在 中,* = ;所以通过定理 1.4, = 。

定理 2.2: 如果 是 的子群,并且 是 的元素,则 在 中的逆元同一于 在 中的逆元。

。设 和 是 的元素,使得 * = ;因为 必定也在 中,* -1 = ;所以通过定理 1.5, =  -1。

给定 的子集 ,我们经常想要确定 是否也是 的子群。一个手头的定理对无限群和有限群都是有效的:

定理 2.3: 如果 是 的非空子集,则 是 的子群,当且仅当对于所有 中的 ,,* -1 在 中。

。如果对于所有 中的 , ,* -1 在 中,则

因此,满足了闭包、单位元和逆元公理,而结合律是继承来的,所以 是子群。

反过来说,如果 是 的子群,则它满足群公理。

两个或更多个子群的交集也是子群。

定理 2.4: 群 的子群的任何非空集合的交集是子群。

。设 {} 是 的子群的集合,并设 K = ∩{}。通过定理 2.1, 是所有 的成员;因此 非空。如果 和 是 的两个元素,则对于所有 ,

因此对于 中的所有 , ,* -1 在 中。接着通过前面的定理,=∩{} 是 的子群;并且事实上 是每个 的子群。

给定一个群 <,*>,定义 * 为 ², ***...* ( 次)为 ,并定义 0 = 。类似的,定义  - 为 ( -1)。则我们有:

定理 2.5: 设 是群 (,*) 的元素。则集合 { : 是整数 } 是 的子群。

。这种类型的子群叫做循环子群; 的幂的子群经常写为 <>,并称为 生成 <>。

如果 和 是 的子集,并且 是 的元素,我们写“*”来提及形如 * 的所有元素构成的 的子集,这里的 是 的元素;类似的,我们写“*”来指示形如 * 的元素的集合。我们写 * 表示形如 * 的元素构成的 的子集,这里的 是 的元素而 是 的元素。

如果 是 的子群,则 对于某个 中的 的左陪集是集合 *。右陪集是集合 *。

如果 是 的子群,则下面陈述而不带证明的有用定理对所有陪集都成立:

定义群 的子群 的指标(写为“”)为 在 中不同的左陪集的数目。

从这些定理,我们可以推导出重要的拉格朗日定理,它有关于群的子群的阶:

对于有限群,它可以重申为:

相关

  • 阿修罗道阿修罗(梵语:असुर,Asura;巴利语:असुर,Asura),亦译为阿须罗、阿索罗、阿苏罗、阿素落、阿须伦、阿须轮,简称修罗,有汉字词组“修罗场”等。汉地直译有非天、非酒、无端正等错误
  • 爱琴海板块爱琴海板块是地中海东部的小型板块,位于希腊南部和土耳其西部,南面边缘是克里特以南的隐没带,南面的非洲板块沉入爱琴海板块,而北面与欧亚大陆板块之间的分离板块边缘则形成科林
  • 刹车制动是指一种令交通工具从前进中停止下来的制动系统,透过使车辆车轮的转动减慢来停车。一般来说,都是透过以生铁或复合陶瓷(材料有:碳、二氧化硅或Kevlar纤维等)制成的制动碟,连接
  • 朝海浩一郎朝海浩一郎(日语:朝海浩一郎/あさかい こういちろう;英语:Kōichirō Asakai;1906年3月15日-1995年9月9日)是日本的外交官,曾任连络调整中央事务局(日语:連絡調整中央事務局)长官、日本
  • 哈尼语哈尼语是哈尼族的语言,属于汉藏语系彝语支,主要分布在云南南部、缅甸掸邦以及老挝、泰国、越南的北部。分三大方言。其中哈雅方言和豪白方言之间差别较小。另外有一些较小的方
  • ZZ TopZZ Top是1969年成立于美国德克萨斯州休斯敦的一个摇滚乐队。当前的成员有贝斯手兼主唱Dusty Hill(英语:Dusty Hill)、吉他手兼主唱Billy Gibbons(英语:Billy Gibbons)(也是乐队队长
  • 圣奥古斯丁县 (得克萨斯州)圣奥古斯丁县(San Augustine County, Texas)是美国德克萨斯州的一个县。面积1,534平方公里。根据美国2000年人口普查,共有人口8,946人。县治圣奥古斯丁(San Augustine)。成立于18
  • 布罗德曼45区布罗德曼45区(简称BA45)是大脑皮质的额叶的一个细胞结构分区。它位于额叶的外侧部,布罗德曼44区之前,布罗德曼9区之下,与布罗德曼46区之后。BA44的上界为额下沟,后界为外侧沟(Late
  • 西浦智仁西浦智仁(日语:西浦 智仁,罗马字:Nishiura Tomohito),日本作曲家,音效总监,主要创作电子游戏音乐。他主要为Level-5开发的电子游戏创作音乐。他已为Level-5创作多部游戏音乐,包括雷顿
  • 低胸装低胸装,又称露肩领、低领装、袒胸装(法语:Décolletage 或 Décolleté),是一种低胸领口的女性衣服,尤其是在展示并强调乳沟。穿着低胸装的女性在一定程度上,会露出胸部、颈部、背