在抽象代数中，一个群的交换子或换位子是一个二元运算子。设g及h 是群G中的元素，他们的交换子是g-1h-1gh，常记为[g, h]。只有当g和h符合交换律（即gh = hg）时它们的交换子才是这个群的单位元。一个群G的全部交换子生成的子群叫做群G的导群，记作D(G)。