全形 (数学)

✍ dations ◷ 2025-06-08 04:10:40 #代数小作品,群论

在数学的群论中，一个群的全形Hol()是一个特定的群，同时包含群和其自同构群Aut()。群的全形可用半直积或交换群来描述。

记群的自同构群为Aut()，则的全形Hol()是

其中的半直积是对于Aut()在上的自然作用，因此全形上的运算如下：令 $(g,\alpha ),(h,\beta )$ )的元，其中, 是的元， $\alpha ,\beta$ 的自同构，则

群以左乘和右乘作用在自身的元素上，定义出两个从到上的对称群Sym()的群同态。左乘对应的群同态为

右乘对应的群同态为

这两个群同态称为的左及右正规表示，并且都是单射（凯莱定理）。换言之，同构于 $\lambda (G)$ 的全形 $\operatorname {Hol} (G)$ $\operatorname {Hol} (G)$ 是 $\lambda (G)$ $\lambda (G)$ 在 $\operatorname {Sym} (G)$ $\operatorname {Sym} (G)$ 中的正规化子。

相关

部长中华民国国防部部长是中华民国国防部的最高行政首长，负责统辖中华民国国军各部队，职位成立于1946年（民国35年）6月1日。
台南州台南州是台湾在日治时期的行政区划之一，辖域为今台南市、嘉义市、嘉义县、云林县。台南州于1920年9月1日正式设置，直到1945年8月15日日本二战投降后，于该年11月9日为中华民国的
双边寡头垄断双边寡头垄断指市场上同时出现卖方寡头垄断和买方寡头垄断的情况。和单方垄断不同，市场价格不会由一方决定，而是由买卖双方的议价能力决定，常规定价机制失效，竞价问题转变为博弈
天台山 (浙江)天.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
奥斯坦德奥斯坦德（荷兰语：Oostende .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gen
乍得总理乍得总理，是乍得共和国政府首脑。2018年5月，乍得国民议会通过新宪法，该职务被取消。
红杉 (超级电脑)红杉（Sequoia）是由IBM建造的美国国家核安全管理局（英语：National Nuclear Security Administration）之高级仿真和计算计划（英语：Advanced Simulation and Computing Program）（ASC）蓝色
拉辛 (奥地利)拉辛（德语：Lassing）是奥地利施蒂利亚州利岑县的一个市镇。总面积37.2平方公里，总人口1820人，人口密度48.9人/平方公里（2005年）。
苗雅宁苗雅宁（2000年12月14日－），中国男演员，为影视童星。代表作为《新西游记》饰红孩儿、《自古英雄出少年》饰丁小及《跑出一片天》饰李小天。
奥托·吕勒奥托·吕勒（德语：Otto Rühle，1874年10月23日－1943年6月23日）是一名德国马克思主义者，活跃于反对一战和二战的运动，并且与卡尔·李卜克内西、罗莎·卢森堡、弗兰茨·梅林及其他人一