综合推断:从12阶群看计数、作用与结构分叉
约 42 分钟
本课要解决的问题
当Sylow条件不能给唯一答案时,怎样结合元素计数和共轭作用继续推进?
这不是先背名词再找用途。我们从一个确切问题出发,逐步抽出能够重复使用的数学结构。学完本课,你应能解释“为什么要这样定义”,并独立完成一个计算或证明。
概念建立
对 |G|=12=2²·3,n₃整除4且模3余1,所以 n₃=1或4;n₂整除3且模2余1,所以 n₂=1或3。不同组合对应不同正规结构,是区分 C₁₂、D₆、A₄ 等群的入口。
推导主线
若 n₃=4,不同3阶子群交只有单位元,每个贡献2个非单位元素,共占8个元素,剩余4个位置包含单位元和2-部分。A₄ 正呈现这种情形:四个3阶Sylow子群,并有一个正规的4阶Klein子群。
完整例题
若 n₃=1,唯一3阶子群正规,可对商群或共轭作用继续分析;若 n₃=4,共轭作用给 G→S₄ 的置换表示。数出轨道只是开始,还需核、像与正规子群连接前章知识。
严格边界
满足候选数并不能唯一确定同构类型;同一群阶可能有多个非同构群。元素计数时要证明不同子群的交,不能简单把阶相乘或相加。
课后闭环
列出12阶群的n₂、n₃全部候选;对n₃=4做非单位元素计数,并比较C₁₂、D₆、A₄实际落在哪个分支。
完成页面中的单选、多选和计算题。计算题要保留中间步骤;多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误,隔一天遮住答案重做。
Practice
本课练习
先独立作答再提交;编程题会在隔离沙箱中真实编译、运行并对拍。