计算群论

✍ dations ◷ 2025-11-10 05:31:18 #计算群论

在数学中,计算群论是一种用计算机研究群的理论,它涉及设计和分析算法和数据结构以计算有关群的信息。人们研究这个理论目的是因为对于许多有趣的群来说,比如大多数散在群,手工计算群的相关信息是不切实际的。而且即使是比较简单的有限群的中心 (群论)和正规子群,使用枚举算法可以大大缩短时间。

计算群论中的重要算法包括:

计算群论的两个重要计算机代数系统(CAS) 是GAP和Magma 。从历史上看,其他系统如 CAS(特征理论)和Cayley (Magma 的前身)也很重要。

数学家最近使用计算群论来简化有限单群分类的冗长证明。比如使用范畴论的理论方法实现迈克尔·阿什巴赫在Fusion Theory提出的简化计划,现在的具体方法是通过MAGMA算法解决较小阶的p群问题。

相关

  • 叶脉曲张病毒属叶脉曲张病毒属(Varicosavirus),是病毒的一属。代表种是莴苣大叶脉联合病毒(Lettuce big-vein associated virus)。名称来源:“Vari”从拉丁语静脉曲张(varix),异常的扩张(abnorm
  • 院政院政指日本政权由摄关政治转移到幕府的过渡时期的政治体制。天皇禅位予子侄,而自称上皇,在“院”中训政的政治形态。是皇权为了抵抗摄关政治而发展出来的政治制度。藤原氏透过
  • 2,2-二甲氧基丙烷2,2-二甲氧基丙烷(DMP)是一种烷基化试剂。它是丙酮和甲醇反应得到的缩醛,是合成2-甲氧基丙烯的中间体。组织学中认为2,2-二甲氧基丙烷能比乙醇使动物组织更有效地脱水。2,2-二
  • 乞丐宴会唱片乞丐宴会唱片 是一个英国独立音乐唱片品牌,开始是一个连锁唱片厂牌由马丁米尔斯和尼克奥斯汀所拥有。
  • 戴塔姆峰坐标:77°58′S 163°51′E / 77.967°S 163.850°E / -77.967; 163.850戴塔姆峰(英语:Datum Peak)是南极洲的山峰,位于维多利亚地的斯科特海岸,处于威廉斯峰以西3公里的高斯冰川
  • 洪真英洪真英(朝鲜语:홍진영/洪眞英 ,1985年8月9日-),韩国女歌手、演员,曾在韩国大学路担任短暂儿童音乐剧演员。在2007年与韩智娜、许允美、金妍智三人以女团SWAN正式出道,推出单曲《Booming SWANS!》。在2009年6月19日推出首以Trot风格的单曲《Love battery》,以新人歌手单独亮相。并于同年的《Mnet亚洲音乐大奖》中获得最佳Trot奖。于2017年《姐姐们的Slam Dunk 2》节目中透露尾牙旺季时,每天可跑6-7个通告,也有私下作曲和饶舌作词,以抒情歌为主。对山药过
  • 罗伯特·伍德罗伯特·伍德(英语:Robert Wood,1967年1月4日-),美国棒球选手,曾经于1997年-1999年间效力于中华职棒兄弟象队,在中华职棒官网里登录姓名为德伍R.W。
  • 丁申丁申(约1815年-1880年),字笏斋,钱塘(今杭州)人,诸生,候选主事。喜欢藏书。咸丰年间和其弟丁丙一同收集文澜阁《四库全书》。编有《武林藏书录》三卷(一作五卷),《杭郡诗三辑》。
  • 陈法容陈法容,中国南北朝时,刘宋明帝的妃嫔、宋顺帝养母。出身丹阳建康。宋明帝晚年因肥胖而无法临幸后妃,故只要弟弟们的妾侍有妊者皆接入宫中,如果生下男子便将生母杀害,由后妃有意愿者抚养。宋顺帝本为桂阳王刘休范之子,在宫中由昭华陈法容抚养长大。明帝驾崩后,陈法容晋为安成王太妃。顺帝即位后,陈法容再晋为皇太妃。顺帝禅位后被南朝齐封为汝阴王,陈法容去皇字、只称汝阴王太妃,最后不知所终。
  • 摩达维亚摩达维亚(罗马尼亚语:Moldova, 发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","G