交換子全体で生成される群が交換子群です.
すなわち,有限個の交換子の積の全体です.

交換子の集合それ自体はありません.

柳楽盛男 wrote:
> こんにちは.
> 
> 群Gの元 a , b に対して[a, b] = a^(-1) b^(-1) a b を交換子と呼んで
> D(G) = { [a,b] | a, b ∈G }を交換子「群」というとどのテキストにも
> 記載されていますが、よく分からないので教えてください.