群的直和

✍ dations ◷ 2025-10-31 02:14:51 #群论,二元运算

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

在数学中,群 叫做子群的集合 {} 的直和,如果

如果 是子群 和 的直和,则我们写为 = + ;如果 是子群集合 {} 的直和,我们经常写为 = ∑。不严格的说,直和同构于子群的弱直积。

在抽象代数中,这种构造方法可以推广为向量空间、模和其他结构的直和;详情参见条目直和。

这个符号是符合交换律的;所以在两个子群的直和的情况下, = + = + 。它还是符合结合律的,在如果 = + 并且 = + 则 = + ( + ) = + + 的意义上。

可以表达为非平凡子群的直和的群被叫做“可分解”的;否则叫做“不可分解”的。

如果 = + ,则可以证明:

上述断言可以推广到 = ∑ 的情况,这里的 {i} 是子群的有限集合。

注意类似于直积,这里的每个 可以唯一的表达为

因为 * = * 对于所有 ≠ ,可推出在直和中的元素的乘积同构于对应的在直积中的元素的乘积;因此对于子群的有限集合,∑ 同构于直积 ×{}。

直和对于群不是唯一的;例如在克莱因四元群 4 = 2 × 2 中,我们有

但是,Remak-Krull-Schmidt定理声称给定有限群 = ∑ = ∑,这里的每个 和每个 都是不平凡的并且不可分解的,则两直和分别涉及到的子群在重新排序后同构意义下是等价的。

Remak-Krull-Schmidt 定理对无限群无效,所以在无限 = + = + 的情况下,即使在所有子群都是非平凡的并且不可分解的,我们不能假定 同构于要么 要么 。

如果我们希望在 是子群的无限(可能不可数)集合的直和的情况下描述上述性质,我们需要更加的小心。

如果 是群的集合的笛卡尔积 ∏{} 的元素,设 是在乘积中的 的第 个元素。 群的集合 {} 的外直和(写为 ∑{}) 是 ∏{} 的子集,这里对于每个 ∑{} 的元素 , 是单位元 e H i {\displaystyle e_{H_{i}}} (等价的说只有有限个 不是单位元)。在外直和中的群运算是逐点乘法,如在平常直积中那样。

应当容易的明白这个子集确实形成了群;对于群 的无限集合,外直和同一于直积。

那么如果 = ∑,则 同构于 ∑{}。因此在某种意义上,直和是“内部”外直和。我们有了对于每个 中的元素 ,有一个唯一有限集合 和唯一的 { : ∈ } 使得 = ∏ { : ∈ }。

相关

  • 卡罗莱纳文加罗林语是一种南岛语言,起源于加罗林群岛,但主要为北马里亚纳群岛居民所使用。加罗林人将该语言与英语一起作为常用语言。世界上约有3,100名母语人士。
  • 担心担心、担忧或忧虑代表思想、形象及负面情绪,人类会做出一些心理尝试以防止受到潜在的威胁。处于担心状态可引致焦虑、抑郁及毁掉现状。过量的担心可引起广泛性焦虑症。没有不
  • 博登湖坐标:47°39′N 9°19′E / 47.650°N 9.317°E / 47.650; 9.317博登湖(德语:Bodensee),也称康斯坦茨湖(英语:Lake Constance),位于瑞士、奥地利和德国三国交界处,由三国共同管理,湖区
  • 牛肝菌目分类位置未定的属牛肝菌目包含有约1300种的真菌。牛肝菌目原来只有牛肝菌科一个科,后来经过分子生物学测定,将许多其他的科划入本目。本目真菌是属于外生菌根的大型真菌,但也有
  • 硼烷硼烷(Borane)即硼氢化合物,因其物理性质类似于烷烃,故称之为硼烷。在已知的20多种中性硼烷中,最简单的是乙硼烷 B2H6。甲硼烷只在气态状态中发现。按照硼氢个数比,中性硼烷一般可
  • 玛氏食品玛氏食品(英语:Mars, Inc.)是美国的一个世界级的食品加工公司,成立于1911年。在1920年代,玛氏销售的“Milky Way Bar”在美国大受欢迎,从此一举成名。玛氏还是一个家庭企业。玛氏
  • 穆胡鲁穆胡鲁(Muhuru)是一种传闻出没于非洲肯尼亚的神秘生物,它通常被描述为一只四足巨型野兽,背上长着剑龙般的骨板,尾部则长着一个尾锤。目前已知第一例有记载的目击是传教士Cal Bomb
  • 17号线17号线可以指:
  • 威廉·亨利·史密斯海军上将威廉·亨利·史密斯,KFM(英语:Order of Saint Ferdinand and of Merit),DCL(英语:Doctor of Civil Law),FRS,FRAS,FRGS,FSA(英语:Fellow of the Society of Antiquaries of London
  • 库沃河库沃河(葡萄牙语:)是安哥拉中部的一条河流,河口位于南宽扎省的大西洋本格拉湾海域。。库沃河是其上游名称,下游称作Keve/Queve。河流自Binga瀑布群到加贝拉可通航。主要支流为Cus