代数学笔记7: 交换群结构定理,群在集合上的作用

交换群结构定理

G ≅ Z / d 1 Z × Z / d 2 Z × ⋯ × Z / d n Z , d 1 ∣ d 2 , ⋯ , d n − 1 ∣ d n G\cong \mathbb{Z}/d_1\mathbb{Z}\times \mathbb{Z}/d_2\mathbb{Z}\times\cdots\times \mathbb{Z}/d_n\mathbb{Z}, \quad d_1|d_2,\cdots,d_{n-1}|d_n GZ/d1Z×Z/d2Z××Z/dnZ,d1d2,,dn1dn

群在集合上的作用

集合 Ω \Omega Ω, 群 G G G, ρ \rho ρ是群同态, ρ ( g ) \rho(g) ρ(g)是双射.
ρ : G ⟶ S Ω g ⟼ ρ ( g ) \begin{aligned} \rho: G&\longrightarrow S_\Omega\\ g&\longmapsto \rho(g) \end{aligned} ρ:GgSΩρ(g)
其中
ρ ( g ) : Ω ⟶ Ω ω ⟼ ρ ( g ) ( ω ) ≜ g ( ω ) \begin{aligned} \rho (g): \Omega&\longrightarrow \Omega\\ \omega&\longmapsto \rho(g)(\omega)\triangleq g(\omega) \end{aligned} ρ(g):ΩωΩρ(g)(ω)g(ω)
ρ \rho ρ保持运算, 即
ρ ( g h ) = ρ ( g ) ⋅ ρ ( h ) , \rho(gh)=\rho(g)\cdot \rho(h), ρ(gh)=ρ(g)ρ(h),
⟺ ∀ ω ∈ Ω \iff \forall \omega\in \Omega ωΩ,
ρ ( g h ) ( ω ) = ρ ( g ) ( ρ ( h ) ( ω ) ) o r g h ( ω ) = g ( h ( ω ) ) . \rho(gh)(\omega)=\rho(g)\big(\rho(h)(\omega)\big)\ \ or\ \ gh(\omega)=g\big(h(\omega)\big). ρ(gh)(ω)=ρ(g)(ρ(h)(ω))  or  gh(ω)=g(h(ω)).

  • 轨道: ∀ ω ∈ Ω \forall \omega\in\Omega ωΩ, Orb ( ω ) = G ω = [ ω ] = { g ( ω ) ∣ g ∈ G } \text{Orb}(\omega)=G\omega=[\omega]=\{g(\omega)|g\in G\} Orb(ω)=Gω=[ω]={g(ω)gG}, (类比一个等价类)

  • 稳定子群: G ω = Sta ( ω ) = { g ∈ G ∣ g ( ω ) = ω } G_\omega=\text{Sta}(\omega)=\{g\in G|g(\omega)=\omega\} Gω=Sta(ω)={gGg(ω)=ω},

  • 轨道中元素个数和稳定子群阶数的关系:
    [ G : G ω ] = ∣ G ∣ ∣ G ω ∣ = ∣ G ω ∣ . [G:G_\omega]=\frac{|G|}{|G_\omega|}=|G\omega|. [G:Gω]=GωG=Gω∣.

  • 群作用是单射: 群作用是**忠实(faithful)**的.

例子:
G = S n , Ω = { 1 , 2 , . . . , n } G=\mathcal{S}_n,\Omega=\{1,2,...,n\} G=Sn,Ω={1,2,...,n}, 则
G 1 = { g ∣ g ( 1 ) = 1 } ≅ S n − 1 . G_1=\{g|g(1)=1\}\cong \mathcal{S}_{n-1}. G1={gg(1)=1}Sn1.
例子:
G = Gal ( E / F ) G=\text{Gal}(E/F) G=Gal(E/F),
∀ g ∈ G , g : E → E ( 双射 ) \forall g\in G,g:E\to E\quad (\text{双射}) gG,g:EE(双射)
E E E F F F上关于 f f f的分裂域, f ( x ) = ( x − α 1 ) ⋯ ( x − α n ) , Ω = { α 1 , . . . , α n } f(x)=(x-\alpha_1)\cdots(x-\alpha_n), \ \Omega=\{\alpha_1,...,\alpha_n\} f(x)=(xα1)(xαn), Ω={α1,...,αn}, G ≲ S E G\lesssim \mathcal{S}_{E} GSE, 将群作用限制在 Ω \Omega Ω上, 则
G ≲ S Ω = S n , G\lesssim \mathcal{S}_{\Omega}=\mathcal{S}_n, GSΩ=Sn,
上述的群作用是否仍然是忠实的?(单射) 是.

如果 G G G S Ω S_\Omega SΩ上的子群,

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/202834.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Liunx系统使用超详细(四)~文件/文本相关命令1

目录 一、mkdir命令 1.1基本语法 1.2常用示例 1.2.1创建目录 1.2.2创建多级目录 1.2.3设置权限 1.2.4递归修改权限 1.2.5显示帮助信息 二、touch命令 2.1基本语法 2.2常用示例 2.2.1创建新的空文件 2.2.2更新现有文件的访问和修改时间戳 2.2.3创建多个文件 2.2.…

【Midjourney实战】| 新年红包、元宝、灯笼、福袋生成

文章目录 1 红包生成2 灯笼生成3 福袋生成4 元宝生成 1 红包生成 之前我们生成了新年礼盒,这一期我们来生成一些过年时特有的元宝和红包 首先,最重要的是画面主体 red envelope(红包)颜色红色 黄色的 red and yellow 为了后期方…

跳水比赛(C++)

