四元群

✍ dations ◷ 2025-04-04 11:20:35 #群论,有限群,四元数,四

在群论里,四元群是指一个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-群若不是循环群就是广义四元群。

相关

  • 语言的类型分类语言的形态分类(英语:morphological typology),是根据它们共同的形态结构对世界上的语言进行分类(参见语言类型学)的一种方法。该领域根据这些语言组合语素构成单词的方式来把语言
  • 约瑟夫·康拉德约瑟夫·康拉德(Joseph Conrad,1857年12月3日─1924年8月3日),原名约瑟夫·泰奥多尔·康拉德·纳文奇·科热日尼奥夫斯基(Józef Teodor Konrad Nałęcz Korzeniowski),生于俄罗斯
  • 庄逢辰庄逢辰(1932年1月28日-),本名熙,字逢辰,中国火箭发动机和工程热物理专家。生于江苏常州。1956年毕业于哈尔滨工业大学动力机械系。装备指挥技术学院教授。2001年当选为中国科学院
  • 国际工业设计协会国际工业设计协会(The International Council of Societies of Industrial Design,ICSID),成立于1957年,是一个由多个国际工业设计组织发起成立的非营利组织,旨在提升全球工业设计
  • 德川家宣德川家宣(1662年-1712年),德川幕府第六代将军,在职时间:1709年-1712年。甲府宰相德川纲重的长子,母亲是侧室于保良(长昌院),正室是近卫基熙的女儿熙子。乳名虎松,元服后的初名纲丰。家
  • 张百熙张百熙(1847年-1907年3月30日),字埜秋,一作冶秋,室名潜斋、退思轩。湖南长沙人。清末政治家、思想家、教育家。张百熙以进士出身入仕,在京为官多年,历任吏部、户部等部尚书及管学大
  • 克利缅特·科列斯尼科夫克利缅特·安德烈耶维奇·科列斯尼科夫(俄语:Климент Андреевич Колесников,2000年7月9日-)是一名俄罗斯男子游泳运动员,主攻仰泳和自由泳。科列斯尼科
  • 拉普拉斯-德拉姆算子我们可以在微分流形的外代数上定义一个拉普拉斯微分算子。在黎曼流形上它是一个椭圆型算子,而在洛伦兹流形上是双曲型的。拉普拉斯–德拉姆算子(Laplace-de Rham operator)定义
  • 行政院农业委员会林务局农林航空测量所行政院农业委员会林务局农林航空测量所(简称农航所)是行政院农业委员会林务局的所属机构。负责以航拍摄影对全台湾(含离岛)进行农林等自然资源调查,并以所拍摄图片建立航拍数据库
  • 1¹¹=1 (Power of Destiny)《1¹¹=1 (POWER OF DESTINY)》是韩国男子团体Wanna One的首张正规专辑,于2018年11月19日推出,主打歌曲为〈Spring Breeze〉。10月3日,所属经纪公司SWING娱乐透露,Wanna One的