記事ソース/対称式・交代式と群
メニュー現在 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の記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容==========================================
対称式・交代式と群
==========================================
この記事では、対称式や交代式と対称群の関係を勉強します。いままでは図形の対称性が話題になっていましたが、ここでは方程式の対称性にします。対称性のあるところに群あり、です。
対称式と置換
--------------------------------------
多項式のうち、文字を入れ替えても式が変わらないものを *対称式* といいました。例えば、次式は対称式です。
<tex>
x^{3}+3x^{2} y + 3xy^{2} + y^{3}
</tex>
この $x,y$ に互換 $(xy)$ を作用させて、 $x,y$ を入れ替えてしまうと次のようになります。
<tex>
y^{3}+3y^{2} x + 3yx^{2} + x^{3}
</tex>
もちろん式は変わりません。次の式も対称式の例です。
<tex>
a^{3} +b^{3} +c^{3} -3abc \tag{1}
</tex>
これに三次の置換を作用させると、次のような式を得るでしょう。 もちろんどれも同じです。( $S_{3}$ を思い出しましょう。)
<tex>
b^{3} +a^{3} +c^{3} -3bac \tag{2}
</tex>
<tex>
c^{3} +b^{3} +a^{3} -3cba \tag{3}
</tex>
<tex>
a^{3} +c^{3} +b^{3} -3acb \tag{4}
</tex>
<tex>
b^{3} +c^{3} +a^{3} -3bca \tag{5}
</tex>
<tex>
c^{3} +a^{3} +b^{3} -3cab \tag{6}
</tex>
さて、 $n$ 個の文字を含む多項式に対し、その多項式が対称式かどうかを判断するには、なにも $n$ 個の変数の置換を *全種類試す必要はありません* 。
一般に、置換操作は全て互換の積で表わせるということでしたので、基本となる互換について対称式であることが分かれば、それらを合成した置換に対しても対称式であることが言えるはずです。
例えば、上の例で言えば、(1)〜(6)式全てを確認する必要はなく、3次の置換の基本となる $(a \ b),(a \ c),(b \ c)$ の三種の互換だけを調べれば良いわけです。さらに、この三つの互換は互いに独立ではなく、 $(b \ c)=(a \ b)(a \ c)(a \ b)$ という関係 [*]_ で結ばれていますから、結局３つのうち二つを調べれば十分だということになります。
一般に、 $n$ 個の文字の置換には $n!$ 種類ありますが、 $n$ 個の文字を含む多項式が対称式かどうかを確認するには、 $n-1$ 個の互換についてだけ調べれば良いことがわかります。随分手間が省けました。
.. [*] このような関係を共役と言います。詳しくは 共役類_ を参照してください。
交代式と交代群
---------------------------------------------------------
一方、文字を入れ替えると式全体の符号が変わってしまうような多項式を *交代式* と呼ぶのでした。例えば、次の式は交代式の例です。 $(a \ b),(a \ c),(b \ c)$ のどの互換を行っても、式の符号が変わることを確認してください。
<tex>
(a-b)(a-c)(b-c)
</tex>
交代式に互換を一つ施すと符号が変わりますが、続けてもう一つ互換を行うと、結局符号は元に戻ります。つまり、偶数個の互換(偶置換)に対し、交代式は符号を変えないのです。符号が変わるのは、奇置換のときだけです。 $n$ 個の文字からなる交代式の符号を変えない全ての置換の集まり(全ての偶置換)を *n次の交代群* と呼びます。交代群の元は、全て偶置換です。
交代群
-----------------------------------------------------
交代群 $A_{n}$ が群になることを確かめてみましょう。
1. 二つの偶置換 $p,q$ がそれぞれ単独に作用して交代式 $F$ を変えないとき、これらを連続して作用させても符合は変わりません。すなわち $pq$ も偶置換であり、演算は閉じていると言えます。
2. 結合則がなりたちます。
3. 単位元が存在します。(何も順番を変えない置換です。)
4. 逆元が存在することは次の証明のようにして示せます。
.. admonition:: proof
ある互換 $(a \ b)$ の逆元が $(b \ a)$ と示せることを使います。 $A_{n}$ に属するある元 $p$ が互換の積として $P=(a_{1} \ b_{1})(a_{2} \ b_{2})\cdot \cdot \cdot (a_{k} \ b_{k})$ ( $k$ は偶数)と表わせるとすれば、この逆元は全部逆に並べ替えて $P^{-1}=(b_{k} \ a_{k})(b_{k-1} \ a_{k-1})\cdot \cdot \cdot (b_{1} \ a_{1})$ と書け、やはり偶数個の互換の積になります。よって逆元も偶置換で、交代群 $A_{n}$ の中に存在します。■
.. [*] 単位元は偶置換に含まれます。ある互換 $p$ を二乗すると、一度入れ替えたものをもう一度入れ替えるのですから、何もしないことと同じになります。すなわち $pp=e$ となり、単位置換は互換だと言えるのです。
.. important::
n次の対称群のうち、偶置換だけから作った部分群を交代群と呼びます。
.. [*] 奇置換だけを集めても群にはなりません。単位元が無いからです。ただし 半群_ にはなります。
交代群の位数
----------------------------------------------------
ある偶置換を $\sigma$ と置きます。 $\sigma$ に、例えば互換 $(1 \ 2)$ を一つ作用させると、これは奇置換になります。これを、偶置換に奇置換を対応させる変換 $\sigma \longmapsto (1 \ 2)\sigma$ と見ると、任意の $\sigma$ に対して必ず奇置換 $(1 \ 2)\sigma$ が一つだけ決まりますから『偶置換の個数 $\leq$ 奇置換の個数』が言えます。
一方、任意の奇置換 $\tau$ に対して、同じ論法で一つだけ偶置換 $(1,2)\tau$ を対応させることができますから、やはり『奇置換の個数 $\leq$ 偶置換の個数』が言えます。
よって『偶置換の個数 $=$ 奇置換の個数』が導かれます。 *偶置換の個数と奇置換の個数は常に等しい* のです。
一般に $n$ 次の対称群について $|S_{n}|=n!$ が言えましたので、上の結果より、交代群の位数はそのちょうど半分だと言えます。
<tex>
|A_{n}| = \frac{n!}{2}
</tex>
補足：基本対称式
----------------------------------------------------------
対称式には色々なものがありますが、特にその基本となるのが、基本対称式と言われるものです。 $n$ 種類の文字 $(x_{1},x_{2},...,x_{n})$ から、異なる $k$ 個の文字を取り出して作りうる積の総和を、 $k$ 次の *基本対称式* $P_{k}$ と呼びます。
実際に例を見れば、すぐに意味が分かると思います。例えば $n=3$ の場合は、次の三種類です。
<tex>
P_1=x_{1}+x_{2}+x_{3}
</tex>
<tex>
P_2=x_{1}x_{2}+x_{2}x_{3}+x_{3}x_{1}
</tex>
<tex>
P_3=x_{1}x_{2}x_{3}
</tex>
一方、 $n$ 個の文字 $(x_{1},x_{2},...,x_{n})$ から選びうる、異なる $2$ 個の文字の差を全て掛け合わせたものを $n$ 次の *最簡交代式* $S_{n}$ と呼びます。
例えば $n=3$ の場合は次のものです。
<tex>
S_{3}=(x_{1}-x_{2})(x_{1}-x_{3})(x_{2}-x_{3})
</tex>
基本対称式や最簡交代式は、これ以降の群の理論には直接必要な話題ではありませんが、知っておいても損はないでしょう。方程式論で、また出てきます。一般に、全ての対称式は、基本対称式を組み合わせ、ただ一通りに表現できること、全ての交代式は、最簡交代式と対称式の積で表現できることが知られています。(この証明は $1762$ 年、ウェアリング( $\text{Edward Waring (1736-1798)}$ )によって与えられました。とても重要な定理ですが、ここでは証明しません。)
.. _半群: http://www12.plala.or.jp/ksp/algebra/SemiGroup
.. _共役類: http://www12.plala.or.jp/ksp/algebra/ConjugateClass
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: SymExpression@@
|
