文档介绍：中文摘要本文首先讨论了广义蹬元数群瓯H遘普的全自同搀群关键谲:广义嚣元数群瓯:,图,全囱嗣掏群,字典式积,正酌结构帮性质,然后应瘸尤黑谓斯阋迦TJ篞铀印为奇素数兄挥辛嚼喽I勺蛹宜窃贏淖饔孟率谴ǖ莸摹T瑟基础上,攫褥舆体鋈形剩薅查蚕重点地证鳃了广义霹元数瓣翅%为奇素数赜谡馑枥喽I勺蛹麟、菴恼嫘院驼性。圆时,还篱要说睨了它们盼埕ā规性,正则性,,性质。第
衖.,。,琯,,琭,謞,產—篻,,—.纂
一、雩囤茫瑉瑉③也;⑥《《,琫琣珸务段;对点传递图对称性的研究和分类这年来非常活跃,。图是很墓要的一粪点传递萤,它是癫瓹固岢鲈迹鞭妒俏A唆涫拖欢旧稍R投义关系。但由于它定义的简单性,商度的对称憔和品种的多样性,越来越受到图论学者的羹视,成为群与图的一个重鼹的研究领域。近二十年来,由于计算机的发展,天稍发瑷爱还建可臻亲筠逡与设诗淫髓饶嶷豹互连嬲终,因嚣又获雩嚣了实际的应用,它的重要性日益增加。而在图的研究分类中,缀常要决定相应图的全自同构群【,图的正规性对决定其全自同构群越着关键的作用。另一方瑟,銎豹委裁缝迢题璁建群夔蚕歪鞭表示、运题菸淡之爱叁然应避一步研究的一个问题正规蘧哂凶钚】赡艿娜酝谷海绰鉇。踅不双蒎毂予器规霍扔柘鵊蕊生戏子龚签。关予▂驼樾韵究近些年还刚刚开始,这些年来进展不大,研究主要集中在两个方面。第一个是年代人们研究有限群的图正则表示的问题。瓺.,瓸等证明了:讼履胰嗳褐纾蚋鲋蟠喊镥埂頖。类悍酱问笥的交换群;类汗阋逅啡海类合铝小氯睢罢×绫纭保②,,④⑤冢琤琤;⑦,珻琣,琧’⋯;⑧琎。㈢除了五个侈《舞群外,每个有黻群都有一个U夂淞钏橇缛菏、、阶初等交换群和姿脑J篞,。冢:第嚣
晕H逭的全自同构群,在此基础上,重点地研究了广义四元数群‰第二令楚年最殴纛暌究所疆聂羧运熬,嚣其中比较藿本兹阉题怒:对于某个或菜类指定的有限群,决定何时它的或它们的娴模问笔欠钦规的。王长群,王殿攀,徐明曜等解决了以下问题:④每个有羧瓣聱至少有一令正援夔骞蠢蚕;②除了琎羫沏≥之外,每个有限群都麓少有一个正舰的丁7胙苋ǎ俨藕悖琍琘—瓸琀—热俗隽诵多这方露赘王传,套兴趣夔读蠹霹参显然,。〈ǖ萑、【】。。..、『,,,年,甅朊麝祝缪苋ǎ琂等谶明了关于交换群、二蘑落群豹菴瓯U薹【】。。性质是来源予人们对邢图的同构问题的研究。一般来说,邢圈的同构问题是十分复杂的。首先,臻探索同一个群的不俺时闲秘;其次,不圈豹群翡辫之闽氇爵麓有霹褥蠹每赣形。桓鐾抖唆痨子是龅愕耐耆己帐侨我籲阶群的5侥壳拔V梗嗣堑难芯慷嗑窒在前一个阀题上,而凰多限于研究所谓的一性餍‘”代表“醚。,,徐明罐,李方瞧,方薪爨等人敲了诲多这方嚣鳇工作。谢兴趣的读者可参阅【、、这些闽题对劲阶群为奇素数丫觯云渌郝绻共欢嗉T谡馄论文中,我们首先讨论了锄除广义瑟元数群《琤孤,琤为奇素数度、度潮的正规性、正剐性和。性质。。第
其帆是警。中的∥慨叫的阮啦:佟!蝱。川憾素数分解魏肽课U睢#簕;二三,最:≮’,∥。,则硐构予下列图之一;琹,璣则盤保珹:啦痢ぁ×≈,定理设#”一琤保琣籥琻··畚D颜齨的:痢ぁぁぁ目%,罚×《××ぁぁ观瑀定理设搿为冢琤本文瓣圭要结果如糚保琣:≈贰羬,》×··练悬》定理设狦琤印,螅琤~度图,邸埃,埃④萎,蜀②,其中①是正规圈;②是非正规图,且它们都不具有徽蛐浴,琤一度图,,口一,琤一,,‘,&琤~,,~,,,襄有下列结巢:①图蜀,钦娴模③图恐,欠钦摹置它稍都不英有艘第/≤
设妊司是一个邢蚧蛭尴图,“魑集合啪营糗。称。为图黼自同中戆点稳定予。霹任一集会琹燕示睦瓣遥等置换。秘一个群,越擞霾盖熬鑫潮掏群,海俸。它是集合睦弱鲞挨群。命题【】设日≤騈/㈣同构于的一个子群。、联砷、研刚∞葙慕ǚ直鸨硎舅亩サ慵⒈呒⑼甲皂牍谷汉顶点贏∞中的点稳定子。直鸨硎救篏的全自同构群和二、羰备翔识强◇,∥,本文中鼙硎居邢奕海表示群牡ノ辉#挥卸ㄒ宓挠泄厝郝鄣母拍詈头号建议读喾去参蘑文欺【,,】。薹墓表示育臻兹、无囱的、麓单懿连遥圈,构,如粜瑅笔蠼龅#瑅。蔈。图爿的所有自同构雀置换乘法之下组成定义设怯邢奕海瑂是牟缓ノ辉5姆强兆蛹N颐侨缦露义群赜谧蛹疭的肖,回:的国,蹭∈琒∈。定义魏果Ⅳ是餐嵩酉縂/晌扔鐵,囊稔嚣HⅣ被群,的扩张。如果Ⅳ和,都是循环群,鼠茄啡孩舯谎啡篎的扩张,则称Q堑禄啡骸螽嚣【】滚嚣,掰≥U唬珿蹩掺戆辎舯籱除弦骂群,的扩张。则腥缦露ㄒ骞叵担瑅①英中参鼗”,,瑀瀵是关系:②。反之,对每组满足②式的参数琺,偈蕉既范ㄒ桓鯤阶循环群Ⅳ阶雾垂环嚣碳竟阏拧定义偕鐶≤#舳匀我獾膇∈阌蠫虺艷为半正则的;如暴半正则群衷诳谏洗ǖ荩虺艷为正则群。②设切蟆炫酰无蠢很狦豁缁正粥表示如果图淖酝谷篈橥褂