交換子群（読み）こうかんしぐん（その他表記）commutator subgroup

ブリタニカ国際大百科事典 小項目事典

交換子群
こうかんしぐん
commutator subgroup

群 G の任意の2元を a，b とし，それぞれの逆元を a^-1，b^-1 とする。このとき aba^-1b^-1 という形のすべての元を考えれば，これらを含む最小の部分群 H は，G の正規部分群となる。元 aba^-1b^-1 を a，b の交換子，H を G の交換子群という。

出典　ブリタニカ国際大百科事典 小項目事典

世界大百科事典（旧版）内の交換子群の言及

【群】より

…この事情は整数全体Zが加法に関して群であり，一つの整数nの倍数全体nZが部分群になり，nで割って余りが同じになるものをひとまとめにしたものが各剰余類であることを思い浮かべれば理解の助けになろう。
［可解群］
　H,Kが群Gの部分群であるとき，｛h^－1k^－1hk｜h∈H,k∈K｝を含む最小の部分群を，HとKとの交換子群といい，[H,K]で表す。[H,H]をD(H)と表すことにする。…

※「交換子群」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」