群的直和

✍ dations ◷ 2025-07-03 11:39:32 #群论,二元运算

其他有限群
对称群,
二面体群,
无限群
整数, 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}}} (等价的说只有有限个 不是单位元)。在外直和中的群运算是逐点乘法,如在平常直积中那样。

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

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

相关

  • 非洲猪瘟病毒科非洲猪瘟病毒科(学名:Asfarviridae)是双链DNA病毒中的一个科。非洲猪瘟病毒属(Asfivirus)是本科唯一的一个属,而与本科相关的Faustovirus(英语:Faustovirus)至今仍未分类。该类病毒主
  • 上升计划上升计划 (俄语:Восход,意思为“上升”或者“日出”)是一个苏联载人航天计划。上升计划是东方计划的后续,利用了东方计划被取消飞行留下的物资。上升计划的两次航天飞行
  • 胸喙亚目胸喙亚目(学名:Sternorrhyncha)是半翅目之下的三个亚目之一,包括有:蚜虫之类的物种。胸喙亚目的物种在旧的分类被归入同翅亚目,这分类现时已废止。胸喙亚目的取名源于本物种的口器
  • 松香松香是松树内含有的树脂,具可燃性,又名松脂。1990年代中上期,有大量的福建籍的商人去到各村里开办提炼松油设施,向当地农民采集收购松树之松香,其好处是当地农民增多经济来源,其坏
  • Production I.GProduction I.G 为日本的一家动画制作公司,成立于1987年12月6日。英文字“I.G”分别取自现任社长石川光久和现任副社长兼原画师后藤隆幸的日文罗马拼音开头“I”和“G”作命
  • 卡尔弗特卡尔弗特县(Calvert County, Maryland)是美国马里兰州南部的一个县,西临帕塔克森特河,东临切萨皮克湾。面积894平方公里。根据美国2000年人口普查,共有人口86,474人。县治弗雷德
  • 托斯卡纳大区托斯卡纳(意大利语:Toscana,发音:),也译为托斯卡尼、塔斯卡尼,是意大利一个大区,拉齐奥位于其南,翁布里亚位于其东,艾米利亚-罗马涅和利古里亚在其北,西濒第勒尼安海。它经常被评价为意
  • 尼古拉·连纳维奇尼古拉·彼得罗维奇·连纳维奇(俄语:Николай Петрович Линевич,1839年1月5日(旧历1838年12月24日)-1908年4月23日(旧历4月10日)),俄罗斯帝国陆军将领。出生在乌
  • 北约翰斯 (阿拉巴马州)北约翰斯(英语:North Johns)是美国阿拉巴马州下属的一座城市。面积约为0.2平方英里(约合 0.53平方公里)。根据2010年美国人口普查,该市有人口145人,人口密度为714.29/平方英里(约合2
  • 硬糕硬糕为浙江省舟山市特有的一种传统糕点,传统产地是长涂镇的倭井潭地区,故又俗称倭井潭硬糕。与一般中国传统糕点都较为酥软不同,倭井潭硬糕以又硬又香著称。历史上甚至需要用锤