本页是 Isaacs《Finite Group Theory》第 2 章“次正规性”的可核验阅读地图。它不复制原书正文，而把本章 20 条编号结论和 19 道习题逐项连接到 Wikist 中承担解释的主干或支撑词条。[1, pp. 45-64]
使用方法
分节导航
| 节 | 主题 | 目标词条 | 结论 | 习题 | |
|---|---|---|---|---|---|
| 2A | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 11 | 10 |
| 2B | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 3 | 6 |
| 2C | 正规化子、局部子群与商群 | [[normalizer | 正规化子]] | 3 | 1 |
| 2D | 阿贝尔子群交与 Zenkov 型结果 | [[subnormal-subgroup | 次正规子群]] | 3 | 2 |
编号结论索引
| 编号与名称 | 类型 | Wikist 词条 | 处理状态 | |
|---|---|---|---|---|
| 编号结论 2.1 | lemma | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.2 | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.3 | lemma | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.4 | corollary | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.5 | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.6 | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.7 | lemma | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.8 | theorem | [[wielandt-zipper-lemma | Wielandt 拉链引理]] | 专门词条处理 |
| Wielandt zipper 引理（2.9） | theorem | [[sylow-theorems | Sylow 定理]] | 专门词条处理 |
| 编号结论 2.10 | lemma | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.11 | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| Baer（2.12） | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.13 | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.14 | lemma | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| 编号结论 2.15 | theorem | [[sylow-theorems | Sylow 定理]] | 专门词条处理 |
| 编号结论 2.16 | lemma | [[normalizer | 正规化子]] | 主题索引 |
| 编号结论 2.17 | lemma | [[normalizer | 正规化子]] | 主题索引 |
| Zenkov（2.18） | theorem | [[sylow-theorems | Sylow 定理]] | 专门词条处理 |
| 编号结论 2.19 | corollary | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
| Lucchini（2.20） | theorem | [[subnormal-subgroup | 次正规子群]] | 主题索引 |
习题知识索引
下表把每道习题定位到主要知识节点。它不把题解伪装成百科正文；已经提炼成定理或结构后果的内容，会在目标词条中明确说明。
| 习题 | 分节主题 | Wikist 词条 | 状态 | |
|---|---|---|---|---|
| 2A.1 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 正文明确引用 |
| 2A.2 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.3 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.4 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.5 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.6 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.7 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 正文明确引用 |
| 2A.8 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 正文明确引用 |
| 2A.9 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2A.10 | 次正规性与 zipper 引理 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.1 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.2 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.3 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.4 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.5 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2B.6 | Baer 判据与局部结构 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2C.1 | 正规化子、局部子群与商群 | [[normalizer | 正规化子]] | 习题索引 |
| 2D.1 | 阿贝尔子群交与 Zenkov 型结果 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
| 2D.2 | 阿贝尔子群交与 Zenkov 型结果 | [[subnormal-subgroup | 次正规子群]] | 习题索引 |
质量边界
本导读的职责是完整导航，不是替代原书。主干词条给出关键证明；支撑词条给出准确命题、边界、例子与证明出处。凡状态为“主题索引”或“习题索引”的项目，引用位置均保留在覆盖清单中，后续可在社区审阅下逐步升级为独立词条。[1, pp. 45-64]
参考文献
1 条结构化来源- [1]I. Martin Isaacs. (2008). Finite Group Theory. Graduate Studies in Mathematics 92. American Mathematical Society链接
