阿贝尔群

✍ dations ◷ 2025-04-02 09:47:23 #阿贝尔群论,群的性质,尼尔斯·阿贝尔

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

阿贝尔群(Abelian group)也称为交换群(commutative group)或可交换群,它是满足其元素的运算不依赖于它们的次序(交换律公理)的群。阿贝尔群推广了整数集合的加法运算。阿贝尔群以挪威数学家尼尔斯·阿贝尔命名。

阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群已经被较为彻底地研究了。无限阿贝尔群理论则是目前正在研究的领域。

阿贝尔群的群运算符合交换律,因此阿贝尔群也被称为交换群。它由自身的集合和二元运算* 构成。它除了满足一般的群公理,即运算的结合律、有单位元、所有的元素都有逆元之外,还满足交换律公理

因为阿贝尔群的群运算满足交换律和结合律,群元素乘积的值与乘法运算时的次序无关。

而群运算不满足交换律的群被称为“非阿贝尔群”,或“非交换群”。

阿贝尔群有两种主要运算符号—加法和乘法。

一般地说,乘法符号是群的常用符号,而加法符号是模的常用符号。当同时考虑阿贝尔群和非阿贝尔群时,加法符号还可以用来强调阿贝尔群是特定群。

验证有限群是阿贝尔群,可以构造类似乘法表的一种表格(矩阵),它称为凯莱表。如果群 = {1 = , 2, ..., }在运算⋅下,则这个表的第(, )个表项包含乘积。群是阿贝尔群当且仅当这个表是关于主对角线是对称的(就是说这个矩阵是对称矩阵)。

这是成立的因为如果它是于阿贝尔群,则 = 。这蕴含了第(, )个表项等于第(, )个表项,就是说这个表示关于主对角线对称的。

矩阵即使是可逆矩阵,一般不形成在乘法下的阿贝尔群,因为矩阵乘法一般是不可交换的。但是某些矩阵的群是在矩阵乘法下的阿贝尔群 - 一个例子是2x2 旋转矩阵的群。

阿贝尔群是Camille Jordan以挪威数学家尼尔斯·阿贝尔命名的,他首先察觉到了阿贝尔首先发表的这种群与根式可解性的联系的重要性。

如果是自然数而是使用加号的阿贝尔群的一个元素,则可以定义为 + + ... + (个数相加)并且(−) = −()。以这种方式,变成在整数的环Z上的模。事实上,在Z上的模都可以被识别为阿贝尔群。

关于阿贝尔群(比如在主理想整环Z上的模)的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下,这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/kZ对于素数的有限多个群的直和,而后者是有限多个Z的复本的直和。

如果,  :  →  是在阿贝尔群之间的两个群同态,则它们的和 + ,定义为( + )() = () + (),也是阿贝尔同态。(如果是非阿贝尔群则这就不成立。)所有从到的群同态的集合Hom(, )因此是自身方式下的阿贝尔群。

某种程度上类似于向量空间的维度,所有阿贝尔群都有秩。它定义为群的线性无关元素的最大集合的势。整数集和有理数集和所有的有理数集的子群都有秩1。

整数模以的循环群Z/Z是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和,并且这些阶数是唯一确定的,形成了一个不变量(invariant)的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger(英语:Ludwig Stickelberger)在1879年的论文,后来被简化和推广到在主理想整环上的有限生成模,形成了线性代数的一个重要组成部分。

有限阿贝尔群的基本定理声称所有有限阿贝尔群都可以表达为素幂(prime-power)阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在有零秩时的特殊情况。

阶的循环群 Z m n {\displaystyle \mathbb {Z} _{mn}} 与是互素的。可推出任何有限阿贝尔群同构于如下形式的直和

以任何下列规范方式:

例如, Z / 15 Z Z 15 {\displaystyle \mathbb {Z} /15\mathbb {Z} \cong \mathbb {Z} _{15}} 的自同构。要这么做,可利用如果分解为互素阶的子群的直和 {\displaystyle \oplus } ,则Aut( {\displaystyle \oplus } ) {\displaystyle \cong } ) {\displaystyle \oplus } )的事实(这里就不证明了)。

