Terminology: derived subgroup or commutator subgroup

[Lion Yang]

在阅读到 2. 范畴论基础 中的 2.2 函子与自然变换 中 例 2.2.4 “数学中用到的函子说之不尽, 略举数端如下.” 之 4 时遇到了一点小障碍。

4. 对于任意群 G, 定义导出子群 G der 为子集 {xyx −1 y −1 : x,y ∈ G} 生成的正规
   子群. 商群 G/G der 是交换群, 称作 G 的 Abel 化 (参看引理 4.7.3). 对于任意
   群同态 φ : G → H, 从定义可看出 φ(G der ) ⊂ H der , 因此 φ 诱导出交换群的同
   态 ¯ φ : G/G der → H/H der . 容易验证 G 7→ G/G der , φ 7→ ¯ φ 定义了 Abel 化函子
   Grp → Ab. Abel 化函子不是忠实函子.

读到第一句 “子群 G der” 的时候好奇为何有这样的构造，且商群 G/G der 恰好是交换群的特性更让我思考如此特别的子群定有一个名字来描述它。但指引参看的引理 4.7.3 中没有特别提及什么新的名词。后来搜索了好一番才注意到我断句错了，应该是 “导出子群 G der”。

我在论坛和论文检索中注意到，似乎比起 “导出子群” 能找到的更多的说法有 “导群” 和 “换位子群”，后两者的词法不那么容易令人误读。目前还对代数不甚了解，斗胆提议老师，调整一下此处的术语用法会否更好。