共轭作用:中心、共轭类与中心化子
约 42 分钟
本课要解决的问题
让群作用在自己身上,能否看见哪些元素在内部结构中扮演同类角色?
这不是先背名词再找用途。我们从一个确切问题出发,逐步抽出能够重复使用的数学结构。学完本课,你应能解释“为什么要这样定义”,并独立完成一个计算或证明。
概念建立
G 通过共轭作用 g·x=gxg⁻¹ 作用在自身。x 的轨道是共轭类 Cl(x),稳定子是中心化子 C_G(x)={g:gx=xg}。轨道—稳定子定理给 |Cl(x)|=[G:C_G(x)]。只有单元素共轭类的元素正是群中心 Z(G) 中元素。
推导主线
g 固定 x 当且仅当 gxg⁻¹=x,等价于 gx=xg,所以稳定子就是中心化子。不同共轭类划分 G;把中心元素的单点类与其余类大小相加得到类方程,为后续 Sylow 理论提供计数工具。
完整例题
S₃ 中三个换位彼此共轭,所以 (12) 的共轭类大小为3。由 |S₃|=6,中心化子 C_{S₃}((12)) 的阶为6/3=2,具体为 {e,(12)}。
严格边界
共轭类一般不是子群。中心化子依赖指定元素,群中心则是所有元素中心化子的交;二者不能混用。
课后闭环
列出 S₃ 的三个共轭类,分别求代表元的中心化子,并用类大小之和核对群阶6。
完成页面中的单选、多选和计算题。计算题要保留中间步骤;多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误,隔一天遮住答案重做。
Practice
本课练习
先独立作答再提交;编程题会在隔离沙箱中真实编译、运行并对拍。