よく見ると交換子全体でなく交換子全体で生成される群となっていました．
ようやく、次にすすめます．ありがとうございました．

柳楽＠生物系

Ys wrote:
> 
> 交換子全体で生成される群が交換子群です．
> すなわち，有限個の交換子の積の全体です．
> 
> 交換子の集合それ自体はありません．
> 
> 柳楽盛男 wrote:
> > こんにちは．
> >
> > 群Gの元 a , b に対して[a, b] = a^(-1) b^(-1) a b を交換子と呼んで
> > D(G) = { [a,b] | a, b ∈G }を交換子「群」というとどのテキストにも
> > 記載されていますが、よく分からないので教えてください．