ガロア理論の柱の一つである可解群を構成する交換子群について、基本を説明する。交換子群はあくまで交換子全体によって生成される部分群であり、交換子でない元を含んでいても良い。さらに、交換子群D(G)が群Gの正規部分群となることを丁寧に説明する。