交換子部分群

数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、）あるいは導来部分群（どうらいぶぶんぐん、）とは、交換子全体が生成する部分群である。
交換子部分群は商がアーベル群となる最小の正規部分群であるという点で重要である。すなわち、商 がアーベル群となる必要十分条件は正規部分群 が交換子部分群を含むことである。ある意味で交換子部分群はアーベル群との差異を表していて、交換子部分群が大きいほどアーベル群との隔たりが大きいと言える。
交換子.
群 の元 に対し、 と との交換子とは元
のことである。（交換子を と定義する流儀もある。）群の元 と とが可換である（つまり が成り立つ）必要十分条件は交換子 が単位元 と等しいことである。可換とは限らない一般の場合には が成り立つ。
群 の元 が交換子であるとは、適当な元 を取って と書けることを言う。単位元 は常に交換子であり、これが唯一の交換子となるための必要十分条件は がアーベル群であることである。
ここに単純だが有用な交換子恒等式を挙げる。以下 は群 の元とする。
前の二つは の交換子全体の成す部分集合が反転と共役に関して閉じていることを示すものである。三つ目の式で と取れば、交換子全体の成す部分集合が の任意の準同型で閉じていることを示すものとなる。この三つ目は実は二つ目の等式の一般化であり、実際に自己準同型 として共役変換 を取れば二つ目が出る。
しかし交換子二つ以上の積は必ずしも交換子とは限らない。一般的な例として、自由群の元 に対して交換子の積 が交換子に書けないことを見ればよい。二つの交換子の積が交換子とならない最小位数の有限群は位数 96 であることが知られており、実はこの性質を持つ位数 96 の群は互いに同型でないものが二種類存在する。一方で、たとえば有限非可換単純群の場合には交換子の積は交換子で表せる——実際にはすべての元が交換子で表せる（Ore予想）——ことが知られている。
定義.
一般に交換子が積で閉じていないことが次の定義に繋がる。群 の交換子全体が生成する部分群
を の交換子部分群という。これを導来部分群と呼ぶこともある。交換子部分群を表す記号としては他にも
などが慣習的に用いられることがある。交換子の逆元も交換子なので、交換子部分群 の任意の元は有限個の交換子の積
の形に書くことができる。さらに共役に関しては、
が成立するから、交換子部分群は の正規部分群になる。また任意の準同型 に対して
が成立するから、交換子部分群の準同型写像による像は交換子部分群に含まれる。これにより、交換子部分群を作る操作は群の圏における函手と見ることができる（これについて、いくらかは後述する）。また、さらに と取れば、交換子部分群は の任意の自己準同型に関して保たれることがわかる。すなわち、交換子部分群 は のであり、これは単に正規であるというよりも非常に強い性質である。
交換子部分群は、群 の元 を積の形 に書くとき、右辺の積の順番を適当に交換して単位元にすることができるような元 の全体で生成される部分群として定義することもできる。
導来列.
導来群を作る操作を繰り返して
と定義する。このとき部分群 を 次導来部分群、降
を導来列 ("derived series") と呼ぶ。これととを混同してはならない。降中心列の各項は であって、 ではない。
有限群の場合には、導来列は (perfect group) で終わる（これは自明な場合も自明でない場合もある）。無限群の場合、導来群は必ずしも有限項で終わるとは限らず、超限再帰によって無限順序数項まで続けることができて超限導来列 ("transfinite derived series") となることもあるが、最終的には群ので終わる。
アーベル化.
群 とその正規部分群 に対し、剰余群 がアーベル群となる必要十分条件は が交換子部分群 を含むことである。 
剰余群 は群 のアーベル化と呼ばれるアーベル群である。また剰余群としてアーベル化を得ることを、 をアーベル化すると言う。 のアーベル化は や と書かれるのが普通である。
標準的な全射 には有用な圏論的解釈がある。つまり は
を満たす。普遍性からアーベル化 は自然同型を除いて一意的である。また存在性は具体的な構成 からわかる。このアーベル化函手は、アーベル群の圏から群の圏への包含函手の左随伴である。一方で群の中心はこのような函手性を持たない。
これとは別の、アーベル化 の重要な解釈は、 の一次の整数係数ホモロジー群 と見做すことである。
例.
外部自己同型群からの準同型.
導来部分群は特性部分群ゆえ、 の任意の自己同型はそのアーベル化の自己同型を引き起こす。また、アーベル化はアーベル群ゆえ、内部自己同型は自明に作用する。従って準同型定理から準同型写像
が得られる。