群的四条公理：最小规则如何保证可逆计算

本课要解决的问题

旋转、整数加法和可逆矩阵看似不同，它们共同依赖哪些规则？

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

概念建立

群是集合 G 连同二元运算 *，满足封闭性、结合律、单位元存在和每个元素都有逆元。封闭性保证运算不跑出系统；结合律允许省略括号；单位元表示不动作；逆元使每一步可以撤销。交换律不是群公理，满足交换律的群另称阿贝尔群。

推导主线

由公理还能推出单位元唯一、每个元素的逆元唯一。若 e 与 e' 都是单位元，则 e=ee'=e'。若 b,c 都是 a 的逆元，则 b=be=b*(ac)=(ba)c=ec=c。可见定义很短，却能导出稳定结论。

完整例题

整数集合配加法是群：0 是单位元，n 的逆元是 -n。整数配乘法不是群，因为 2 的乘法逆元 1/2 不在整数中。非零有理数配乘法是群。

严格边界

检验群不能只看几个样例。必须明确集合和运算；同一集合换一种运算，结论可能完全不同。结合律不能由交换几个元素的试算证明。

课后闭环

逐条检验偶整数在加法下构成群；再指出自然数在加法下缺失哪条公理。尝试解释为什么方阵在普通乘法下必须限制为可逆矩阵。

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