群的直和

✍ dations ◷ 2025-10-22 09:20:15 #群论,二元运算

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

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

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

相关

  • 厂部,就汉字索引来说,是为部首之一,康熙字典214个部首中的第二十七个(两划的则为第二十一个)。简体字将廠字(俗作厰)简化为厂,两字同形。厂部归于两划部首。厂部通常是从左上方为部
  • 堡状卷云堡状卷云(学名:Cirrus castellanus,缩写: Ci cas ),是卷云的一种。堡状卷云的隆起部分相对稠密,形态呈圆球或纤维状,有时还会呈现出类似角楼或炮塔的样貌。这些隆起排成一列,下端相
  • 费米悖论费米悖论(Fermi paradox,又称费米谬论)阐述的是对地外文明存在性的过高估计和缺少相关证据之间的矛盾。 宇宙惊人的年龄和庞大的星体数量意味着,除非地球是一个特殊的例子,否则地
  • 《乱》(日语:乱,英语:Ran)是黑泽明晚年的代表作品,自莎士比亚的《李尔王》以及根据毛利元就折箭的故事改编。本片预算经费为1200万美元,这部电影在当时创下了日本电影制作费纪录。
  • 糜烂性糜烂性毒剂是一类可以导致人体皮肤、眼睛、黏膜等细胞组织溃烂的化合物。它们可以破坏细胞内的核酸及酶,使全身中毒。虽然有时被用于医学,但它们更多被用作战场上的化学武器。
  • 美高梅拉斯维加斯美高梅大酒店(MGM Grand Las Vegas)是一间位于美国内华达州拉斯维加斯赌城大道上的赌场饭店。美高梅大酒店是世界上客房数量第二多的饭店,也是全美国最大的度假村设
  • 镇宁布依族苗族自治县镇宁布依族苗族自治县,简称镇宁县,是中国贵州省安顺市下辖的自治县,位于贵州西南部,距贵州省会贵阳130千米,有高速公路连通贵阳与镇宁之间。国土面积1709平方公里,辖15乡(镇),365村
  • 锋 (气象)锋(英语:frontal surface)是指冷暖气流相遇所形成的一个面,是为冷暖气团交界面,通常也会伴随低压槽。锋面为中尺度系统。锋面依照性质分为四种,为别为冷锋、暖锋、滞留锋(或静止锋)
  • 亲鸾奖亲鸾奖(日语:親鸞賞/しんらんしょう)以日本镰仓时代著名佛教僧人亲鸾的名字命名的文学奖,由本愿寺文化兴隆财团(日语:本願寺文化興隆財団)颁奖,2000年首次颁奖,每二年一届,奖金200万日
  • 第6太阳周期第6太阳周期是从1755年开始纪录太阳黑子活动以来的第6个太阳周期 。这个周期开始于1810年12月,结束于1823年5月,持续了12.4年。在这个周期内的最大平滑黑子数(超过12个月期间