群同态基本定理证明_正二十面体群和五阶交错群

最新推荐文章于 2022-02-21 15:46:59 发布

weixin_39980903

最新推荐文章于 2022-02-21 15:46:59 发布

阅读量2.2k

点赞数

文章标签：群同态基本定理证明

本文链接：https://blog.csdn.net/weixin_39980903/article/details/111710703

版权

本文详细介绍了正二十面体群和五阶交错群的同构关系，通过分析正十二面体的旋转对称性，展示了群的共轭类，并利用群同态基本定理进行证明。文中讨论了以中心-顶点、面中点和棱中点为轴的旋转，揭示了群的结构，最终得出正二十面体群是一个单群，且与五阶交错群同构的结论。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

本文复述Michael Artin所著Algebra一书第7.4节的两个证明:

正二十面体群
是一个单群.
五阶交错群
和

同构.

由此可以得到

是一个单群.

定义

正二十面体群: 正二十面体群

是三维旋转群

的一个60阶有限子群, 刻画了正十二面体/正二十面体(互为对偶正多面体)的60种旋转对称.

正十二面体和正二十面体.

以正十二面体为例, 它的旋转对称包括:

以中心-任意顶点为轴的
角度旋转对称.
以中心-任意面中点为轴的
角度旋转对称.
以中心-任意棱中点为轴的
角度旋转对称.

这样的旋转共有60种, 而且形成了

的一个子群. 由于正十二面体和正二十面体的顶点和面可以互换, 以上旋转对称对正二十面体也成立.

共轭类: 群

中元素

的共轭类是指

在共轭作用

下形成的轨道, 记作

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

weixin_39980903

关注关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

【抽象代数】代数系统、群与商群

smilejiasmile的博客

07-22

911

【抽象代数】代数系统、群与商群一、代数系统 1.1 运算律我们已经知道函数的概念，它表示集合间的一种映射关系。当像和原像是同一集合时，便是抽象代数中常讨论的函数了。一元函数 f: A↦A 也被称为集合 A 上的变换，其中双射的变换也称为置换。一般如下式的多元函数，也被称为集合A上的 n 元运算。集合 S 以及其上的一些运算 f1,f2,⋯,fmf_1,f_2,⋯,f_mf1,f2,⋯,fm 组成的系统叫代数系统（algebraic system），在不混淆的情况下也可用 S 表示这个代数系统。代数

音乐创作的群论：旋律结构的数学对称性

最新发布

AI天才研究院

11-28

877

音乐创作的群论：旋律结构的数学对称性关键词：群论、音乐创作、旋律结构、数学对称性、音乐风格、音乐心理学、音乐治疗摘要：本文旨在探讨群论在音乐创作中的应用，通过分析旋律结构的数学对称性，揭示其背后的科学原理。文章从

参与评论您还未登录，请先登录后发表或查看评论

五元交错群A5是单群

ResumeProject的博客

08-31

6778

有限单群(有限群G只有两个平凡的正规子群,定义和素数很像) 当G的子群H是正规子群时，则可考虑G模H的商群，H不是正规子群做商只能得到陪集，不是群 G为有限交换群：则G是单群iff G的阶为P （结合之前的结论素数阶群一定是循环群，素数阶群一定是唯一的）证因Abel群G的任何子群都是G的正规子群,故Abel群G为单群当且仅当G无非平凡子群，若G是有限阶的，由Sylow第- -定理知G无非平凡子群当且仅当G的阶为素数. 此时,Va∈G且a≠e有G=(a). 无限阶的Abel群一定有（非平凡）正规子

为什么最多只有正20面体证明过程

qq_43227036的博客

11-19

4142

正多面体我们大家肯定都认识，但是在人们脑海中感觉肯定是正多少面都可以的，但实际正多面体最多只能有二十个面。下面就看一下证明过程吧。预备知识多面体欧拉定理：设正多面体棱数为E, 顶点为V，面数F，他们之间的关系是 F+V-E = 2。用简单的方法证明一下吧，首先把正多面体去掉一个面，把剩下的图形平铺后就从三维转换为了二维图形，相应的公式也变为 F+V-E = 1。 1）接下来每次去掉一条棱也...

