初等群论

✍ dations ◷ 2025-04-03 17:18:32 #群论

其他有限群
对称群,
二面体群,
无限群
整数, 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: 设 是群 (,*) 的元素。则集合 { : 是整数 } 是 的子群。

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

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

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

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

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

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

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

相关

  • 武陵山武陵山脉地处中国中南部,跨越湖南省、湖北省、贵州省和重庆市四地,长度约420公里,一般海拔高度1000米以上,面积约10万平方公里。武陵山脉为东西走向,主峰为梵净山;最高峰为凤凰山
  • 桃园捷运公路总局 民用航空局 高速公路局 航港局 铁道局台湾铁路管理局 中华邮政公司 台湾港务公司 桃园国际机场公司国道 省道 县道 - 市道(列表) 乡道 - 区道 专用公路 编号与名称对
  • 乌鬼井乌鬼井位于台南市北区,于民国七十四年(1985年)11月27日公告为三级古迹。据说是荷兰东印度公司命令印尼班达岛土人所盖,而因为班达岛土人肤色黝黑又颇识水性,遂被称作“乌鬼”,井名
  • 公民权利公民权利和政治权利(英语:Civil and political rights)旨在保护个人政治自由免受政府和私人组织的侵犯,保障个人能够参与国家的公民和政治生活,享有平等的权利,不受歧视或政治压迫
  • 河南坠子河南坠子俗称坠子书、简板书或响板书,是发源自河南省流行于豫、鲁、皖、京、津等地的一种以坠琴(古称坠子弦)伴奏的说唱艺术。因源自于河南省,演唱语音又是中原官话的河南方言,同
  • 欧亚水獭(L. lutra)欧亚水獭(学名:Lutra lutra),或简称水獭,是亚洲及欧洲的一种水獭,栖息在淡水环境。它们与北美水獭不同的是颈部较短、脸面较阔、耳朵相距较远及尾巴较长。欧亚水獭(Common otter)
  • 噪鸦属见正文噪鸦属(学名:),是鸦科的一属。分布在亚欧大陆及北美洲的北部地区,从斯堪的纳维亚到亚洲海岸。在中国的四川省北部也孤立存在此物种。属下共有3种鸟类。它们与Cyanopica属相
  • 翁贝托一世翁贝托一世(意大利语:Umberto I ,1844年3月14日-1900年7月29日),萨伏依公爵和意大利国王(1878年1月9日-1900年7月29日在位)。他是维托里奥·埃马努埃莱二世之子,后被一名无政府主义者
  • 4ten4ten(韩语:포텐)是韩国Jungle娱乐于2014年8月28日推出的女子流行音乐团体,现任成员为队长Hyeji、Hyejin、Heeo及Yun。
  • 咖啡醛咖啡醛(英语:Caffeic aldehyde,IUPAC名:()-3-(3,4-二羟基苯基)丙-2-烯醛,()-3-(3,4-Dihydroxyphenyl)prop-2-enal)是一种酚醛类天然有机化合物,可在垂序商陆(学名,也称“美洲商陆”,Am