交換子

数学における交換子（こうかんし、）は、二項演算がどの程度可換性からかけ離れているかを測る指標の役割を果たすものである。考えている代数構造により定義が異なる。物理学、特に量子力学における交換子の役割については、交換関係 (量子力学)の項を参照。
群論における交換子.
群 の二つの元 の交換子は
あるいは
で定義される（文献によって異なる。群論の専門家は上の方をよく使う）。交換子がその群の単位元 に等しいことと、 と が互いに可換（つまり ）となることとは同値である。 のすべての交換子から生成される の部分群を、 の導来群 または交換子群と呼び、 あるいは と表記する。注意すべきは、一般には交換子は群演算について閉じていないので、交換子全体の成す集合 そのものではなく、それで生成される部分群 を考えなければならないことである。交換子の概念は、冪零群や可解群の定義に用いられる。
群論における恒等関係式.
交換子についての関係式は群論における重要な道具である。以下、"ax" は "x" による "a" の共軛変換（共軛元） "x"−1"ax" を表す。
最後の 5 番目の式はホール–ヴィットの恒等式 として知られるものである。これは環論的な意味での交換子に対する[[ヤコビの恒等式]]（次節の[[#環論における恒等関係式|環論における恒等関係式]]）の群論的な対応物である。
上記の "x" による "a" の共軛変換の定義は群論の研究者がよく使うものだが、
を "x" による "a" の共軛変換の定義とする（この場合はしばしば "x""a" と書いたりする）こともよくあるので注意を要する。こちらの定義についても（適当に読み替えを行えば）上述の[[#群論における恒等関係式|群論における恒等関係式]]と同様の関係式が成立する。
特定の部分群で割った剰余群を考えれば、広くさまざまな恒等式が成り立つようにできる。これは[[可解群]]や[[冪零群]]の研究においてとくに有用である。たとえば、任意の群において積の自乗は
が成り立つという意味でよく振舞う。したがって、[[導来部分群]]が[[中心 (代数学)|群の中心]]に含まれる（中心的）ならば
という関係が成り立つ。
環論における交換子.
[[環 (数学)|環]]または[[結合多元環]]の二つの元 "a", "b" の交換子は
で定義される。交換子 ["a", "b"] が [[加法単位元|0]] となるための必要十分な条件は、"a" と "b" とが互いに交換可能であることである。[[線型代数学]]では、ベクトル空間のふたつの自己準同型は、基底をひとつ定めれば（基底のとり方に関わらず）、互いに交換可能な行列によって表される。交換子を[[リー括弧積]]とみなすことにより、任意の結合多元環を[[リー環]]にすることができる。[[ヒルベルト空間]]において定義されるふたつの作用素の交換子は、それらの作用素によって記述されたふたつの[[物理量|観測可能量]]がどの程度よく振舞うかが交換子によって測れるという意味で、[[量子力学]]において重要である。[[不確定性原理]]はこれらの物理量の交換子を[[不確定性関係|ロバートソン–シュレーディンガー関係式]]を通して扱った定理である。
環論における恒等関係式.
交換子は以下のような性質を満たす。
環 "R" の元 "A" を一つ固定して、上に挙げた有用な関係式の最初のものを考えると、これは写像
に対する[[ライプニッツの法則|積の微分法則]]と解釈することができる。言い換えれば、写像 "D""A" は環 "R" 上の[[導分]]（微分作用素）を定める。
[[ベイカー–キャンベル–ハウスドルフの公式]]の特別な場合だが、交換子を用いて書ける次の恒等式
は有用である。
次数つき交換子.
[[次数付き多元環|次数環]]を扱うとき、交換子もしばしば、斉次成分について
となるものとして定義される、次数付き交換子 に置き換えられる。
導分.
多重交換子などを扱う場合などは特に、[[随伴表現]]を使った別の記法
を用いたほうが有効なこともある。このとき、ad("x") は環の導分（微分作用素）で、"ad" は線型である。つまり、
がともに成り立つ。また "ad" は[[リー環準同型]]、つまり
を満たすものである。しかし、一般には
が必ずしも成り立たず、多元環の準同型とは必ずしもならない。
反交換子.
環や結合多元環の二つの元 "a", "b" の反交換子 は
で定義される。反交換子は交換子ほど応用範囲が広いわけではないが、たとえば[[クリフォード代数]]や[[ジョルダン代数]]の定義などに用いられる。
外部リンク.
[[Category:環論]]
[[Category:群論]]
[[Category:数学に関する記事]]
[[Category:抽象代数学]]
[[Category:二項演算]]