交換子

在抽象代數中 ， 一個群的交換子 （ commutator ） 或換位子是一個二元運算子 。 設g及h 是 群G中的元素 ， 他們的交換子是g −1 h −1 gh ， 常記爲 [ g, h ] 。 只有當g和h符合交換律 （ 即gh = hg ） 時他們的交換子纔是這個群的單位元 。 一個群G的全部交換子生成的子群叫做群G的導群 ， 記作D ( G ) 。