4 二面体群

你的指尖有改变世界的力量

02-21

4584

以正三角形为例子讲述二面体群。

群论学习之A5群为什么是单群

linux-0.11调试教程

08-25

4213

(12345)A5的结果如下, [311]类共产生了5个，[221]类共产生了5个 [5]类共产生了10个。 (12345)(123)=(13245) (12345)(132)=(145) (12345)(124)=(13425) (12345)(142)=(15)(34) (12345)(125)=(13452) (12345)(152)=(345) (12345)(1

群的基本概念

Ehco00x0的博客

03-24

2万+

群的定义和简单性质定义，如果一个非空集合G上定义了一个二元运算o，满足： 1）结合律，推广（广义结合律：对于任意有限多个元素....） 2）存在幺元（单位元） 3）存在逆元 4）交换律（满足的话，称G为交换群或Abel群）半群——非空集合S有二元运算，此运算满足结合律幺半群——具有幺元的半群命题： 1）群的幺元唯一 2）群中任一元素的逆元唯一 3）群中

不可求解的正常子群和不可约的字符度

02-24

在群的表示理论中，群的特征（Characters）是指群同态到复数乘法群的一类函数，这些函数的性质能够体现群的结构信息。不可约特征是指群的复表示中不能再分解的特征。特征度则是指不可约特征的次数，也就是对应的...

【抽象代数在离散数学中的应用】：群、环、域的深入理解与应用

![【抽象代数在离散数学中的应用】：群、环、域的深入理解与应用]... 抽象代数的基本概念与定义 ## 1.1 抽象代数的研究对象抽象代数是数学的一个分

抽象代数 2016—2017 第1学期1

08-03

如果群的阶是p^2q，其中p和q是不同的素数，根据Cauchy定理，群中一定存在阶为p和q的元素，由于p和q互质，根据Lagrange定理，群不可能是单群，因为单群中除了单位元外没有其他阶小于群阶的元素。 6. **Cayley定理和...

计算机图形学正十二面体旋转.rar.rar

06-19

计算机图形学正十二面体旋转.rar.rar

计算机图形学正十二面体旋转

12-13

用C语言实现三维空间正十二面体的旋转，是计算机图形学中比较基础的操作。

求解出能被5整除的正整数的乘积_5. 置换群、单群、可解群、自同构群、自由群...

weixin_39911567的博客

12-23

1725

前言本章将介绍几种重要的群，包括置换群、单群、可解群、自同构群、自由群。下一章将介绍群在集合上的作用、轨道、Sylow定理等内容。本章中的许多内容，在本科教材和实际教学中未必能分配足够的课时深入讨论。因此本篇文章中的部分内容可以酌情跳过。5.1 置换群关于循环群、置换群、变换群、n次对称群、交错群的定义，以及置换的表示方法本章不再给出，请参考第一篇：1. 群的定义与基本性质。首先给出一个简单的定理...

抽象代数之以20阶群说明4p阶群的结构其中p是mod4与1的素数

linux-0.11调试教程

12-06

966

k^2=-1 (mod p) 比如20阶群对应的p是5。二k1=2或k2=3。

Assignment 4 OpenGL中正十二面体跟踪球实现（平移、旋转、多面体线框体切换）

weixin_30502157的博客

04-25

411

一、使用平台 windows 8.1 visual studio 2012 二、使用方法鼠标左键控制旋转,鼠标右键控制平移,点击鼠标中键出现菜单可选多面体或线框体绘制。键盘↑↓←→控制平移,F1 和 F2 键分别为多面体和线框体绘制的切换。三、实现简述主函数在 main 函数中与这...

组合数学之转动群结构记忆法

sophia1989115的专栏

12-28

1636

今天看了yy上的日志，关于转动群的转动置换结构记忆法，总结如下。一、底座，每一个正多面体，以一个顶点为中心，拎起来从上往下看，第一层看到的轮廓。底座的分类：易见型（四、八、二十）难见型（六、十二）因为后面要讨论的东西要依据底座的形状和各正多面体点线面的数量，所以总结如下一个表，需要记住的。

代数-抽象代数