記事ソース/共役類
メニュー現在 12 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/共役類†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容==========================================
共役類
==========================================
集合の元の間に、共役という関係を考えます。共役は同値関係なので、これによって群を類別することができます。この記事では、共役と共役類を勉強します。類別や同値関係の概念が曖昧な人は、もう一度、 類別_ や 整数の加法群の剰余類_ 、 剰余類_ を復習してみてください。
今後、共役をとる操作が非常に大事になります。
共役
----------------------------------------------
集合の二つの元 $a,b$ の間に、次の関係がなりたつとき、 $b$ を $a$ の *共役* (きょうやく)と呼び、 $a$ と $b$ は共役関係にある、もしくは、互いに共役であるといいます。
<tex>
b=pap^{-1} \tag{1}
</tex>
すでに、 群が集合の上で働くということ_ の記事で、共役の定義は出てきたと思います。しかし、 $a$ と $b$ を結ぶ関係にも色々あるだろうに、共役という、片一方にだけ $^{-1}$ がついた変チクリンな関係にどうして着目するかと感じるかも知れません。共役作用によって、後で勉強する 群の中心_ や 正規部分群_ という非常に重要な概念が出てくるのです。
.. [*] 化学や生化学にも共役という言葉があるようですが、意味は全然違います。
.. [*] 共役は、昔は共軛と書かれていました。軛は難しい字ですが、訓読みで「くびき」と読みます。馬車で、馬を二頭横につなぐときに使う棒のことです。二つの元が一つのセットとなって働く様子が目に浮かぶような絶妙な訳語でした。しかし、常用漢字外であったので、音だけとって共役と書かれるようになりました。このため、今では意味がよく分からなくなってしまいました。残念なことです。
.. [*] 複素数や四元数に共役というのがありました。真ん中の符号を入れ換えて、 $\alpha +i\beta$ の共役を $\alpha -i\beta$ とするものです。これは式(1)とは少し違う操作なので、いまのところ関係ないと思っておいて下さい。
共役の図形的意味
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
理解の助けの一つとして、いままでに何度も出てきた、図形を回転させる変換では、共役はどのような変換を表わすのかを考えます。
図の $x$ 軸回りに、図形を角 $\alpha$ だけ回転させる変換を $a$ 、 $z$ 軸回りに角 $\beta$ 図形を回転させる変換を $p$ とします。いま、 $a$ の $p$ に関する共役元 $b=pap^{-1}$ の左作用について、その図形的意味を考えて見ましょう。左作用ですから、 $p^{-1}$ から順番に作用していきます。
.. image:: Joh-Conjugate1v1.gif
:align: center
まず $p^{-1}$ が作用すると、図形は $z$ 軸回りに $-\beta$ だけ回転します。つまり、いままで $x-y$ 平面上で $x$ 軸と角 $\beta$ だけずれた方向にあった図形の軸(仮に $\xi$ 軸と呼びましょう)が、 $x$ 軸に一致します。
.. image:: Joh-Conjugate2v1.gif
:align: center
次に $a$ が作用すると、これは定義通り、図形は $x$ 軸回りに角 $\alpha$ だけ回転します。最後に、 $p$ の作用によって図形の $\xi$ 軸はまた元のように、 $x$ 軸から角 $\beta$ ずれた方向に向きます。
結局、 $pap^{-1}$ によって図形に対して行われた変換は『 $\xi$ 軸回りに、図形を角 $\alpha$ だけ回転させるもの』と同じであったことが分かります。変換 $a$ によって行われる回転と同じことが、少しずれた所で、すなわち $p$ によって表わされる移動分だけずれた所で行われたわけです。
一般に、ある変換 $a$ の共役 $pap^{-1}$ とは『 *少しずれた世界で、元の変換aと同様の作用をする変換だ* 』と考えられます。そして、その世界のずれを表わすのが $p$ という変換です。
.. [*] 図形の例でない場合、 $p$ の引き起こす作用がイメージしづらく、『すこしずれた世界』という意味がよく分からないとは思いますが、あまり図形的イメージにばかり頼ってもいられません。いま取り上げた図形の例や、この記事の最後に取り上げる対称群の例を理解の助けに、共役によって『似た働きをする作用』が関係付けられるということを理解できれば、共役に対するイメージとしては十分だと思います。この『似ている』という関連づけが、数学的には、次節で勉強する共役類による類別に他なりません。
共役関係による類別
-----------------------------------------------------------
共役がたしかに同値関係であることを確認しましょう。同値関係の定義は、反射律、対称律、推移律の三つを満たすことでした。( 整数の加法群の剰余類_ を参照してください。同値関係を忘れてしまった人は、 類別_ を復習して下さい。)
1. 単位元との共役を取れば $a = eae^{-1}$ が成り立つので、反射律がなりたちます。
2. もし $a=pbp^{-1}$ が成り立てば、左側から $p^{-1}$ , 右側から $p$ を掛けて、 $p^{-1}ap =b$ が成り立ちます。 $p^{-1}=p'$ と置けば、これは $b=p'a{p'}^{-1}$ と書き換えられて、対称律になっています。
3. もし $a,b$ , $b,c$ が互いに共役ならば、 $b=pap^{-1}$ , $c=qbq^{-1}$ を満たす $p,q$ が存在するはずです。このとき、 $c = pqaq^{-1}p^{-1}=(pq)a(pq)^{-1}$ となり、推移律もなりたっています。
共役は、同値関係だということが分かりましたから、これを使って群を類別することができるはずです。
共役類
--------------------------------------------------------------
群 $G$ に対し、ある元 $a$ に共役な元を全て集めた集合を *aの共役類* と呼びます。共役は同値関係でしたから、共役な元を集めることで、群を類別できるのです。基本的には、群を剰余類に分けたときと同じ話なのですが、共役を取ることのイメージが湧きにくい分、剰余類のときよりも難しく感じるかも知れません。いくつか例を見ながら慣れていきましょう。
例１
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
置換 $(3 \ 1)$ と $(1 \ 2)$ が共役なことを確認しましょう。
<tex>
(1 \ 2)= \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{array} \Big) (3 \ 1) \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{array} \Big)^{-1}</tex>
例２
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
共役の意味が、もう少しはっきりする例として、対称群の元の共役を考えます。５文字の対称群を考えるとき、まず、一つ目のタイプとして $(1 \ 2 \ 3 \ 4 \ 5)$ のように、全文の文字が巡回するものがあります。これは、輪になった文字が、グルリと一つずれる様子を想像すると分かりやすいでしょう。
.. image:: Joh-Cycle1.gif
:align: center
二つ目のタイプとして、 $(1 \ 2 \ 3)(4 \ 5)$ のようなものがあります。これは、図で描けば、二つの巡回サイクルがあって、それらが互いに関係していないような場合です。
.. image:: Joh-Cycle2.gif
:align: center
同様に、 $(1 \ 2 \ 3 \ 4)$ のようなものや、 $(1 \ 2)(3 \ 4)$ のようなものもあります。
.. image:: Joh-Cycle3.gif
:align: center
結局、５文字の対称群には、幾つかの文字を不変に保つようなものも含めて、例えば $(i_{1}, i_{2},i_{3},i_{4},i_{5}),(i_{1}, i_{2},i_{3},i_{4}),(i_{1}, i_{2})(i_{3},i_{4},i_{5}),(i_{1}, i_{2})(i_{3},i_{4})$ のようなタイプがあると言えます。
例として $a=(1 \ 3 \ 5)(2 \ 4)$ を考え、 $a$ の共役がどのような元なのかを見てみましょう。一般に５次の対称群は $p=\Big( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ \end{array} \Big)$ と書けます。これを使って $a$ の共役 $pap^{-1}$ を考えてみましょう。
<tex>
pap^{-1}&=\Big( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ \end{array} \Big)(1 \ 3 \ 5)(2 \ 4) \Big( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ \end{array} \Big)^{-1} \\
&=\Big( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ \end{array} \Big)(1 \ 3 \ 5)(2 \ 4) \Big( \begin{array}{ccccc} i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ 1 & 2 & 3 & 4 & 5 \\ \end{array} \Big) \\
&=\Big( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ \end{array} \Big)\Big( \begin{array}{ccccc} i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ 3 & 4 & 5 & 2 & 1 \\ \end{array} \Big)\\
& =\Big( \begin{array}{ccccc} i_{1} & i_{2} & i_{3} & i_{4} & i_{5} \\ i_{3} & i_{4} & i_{5} & i_{2} & i_{1} \\ \end{array} \Big) \\
&=(i_{1} \ i_{3} \ i_{5})(i_{2} \ i_{4})
</tex>
ここでは、 $i_{1},i_{2},i_{3},i_{4},i_{5}$ と置いた文字が、個々に $1,2,3,4,5$ のどれと対応するかは任意ですので、結論として $(1 \ 3 \ 5)(2 \ 4)$ は、一般的に $(i_{1} \ i_{3} \ i_{5})(i_{2} \ i_{4})$ という形をした置換全てと共役であるということが言えます。
同様にして、 $(1 \ 3)(2 \ 4)$ は $(i_{1} \ i_{3})(i_{2} \ i_{4})$ と共役、 $(1 \ 2 \ 3 \ 4 \ 5)$ は $(i_{1} \ i_{2} \ i_{3} \ i_{4} \ i_{5})$ と共役と言えます。結局、対称群に関しては、 *共役類による類別が、置換を巡回置換の積として表わすときのタイプ分けになっている* ということが言えます。
群が自分自身に働いていると考えたとき
----------------------------------------------------
群 $G$ がある集合 $M$ 上で働く場合、色々な作用があることは 群が集合の上で働くということ_ で見ました。ここでは共役作用を考えます。もし $M=G$ とすると、 $G$ の元は $G$ の元自身の共役を取るような働きをすることになり、全ての元の働きを考えると、 $G$ は共役類で類別されてしまうことになります。さらに、ある元が $G$ によって移される先を全て集めた集合が軌道でしたが、まさに一つの軌道は一つの共役類になっています。 *共役類は、群の共役作用による自分自身の軌道に他なりません* 。
.. _群が集合の上で働くということ: http://www12.plala.or.jp/ksp/algebra/GroupAction/
.. _類別: http://www12.plala.or.jp/ksp/algebra/Klassierung/
.. _整数の加法群の剰余類: http://www12.plala.or.jp/ksp/algebra/ZAdditionRemainder/
.. _剰余類: http://www12.plala.or.jp/ksp/algebra/Remainder/
.. _群の中心: http://www12.plala.or.jp/ksp/algebra/GroupCentre/
.. _正規部分群: http://www12.plala.or.jp/ksp/algebra/NormalSubgroup/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: ConjugateClass@@
|