基本定理证明了要计算的自同构群,分别计算西罗子群的自同构群就足够了(也就是所有的循环子群的直和,每个都有的幂的阶)。固定一个素数并假设西罗子群的循环因子的指数是按递增次序安排的:

对于某个 > 0。需要找到

的自同构。一个特殊情况是在 = 1的时候,此时在西罗-子群中只有唯一一个循环素数幂因子。在这个情况下可以使用有限循环群的自同构的理论。另一个特殊情况是在为任意的但 = 1对于1 ≤ ≤ 的时候。这里考虑为有着形式

所以这个子群的元素可以被看作构成了在元素的有限域 F p {\displaystyle \mathbb {F} _{p}} 维向量空间。这个子群的自同构因此给出为可逆线性变换,因此

它早先证明了有阶

在最一般情况下,这里的和是任意的,自同构群更难于确定。但是已经知道了如果定义

并且

则有着特别的 ≥ , ≤ ,并且

可以检查这会生成作为特殊情况的前面例子的阶(参见)。


相关

  • 蛋白质粒蛋白质体(英语:Proteinoplast, proteoplast, aleuroplast, aleuronaplast),又称造蛋白体、蛋白体,是植物细胞中的一种质粒体,又可细分为白色体的一种,主要功能为储存结晶形式的蛋白
  • 伊顿公学伊顿公学(Eton College),全名为温莎宫畔伊顿圣母英皇书院(The King's College of Our Lady of Eton beside Windsor),是英国著名的男子公学,位于英格兰伊顿。1440年,亨利六世创立了
  • 伊朗伊斯兰共和国广播电视台伊朗伊斯兰共和国广播电视台(波斯语:سازمان صدا و سیمای جمهوری اسلامی ایران‎;Islamic Republic of Iran Broadcasting (IRIB))是伊朗第一家
  • 五十铃五十铃汽车(日语:いすゞ自動車/いすずじどうしゃ isuzu jidōsha */?,英语:Isuzu Motors)是一家日本汽车制造公司,总公司位于日本东京都品川区,制造与组装则设厂于日本神奈川县藤
  • SCHOOL革命!SCHOOL革命!(日语:スクール革命!),日本电视台的校园类娱乐节目。2009年4月5日开播,播出时间为每周日11:45至12:45(JST)。主持人为内村光良,常规嘉宾包括山田凉介、八乙女光、知念侑李
  • 李大斐李大斐 FRS(英文名:Dorothy Mary Moyle Needham,也称为Dorothy M. Needham,结婚前的姓名是Dorothy Mary Moyle;1896年9月22日-1987年12月22日)是英国生物化学家,专门研究肌肉。是生
  • 艾莉森与莉莉亚《艾莉森与莉莉亚》是2008年4月3日开始在日本NHKBS2频道播放的电视动画,由时雨泽惠一所著轻小说《艾莉森》与《莉莉亚与特雷兹》改编而成。《艾莉森》与《莉莉亚与特雷兹》两
  • 河南文艺出版社河南文艺出版社成立于1996年6月,前身为黄河文艺出版社和河南人民出版社文艺编辑处。《康熙大帝》、《乾隆皇帝》、《大秦帝国》《唐太宗》、《越王勾践》、《东方艳后》《大
  • 西尼德·钱伯斯西尼德·钱伯斯(爱尔兰语:Sinead Chambers,1992年2月1日-),爱尔兰女子羽毛球运动员。2012年10月,西尼德·钱伯斯出战爱尔兰羽毛球未来系列赛,与Jennie King合作赢得女子双打冠军。只
  • 乔伊·温德尔乔瑟夫·派翠克·温德尔(英语:Joseph Patrick Wendle,1993年8月23日-),为美国职棒大联盟的二垒手,目前效力于坦帕湾光芒。他先前曾效力过奥克兰运动家。2012年美国职棒大联盟选秀,温