同构与不变量：何时两个群只是换了名字

本课要解决的问题

两个群的元素看起来不同，怎样证明它们拥有完全相同的运算结构？

这不是先背名词再找用途。我们从一个确切问题出发，逐步抽出能够重复使用的数学结构。学完本课，你应能解释“为什么要这样定义”，并独立完成一个计算或证明。

概念建立

双射同态称为同构，记 G≅K。同构允许在两个群之间无损翻译运算，因此保留群阶、元素阶、交换性、循环性和子群包含结构等不变量。寻找不变量差异可以证明不同构，但单个不变量相同通常不足以证明同构。

推导主线

同态 φ 单射当且仅当 kerφ={e}。若单射且 φ(a)=φ(b)，则 φ(a⁻¹b)=e，故 a⁻¹b=e、a=b；反之若核平凡，以上推理给单射。有限群间若阶相同，单射与满射任一项再加同态即可得到同构。

完整例题

φ:Z₁₂→Z₆ 的自然约化满射，核为{[0],[6]}，含2个元素，所以不单射，也不是同构。Z₄ 与 Z₂×Z₂ 都有4个元素，但前者有4阶元素，后者没有，故不同构。

严格边界

群阶相等并不保证同构；生成元个数、元素阶分布等都可能不同。写出双射也不够，还必须验证运算相容。

课后闭环

用元素阶证明 Z₈ 与 Z₄×Z₂ 不同构；再构造 Z₆ 与 Z₂×Z₃ 的具体同构并验证加法相容。

完成页面中的单选、多选和计算题。计算题要保留中间步骤；多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误，隔一天遮住答案重做。