交換子
(反交換子 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/08 13:26 UTC 版)
数学における交換子（こうかんし、英: commutator）は、二項演算がどの程度可換性からかけ離れているかを測る指標の役割を果たすものである。考えている代数構造により定義が異なる。物理学、特に量子力学における交換子の役割については、交換関係 (量子力学)の項を参照。
群論における交換子
群 G の二つの元 g, h の交換子は
- [g, h] = g−1h−1gh
あるいは
- [g, h] = ghg−1h−1
で定義される（文献によって異なる。群論の専門家は上の方をよく使う[要出典]）。交換子がその群の単位元 1 に等しいことと、g と h が互いに可換（つまり gh = hg）となることとは同値である。G のすべての交換子から生成される G の部分群を、G の導来群 (derived group) または交換子群と呼び、［G, G］ あるいは G′ と表記する。注意すべきは、一般には交換子は群演算について閉じていないので、交換子全体の成す集合 { ［x, y］｜x, y ∈ G } そのものではなく、それで生成される部分群 〈 ［x, y］｜x, y ∈ G 〉 を考えなければならないことである。交換子の概念は、冪零群や可解群の定義に用いられる。
- ［G, G］ = 〈 ［x, y］｜x, y ∈ G 〉.
群論における恒等関係式
交換子についての関係式は群論における重要な道具である[1]。以下、ax は x による a の共軛変換（共軛元） x−1ax を表す。
反交換子
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/04 03:05 UTC 版)
環や結合多元環の二つの元 a, b の反交換子 (anticommutator) は { a , b } = a b + b a {\displaystyle \{a,~b\}=ab+ba} で定義される。反交換子は交換子ほど応用範囲が広いわけではないが、たとえばクリフォード代数やジョルダン代数の定義などに用いられる。
※この「反交換子」の解説は、「交換子」の解説の一部です。
「反交換子」を含む「交換子」の記事については、「交換子」の概要を参照ください。
- 反交換子のページへのリンク