系列文章目录 进阶的卡莎C++_睡觉觉觉得的博客-CSDN博客数1的个数_睡觉觉觉得的博客-CSDN博客双精度浮点数的输入输出_睡觉觉觉得的博客-CSDN博客足球联赛积分_睡觉觉觉得的博客-CSDN博客大减价(一级)_睡觉觉觉得的博客-CSDN博客小写字母的判断_睡觉觉觉得的博客-CSDN博客纸币(…

解决部署到k8s上的服务返回的msg乱码和控制台乱码的问题

解决部署到k8s上的服务返回的msg乱码和控制台乱码的问题 java -Dfile.encodingutf-8 -jar xxx.jar

Web漏洞分析-SQL注入XXE注入(下)

随着互联网的不断普及和Web应用的广泛应用,网络安全问题愈发引起广泛关注。在网络安全领域中,SQL注入和XXE注入是两个备受关注的话题,也是导致许多安全漏洞的主要原因之一。本博客将深入研究这两种常见的Web漏洞,带您探寻背后的原…

Python中数组去重的方法汇总

Python中数组去重的方法汇总 1. 使用 set2. 使用列表推导式3. 使用 numpy 库4. 使用 pandas 库5. 使用 collections 库的 Counter6. 使用 functools 库的 reduce7. 使用 itertools 库的 groupby总结 在 Python 中,对数组进行去重是常见的操作,以确保数据…

Python 上下文管理器 with 相关用法

Python 上下文管理器 什么是上下文管理器? context manager一个上下文管理器是一个对象它定义了运行时的上下文使用 with 语句来执行 with 语句 with context as ctx:# 使用这个上下文对象 # 上下文对象已经被清除​ 这里我们使用 Python的文件操作 打开一个文…

GNSEC 2022年第8届全球下一代软件工程线上峰会-核心PPT资料下载

一、峰会简介 新一代软件工程是指利用新的理论、方法和技术,在软件开发、部署、运维等过程中,实现软件的可控、可预测、可维护的软件生产方式。它涵盖了多个领域,如软件开发、测试、部署、运维等,旨在提高软件生产效率和质量。 …

103.进程概述

目录 1.并行和并发 区别: 2.PCB 3.进程状态 4. 进程命令 从严格意义上来讲,程序和进程是两个不同的概念,他们的状态,占用的系统资源都是不同的。 程序:程序是一种静态实体,是存储在计算机存储介质上的…

排序算法之二:冒泡排序

冒泡排序的思路 冒泡排序是交换排序 基本思想:所谓交换,就是根据序列中两个记录键值的比较结果来对换这两个记录在序列中的位置,交换排序的特点是:将键值较大的记录向序列的尾部移动,键值较小的记录向序列的前部移动…

判断三角形-第11届蓝桥杯选拔赛Python真题精选

[导读]:超平老师的Scratch蓝桥杯真题解读系列在推出之后,受到了广大老师和家长的好评,非常感谢各位的认可和厚爱。作为回馈,超平老师计划推出《Python蓝桥杯真题解析100讲》,这是解读系列的第12讲。 判断三角形&#…

AOC computer monitor

【窗口增亮】关闭就没掉了

Java异常讲解

🐵本篇文章将对异常相关知识进行讲解 一、异常的结构 在程序执行的过程中出现的一些问题叫做异常,异常其实是一个一个类,每一种异常都代表一个类 1.1 几种常见的异常 System.out.println(10/0); //算数异常 //Exception in thread "m…

LDAP协议和AD活动目录的讲解

目录 LDAP协议 LDAP基本概念 LDAP目录的数据结构 LDAP交互过程以及相关报文 AD(Active Directory) AD基本概念 AD域与工作组、本地组的区别 AD DS(AD域服务) 信任关系 组策略和安全组 LDAP协议 LDAP基本概念 LDAP&…

TypeScript:JavaScript的超集,让代码更安全、更可维护

一、介绍 TypeScript是微软开发的一种静态类型检查的JavaScript超集,它在JavaScript的基础上添加了类型系统,使得开发者能够更好地定义变量类型,提高代码的可读性和可维护性。本文将介绍TypeScript的基本概念、优势、使用方法和实践。 二、…

2024年程序员面对经济下行的解决方式竟然是……

近些年大环境不好,经济下行的压力给到了我们每一个普通人的身上:降薪是潮流,裁员是趋势,找不到工作是常态。 在这样的环境下,我们曾一天三份工,只为家人温饱; 我们也曾一周七天连轴转&#xf…

ProEasy机器人:快速上手使用机器人软件与编程(干货满满,好学不费脑)

一、安装机械手软件 如图所示,安装顺序为:先安装第一个,再安装第二个 二、快速认识学习掌握机械手软件重要功能 1.连接机械手 机械手默认出厂的ip为:“192.168.1.1”,在初次连接机械手前,必须把使用连接的…

JVM常用调优参数

针对Java虚拟机(JVM)的性能调优,有一些常见的调优参数可以用来提高应用程序的性能和稳定性。以下是一些常用的JVM调优参数: 堆内存设置 -Xms:设置JVM初始堆大小-Xmx:设置JVM最大堆大小-Xmn:设…

k8s官方镜像代理加速

背景 大家可能在云原生领域需要部署周边的一些生态组件时,在国内遇到无法正常拉取镜像,显得就有点苦恼,不过没关系,常见的${{ registry_name }} 例如 “gcr.io”,“registry.k8s.io” Failed to pull image “registry…

C# Solidworks二次开发:获取零件的最小包容体方法详解

今天要讲的文章是在Solidworks如何获取零件的最小包容体的方法,这个方法的API如下所示: 获取零件的最小包容体的API为:partDoc.GetPartBox(true); 这个方法中参数为只有一个,是否转换为用户单位;True保留系统单位,fa…