記事ソース/固定部分群
メニュー現在 6 名がオンラインです。 最新の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の記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容=============================================
固定部分群
=============================================
軌道に関する概念で重要なものに、固定部分群があります。
固定部分群の定義
-----------------------------------------
群 $G$ の、集合 $M$ 上の軌道を考えるとき、 $M$ 上の一点( $x_{0}$ とします)を不動に保つ変換 $g$ ( $g\in G$ )全体からなる集合は *群になります* 。群の公理を確認してみましょう。
1. $g(x_{0})=x_{0}, \ h(x_{0})=x_{0}$ ならば、 $(g\circ h)(x_{0})=g(h(x_{0}))=g(x_{0})=x_{0}$ となり、演算について閉じています。
2. 結合則がなりたちます。 $(g\circ h)(x_{0})=g(h(x_{0}))$
3. 単位元があります。
4. $g(x_{0})=x_{0}$ より、 $x_{0}=g^{-1}(g(x_{0}))=g^{-1}(x_{0})$ が成り立ちますので、逆元も存在することが言えます。
これを $x_{0}$ の *固定部分群* (もしくは *安定部分群* )と呼び、 $G_{X_{0}}$ のように書きます。例を見たほうが、意味が分かりやすいでしょう。
例１
^^^^^^^^^^^^^^^^^^^^^^^^^
正四面体群 $P(4)=\{ e, (2 \ 3 \ 4) ,(2 \ 4 \ 3) , (1 \ 3)(2 \ 4) , (1 \ 4 \ 3) , (1 \ 3 \ 4) , (1 \ 2)(3 \ 4), (1 \ 2 \ 4), (1 \ 4 \ 2) , (1 \ 4)(2 \ 3) , (1 \ 3 \ 2) , (1 \ 2 \ 3) \} $ のうち、図の頂点 $A_{1}$ の固定部分群は、 $\{ e, (2 \ 3 \ 4), (2 \ 4 \ 3)\} $ です。
.. image:: Joh-TetraEigen.gif
:align: center
<tex>
P(4)_{A_{1}}=\{ e, (2 \ 3 \ 4), (2 \ 4 \ 3)\}
</tex>
この $3$ つの元以外は、頂点 $A_{1}$ を動かしてしまうことと、 $P(4)_{A_{1}}$ が $P(4)$ の部分群になっていることを確かめてください。
例２
^^^^^^^^^^^^^^^^^^^^^^^^^^
３次の対称群 $S_{3}=\{ e,(1 \ 2),(2 \ 3),(1 \ 3),(1 \ 2 \ 3),(1 \ 3 \ 2)\} $ の、集合 $M=\{ 1,2,3 \} $ に対する左作用を考えるとき、 $1$ に対する固定部分群は $\{ e,(2 \ 3)\} $ です。また、 $\{ e,(2 \ 3)\} $ だけで部分群になることを確認してください。
固定部分群と軌道の関係
----------------------------------------------------
群 $G$ が集合 $M$ に作用するとき、 $M$ 上のある点 $x_{0}$ に関して、 $x_{0}$ の軌道 $G(x_{0})$ と $x_{0}$ の固定部分群 $G_{x_{0}}$ との間には密接な関係があります。( $G_{x_{0}}$ と $G(x_{0})$ の記号がとても紛らわしいです。ここまでのところを明快に理解してから先に進むようにしてください。軌道 $G(x_{0})$ の方は、群を関数のように見ているので括弧がつき、 $G_{x_{0}}$ の方は $G$ の部分群なので $G$ に添字がついていると覚えると覚えやすいと思います。)
.. image:: Joh-IsometricGroup21.gif
:align: center
いま、集合 $M$ 上で点 $x_{0}$ の群 $G$ による軌道、すなわち $G(x_{0})$ は、 $M$ の部分集合になります。(もし $x_{0}$ が不動点なら部分集合は $x_{0}$ のみです。もし $x_{0}$ の軌道が $M$ 内をくまなく含むとしたら、部分集合は $M$ 自身です。いずれにせよ、 $G(x_{0})$ は $M$ の部分集合だと言えそうです。) いま、 $G(x_{0})$ には $k$ 個の元が含まれるとします。
<tex>
G(x_{0})=\{ x_{0},x_{1},...,x_{k}\}
</tex>
このとき、軌道と固定部分群の間には、次のような重要な関係が成り立つことが知られています。
.. admonition:: theorem
群 $G$ が集合 $M$ に作用するとき、 $M$ 上の一点 $x_{0}$ に関し、 $x_{0}$ の $G$ による軌道 $G(x_{0})$ と、 $G$ の $x_{0}$ に関する固定部分群 $G_{x_{0}}$ とが一対一に対応します。
証明は次のように考えます。軌道 $G(x_{0})={x_{0},x_{1},...,x_{k}}$ に対し、 $G$ の元のなかには、 $x_{0}$ を $x_{i}$ に移すような元が必ず存在するはずです。この元を $g_{i}$ と名づけましょう。さて、ここで仮に $x_{0}$ を $x_{i}$ に移すような元が二つあったとします。
<tex>
x_{i}=g_{i_{1}}(x_{0}), \ \ x_{i}=g_{i_{2}}(x_{0})
</tex>
一番目の式から、 ${g_{i_{1}}}^{-1}x_{i}=x_{0}$ が言えますので、二番目の式の両辺に ${g_{i_{1}}}^{-1}$ を掛けて次式を得ます。
<tex>
{g_{i_{1}}}^{-1}g_{i_{2}}(x_{0})=x_{0}
</tex>
これより、 ${g_{i_{1}}}^{-1}g_{i_{2}}$ は $x_{0}$ を動かしませんので、 $x_{0}$ の固定部分群 $G_{x_{0}}$ の元だと言うことがわかります。
<tex>
{g_{i_{1}}}^{-1}g_{i_{2}} \in G_{x_{0}}
</tex>
上の関係を、両辺から ${g_{i_{1}}}^{-1}$ を掛けて次のように書き直してみましょう。
<tex>
g_{i_{2}} \in {g_{i_{1}}}G_{x_{0}}
</tex>
これは、 ${g_{i_{2}}}$ と ${g_{i_{1}}}$ が、 $G_{x_{0}}$ の同じ左剰余類に属しているという主張に他なりません。つまり、群 $G$ の元のうち、軌道 $G(x_{0})=\{ x_{0},x_{1},...,x_{k} \} $ の元 $x_{0}$ を $x_{i}$ に移すような働きをするものは、全て同じ左剰余類に入るということになります。■
軌道による類別
------------------------------------------------------------------
この結果を使うと『軌道 $G(x_{0})=\{ x_{0},x_{1},...,x_{k} \} $ の元 $x_{0}$ を、どの元に移す作用をもつか』によって、群 $G$ の元を次のように分類できることになるでしょう。(元 $x_{0}$ を $x_{i}$ に移すような群 $G$ の元の一つを、 $g_{i}$ と書いておきます。このような元は複数あるかもしれませんが $g_{i}$ で代表させておきます。)
<tex>
G=G_{x_{0}}+g_{1}G_{x_{0}}+g_{2}G_{x_{0}}+....
</tex>
もう一度おさらいしておくと、この式の意味するところは『第一項( $x_{0}$ の固定部分群)は、 $x_{0}$ を動かさない元全てを含む(これは定義)』『第二項は、 $x_{0}$ を $x_{1}$ に移すような変換をする元全てを含む』『第三項は、 $x_{0}$ を $x_{2}$ に移すような変換をする元全てを含む』・・・以下同様・・・ということです。
一つの元が、 $x_{0}$ を $x_{1}$ に移すこともあれば、気分によって $x_{2}$ に移すこともある！？・・・なーんてことは、ありませんので、上の分け方に重複はありません。よって、これは *類別* になっているのでした( 軌道の概念_ の定理を参照)。
大事なのは、『群 $G$ の元 $g$ が、 $G$ の $G_{x_{0}}$ による左剰余類 $g_{k}G_{x_{0}}$ の元である』ということと、『 $g_{k}$ は $x_{0}$ が $x_{k}$ を通るような軌道を与える』ということが同値だという点です。
<tex>
g \in G_{x_{0}} \ \Longleftrightarrow \ g(x_{0})=x_{0}
</tex>
<tex>
g \in g_{1}G_{x_{0}} \ \Longleftrightarrow \ g(x_{0})=x_{1}
</tex>
<tex>
g \in g_{2}G_{x_{0}} \ \Longleftrightarrow \ g(x_{0})=x_{2}
</tex>
<tex>
................
</tex>
<tex>
g \in g_{i}G_{x_{0}} \ \Longleftrightarrow \ g(x_{0})=x_{i}
</tex>
<tex>
................
</tex>
軌道 $G(x_{0})$ は、 $M$ の部分集合なわけですが、その軌道を見ることで、もとの群 $G$ の元を類別できてしまったわけです。
この結果を次のように表現することもできます。
.. admonition:: theorem
群 $G$ が集合 $M$ の作用するとき、 $M$ の一点 $x_{0}$ のG-軌道は、 $G$ の $G_{x_{0}}$ による左剰余類と一対一に対応します。
また、とくに $G$ が有限群の場合は、次の関係が成り立ちます。
<tex>
G=G_{x_{0}}+g_{1}G_{x_{0}}+g_{2}G_{x_{0}}+...+g_{k}G_{x_{0}}
</tex>
これより、 $G(x_{0})=\{e,g_{1},...,g_{k}\}$ とすると、位数に関して次の関係が言えるでしょう。
<tex>
|G|=|G(x_{0})|\cdot |G_{x_{0}}|
</tex>
これは大事な関係ですから、定理として覚えておきます。
.. admonition:: theorem
有限群 $G$ のG-軌道に現われる点の個数は、 $G$ の位数の約数になります。
意味するところがとてもイメージしやすい定理です。ここで、自分なりにしっかりと意味を理解しておきましょう。
.. [*] 慣れるまで $G(x_{0})$ と $G_{x_{0}}$ は記号が紛らしいですので、しっかりと覚えるようにしてください。 $G(x_{0})$ は $x_{0}$ のG-軌道で $M$ の部分集合、 $G_{x_{0}}$ は $x_{0}$ の固定部分群で $G$ の部分群です。
.. _軌道の概念: http://www12.plala.or.jp/ksp/algebra/GroupOrbit/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: IsometricGroup@@
|
