About: 交換子部分群

数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、英: commutator subgroup）あるいは導来部分群（どうらいぶぶんぐん、英: derived subgroup）とは、交換子全体が生成する部分群である。 交換子部分群は商がアーベル群となる最小の正規部分群であるという点で重要である。すなわち、商 G/N がアーベル群となる必要十分条件は正規部分群 N が交換子部分群を含むことである。ある意味で交換子部分群はアーベル群との差異を表していて、交換子部分群が大きいほどアーベル群との隔たりが大きいと言える。