定義
G を群とする。
{[x, y]；x、y ∈ G} で生成される G の部分群を G の交換子部分群と呼び [G, G] と書く。