四元群

✍ dations ◷ 2025-07-26 14:55:33 #群论,有限群,四元数,四

在群论里,四元群是指一个8目的不可换群。它常被标示为,且被写成乘法的形式,以下列的8个元素

这里,1是单位元素,(−1)2 = 1且对每个内的,(−1) = (−1) = −。剩下的乘法律能由下列的关系获得:

的凯莱表如下:

需注意的是,此一群为非可换的;如=−。有着汉弥尔顿群较不常见的性质:每一个的子群都是其正规子群,但这个群不是可换的。每一个汉弥尔顿群都会含有一个或多个。

在抽象代数里,可以造出一个其基底为{1,,,}的实四维向量空间,且使用上面的乘法表和分配律来形成一个结合代数。其即为一个称为的除环。需注意的是,这并不是在上的群代数(其应该是8维的)。相反地,亦可以先由四元数开始,再“定义”出由八个元素{1, −1, , −, , −, , −}所组成之乘法子群做为四元群。

、和都是内4目的元素且选定其中任两个都可以产生出整个群来。有着下列的展现

其中可以取成=、=及=。

的中心及交换子群为{±1}。其商群 /{±1}会同构于克莱因四元群。的内自同构群会同构于同余其中心,且因此也会同构于克莱因四元群。的全自同构群会同构于对称群4。的外自同构群因此为4/,其会同构于3

四元群亦可视为是作用于在有限体GF(3)上之二维向量空间的八个非零元素。关于其图像,请见图像化GL(2,p) 页面存档备份,存于互联网档案馆。

一个群若被称为广义四元群,则表示其有一个展现

其中为大于3的整数。此一群的目为2。原本的四元群为=3时的特例。广义四元群可以被理解为单位四元数的子群,其产生子为

广义四元群是双循环群此一更大类型的一类。广义四元群有着每个可换子群都是循环的性质。可证明一具有此性质(每个可换子群都是循环的)之有限p-群若不是循环群就是广义四元群。

相关

  • m·ssup−1/sup米每秒是速度(矢量)和速率(标量)的单位,属于国际单位制导出单位,可写作㎧(U+33A7 (13223)),m/s、m·s−1或mps。天文学上常以单位更大的千米每秒为单位,1 km/s = 1,000 m/s,缩写为kps。
  • 校训座右铭(英语:Motto)指个人、组织等引以为自我警诫的短句或格言,代表着精神、意志、信念等,一般以排比形式出现。家族、学校、公司等都可能有座右铭,当中学校的训词称为校训,家族的
  • 让·德·拉特尔·德·塔西尼法国第1集团军让·约瑟夫·马里·加布里埃尔·德·拉特尔·德·塔西尼,GCB,MC(法语:Jean Joseph Marie Gabriel de Lattre de Tassigny,1889年2月2日-1952年1月11日),法国著名将领,其
  • 西南地区BBC西南(BBC South West)是英国广播公司(BBC)在英格兰的一个播出地区,播出范围包括了康沃尔郡、德文郡、锡利群岛、索美塞特郡西部和南部、多塞特郡西部和海峡群岛。BBC西南制作
  • 七氧化二铼七氧化二铼是铼(VII)的氧化物,化学式为Re2O7。X射线单晶衍射证实,七氧化二铼晶体中,一个铼原子以扭曲的八面体与氧原子配位,一个铼原子以四面体与氧原子配位。八面体与四面体结
  • 冉义镇冉义镇,是中华人民共和国四川省成都市邛崃市下辖的一个乡镇级行政单位。2019年12月,撤消冉义镇,原冉义镇所属行政区域划为高埂街道的行政区域。冉义镇下辖以下地区:斜江社区、新
  • 渐近巨星支渐近巨星支(asymptotic giant branch,AGB)是赫罗图中低温、高光度恒星的区域。这是恒星演化阶段中,所有低到中等质量恒星(0.6-10M⊙)生命期后段所经历的过程。在观测上,一颗渐近巨
  • 阿塞拜疆地毯阿塞拜疆地毯 (阿塞拜疆语:Azərbaycan xalçaları)是产自于阿塞拜疆和伊朗阿塞拜疆的传统手工纺织品。该地毯工艺是阿塞拜疆家庭传统技艺,由家庭成员口口相传技艺并代代延续。
  • 德尔格万德尔格万是伊朗的城市,位于该国南部,由霍尔木兹甘省负责管辖,距离首府阿巴斯港26公里,海拔高度25米,2006年人口7,996,居民主要信奉逊尼派。
  • 玛丽皇后二号玛丽皇后2号(RMS Queen Mary 2)是一艘横渡大西洋的英国皇家邮轮。由Carnival Corporation & PLC所持有,由卡纳德邮轮营运。玛丽皇后二号是当前唯一一艘作为远洋定期客轮运营的