导读：Artin《代数》的独特路线：不先给抽象定义，而是让你在可逆矩阵群 $GL_n$ 里先「玩」足够久，群公理自然浮现。
具体起点
$GL_n(\mathbb{R})$：可逆矩阵对乘法封闭、有单位元、有逆元。它包含旋转群、对称群的表现、李群的雏形——一个例子顶十个别处书里的抽象定义。
子群训练：正交群 $O_n$（保内积）、特殊线性群 $SL_n$（行列式 1）、上三角可逆阵——每个都是「加一个条件」的练习，同时练习「验证子群公理」的手感。
从矩阵到同态
同态 = 保持结构的映射：$\varphi(AB) = \varphi(A)\varphi(B)$。行列式就是天然例子：$\det(AB)=\det A \det B$，核为 $SL_n$。第一同构定理 $G/\ker\varphi \cong \mathrm{im}\,\varphi$ 在这里有了具体面孔。
Artin 的忠告：群作用的语言（$G$ 作用于集合 $S$）比「抽象群分类」更常用——轨道-稳定子定理是数清对称性的机器。
过渡到抽象的时机
当你在第三个具体群里重复同样的论证时，抽象化的收益开始大于成本。公理不是起点，是对重复模式的「压缩存档」。
常见误区
- 把群论学成公理背诵，不会计算具体群的例子。
- 忽视群作用：Sylow 定理、Burnside 计数全部依赖它。
吃透自检
- 能在 $GL_n$ 中找到三个不同类型的子群并验证
- 能用轨道-稳定子定理计算正多面体的对称数
- 能陈述并应用第一同构定理于行列式映射