群的生成集合

✍ dations ◷ 2025-07-01 07:20:25 #群论

在抽象代数中,群 G {\displaystyle G} 使得所有 的所有元素都可以表达为 的元素和它们的逆元中的有限多个元素的乘积。

更一般的说,如果 是群 的子集,则 S {\displaystyle S} > 是包含所有 的元素的 的最小子群,这意味着它是包含 元素的所有子群的交集;等价的说,<> 是 中所有可以用 的元素和它们的逆元中的有限乘积表达的元素的子群。

如果 = <>,则我们称 生成 ;S 中的元素叫做生成元或群生成元。如果 是空集,则 <> 是平凡群 {},因为我们认为空乘积是单位元。

在 中只有一个单一元素 的时候,<> 通常写为 <>。在这种情况下,<> 是 的幂的循环子群,我们称这个循环群是用 生成的。与声称一个元素 生成一个群等价,还可以声称它有阶 |G|,或者说 <> 等于整个群 G。

如果 是有限的,则群 = <> 叫做有限生成群。有限生成阿贝尔群的结构特别容易描述。很多对有限生成群成立的定理对一般的群无效。

所有有限群是有限生成群因为 <> = 。整数集在加法下的群是由 <1> 和 <-1> 二者有限生成的无限群的例子,但是有理数集在加法下的群不能有限生成。不可数群都不能有限生成。

同一个群的不同子集都可以是生成子集;比如,如果 p 和 q 是 gcd(, ) = 1 的整数,则 <{, }> 还生成整数集在加法下的群(根据裴蜀等式)。

尽管有限生成群的所有商群是有限生成群为真(简单的在商群中选取生成元的像),有限生成群的子群不必须是有限生成群,例如,设 是有两个生成元 和 的自由群,(它明显是有限生成群,因为 = <{,}>),并设 是由形如 − 的所有 的元素构成子集,这里的 是自然数。因为 <> 明显同构于有可数个生成元的自由群,它不能被有限生成。但是,所有有限生成阿贝尔群的子群完全是有限生成群。更进一步: 所有有限生成群的类在群扩张下闭合。要看出这个结论,选取(有限生成)正规子群和商群的生成集合: 正规子群的生成元和商群的生成元的前像一起生成了这个群。

由集合 生成的最一般的群是 自由生成的群。所有 生成的群同构于这个群的因子群,这个特征实用于一个群的展示的表达中。

一个有趣的伙伴主题是非生成元。群 的元素 是非生成元,如果生成 的包含 的所有集合 在把 从 中去掉的时候仍生成 。在带有加法的整数集中,唯一的非生成元是 0。所有的非生成元的集合形成了 的子群,叫做 Frattini子群。

可逆元的群 U(Z9) 是所有的互素于 9 的整数在 mod 9 乘法下的群(U9 ={1,2,4,5,7,8})。这里的所有算术都要模以 9。7 不是 U(Z9) 的生成元,因为

而 2 是,因为:

在另一方面,大小为 的 n次对称群不是循环群,因此它不能由任何一个元素生成。但是它可以从两个排列 (1 2) 和 (1 2 3 ... ) 生成。例如,对于 3 我们有:

无限群也可以有有限生成集合。整数集的加法群有 1 作为生成集合。元素 2 不是生成集合,因为它不能生成奇数。两元素子集 {3, 5} 是生成集合,因为 (-5) + 3 + 3 = 1 (事实上,任何一对互素的数都可以,这是裴蜀等式的结论)。

相关

  • 环杓关节环杓关节(cricoarytenoid articulation 或称 关节(joint)、环杓状关节)是连接环状软骨及杓状软骨的关节。本条目包含来自属于公共领域版本的《格雷氏解剖学》之内容,而其中有些
  • 植物考察植物考察(英语:Botanical expedition)是形容为了研究一特定区域的植物所进行的科学考察旅行。一个植物考察的目的可能是设计在探索某一种特定植物群,又或可以是专注于讨论一个地
  • 猫科动物猫亚科 Felinae 豹亚科 Pantherinae †剑齿虎亚科 Machairodontinae †原小熊猫亚科 Proailurinae猫科包括狮子、老虎和豹等动物,是食肉目的9个科中最具肉食性的哺乳动物。第
  • 三星中将中将是许多国家军队中的职衔,介于少将和上将之间。这个职衔的来源可追溯至中世纪中,在战场上接受上将的命令,再传达下去的那个人。中文里的中将一词是来自于日本军制,日本军制中
  • 基础军基础军(德语:Streitkräftebasis),官方英语译名为联合支援军(英语:Joint Support Service),是德国联邦国防军的一支跨军种部队。本部队成立于2000年10月,负责德国联邦国防军的后勤、
  • 德国中央集团军中央集团军群(德语:Heeresgruppe Mitte)是第二次世界大战中纳粹德国在德苏战争上部署的3个主要的集团军群之一,创建于1941年6月22日。中央集团军群原先创建的目的是为了攻下苏联
  • 阿基姆·奥拉朱万阿基姆·阿卜杜勒·奥拉朱旺(英语:Hakeem Abdul Olajuwon,1963年1月21日-),出生于尼日利亚,非洲裔美国NBA联盟前职业篮球运动员。十八年职业生涯效力过休斯敦火箭和多伦多猛龙,场上
  • 第251海军航空队 (日本海军)第251海军航空队为第二次世界大战时期之大日本帝国海军之一航空部队。飞行分科=舰上战斗机、陆上侦察机、夜间战斗机(月光)开队=昭和17年11月1日原队=台南海军航空队原驻在地=
  • 华中蹄盖蕨华中蹄盖蕨(学名:)为蹄盖蕨科蹄盖蕨属下的一个种。
  • 美滨暗沙美滨暗沙位于南中国海中沙群岛西北部,东与鲁班暗沙相距0.7海里,西与本固暗沙相距5.5海里。暗沙呈长方形,全部在海面以下,最浅处约14米,等深线20米以上面积约9平方公里。1947年和1