发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
❝ 和 是群 的有限子群. 证明: .❞
❝设是群,是群的子集,且:,证明:.❞
❝设 是群, ,若都是有限的,证明:是有限的.❞
❝. 设 是群, 证明:❞
. 设 是群, 证明:
❝设 是群, 且有限,证明:是有限的.❞
❝(1). 引理1:设是一个群,,则:.❞
(1). 引理1:设是一个群,,则:.
❝2). 引理2:指数公式.❞
2). 引理2:指数公式.
❝(3).引理3:如果,那么:❞
(3).引理3:如果,那么:
上述引理自己动手证明回顾.
其中最后一步是由于 且 是子群,因此 对于 , 当 时,有 假如 , 则存在 , 使得 从而 于是 , 矛盾. 因此 从而
故有:
推出矛盾,所以假设不成立.
注意到有如下事实:
所以对任意的,在关于的分解下必然有:因此对于任意的:
而由于:有限所以是有限的,特别的:.
注意到因为,所以:,而根据集合的运算关系:
又因为是有限的,所以同上两题也可以得到:是有限的.
lala的《心里学》你值得拥有!
来自: 小周的数学世界 > 《待分类》
0条评论
发表
请遵守用户 评论公约
Euler线上的三角形特征点(未完)_1009238884
Tautochrone | Abel群的既约复表示及Pontryagin对偶
Tautochrone | Abel群的既约复表示及Pontryagin对偶。作者介绍:英国牛津大学 Mathematical Institute对于Abel群的既约表示,有如下简单...
微分几何专辑:微分流形与 Lie 群初步
例3:Lie 群的乘积群 .推论3:单的 Lie 群同态必为浸入映射 , 满的 Lie 群同态必为淹没映射 , Lie 群同构必为微分同胚 , 即其逆也是 Lie...
浅谈拓扑伽罗华理论
核心想法:我们希望验证任何形式的都不是的求根公式,如果我们能够找到一条系数空间中的环路,使得引理1中的等式不成立即可。这里我们用...
Polya 定理
\[f=(a_1,a_2,\dots,a_n)=\begin{pmatrix}a_1,a_2,\dots,a_n\a_2,a_3,\dots,a_1\end{pmatrix}\]\[\begin{aligned} \sum_{g\in G} |X^g|&=\sum_{x \in X} |G^x| \ &=\sum_{x \in X} \frac{|G|}{...
(x,y)∈(0,1),求证:x^y+y^x > 1
(x,y)∈(0,1),求证:x^y+y^x >11、先证明引理:(伯努利不等式)(1+x)^r>1+rx(x>0、r>1)∴(1+x)^r>1+rx(x>0,r>1),引理得证。2、回到原题,注意到y/x>0,1/y>1,在引理中令x取y/x、r取1/y即...
为什么要读《诸子群书》?
抽象代数:9.1子群与生成
抽象代数:9.1子群与生成。
抽象代数:13.1共轭与正规子群
抽象代数:13.1共轭与正规子群。
微信扫码,在手机上查看选中内容