群とは、大学で初めて習う数学の中で、大変興味深い対象のひとつです。
有限単純群の分類、群の表現、リー群、幾何構造、対称空間など
関係する話題は多く、
現代数学の隅々まで群が行き届いています。
群なしでは数学をすることさえできないくらいです。
ですが、これは、$[n]$の並び替えというわけで、置換といいます。
$n$点のうち、２点を入れ替え、それ以外を固定する置換を互換といいます。
交代群 $A_n$ (偶数回の互換でかけるもの全体)は部分群をなしています。
これは、非自明な（自分自身と単位元以外にない）正規部分群です。
群$G$ の正規部分群 $H$ とは$H\triangleleft G$と書きますが、
任意の$g$に対して、$gHg^{-1}=H$を満たすものです。
ただ、$A_n$ $(n\ge 5)$ にはさらに、正規部分群がないこともよく知られており、
5次以上の方程式の解の公式が作れないことの理由がここにあります。
置換群の研究は古くから盛んにされています。
(1.)の本によると、２０世紀初頭は置換群の研究が代数学の中心をしめていたようです。
ところで、本(1.) は最先端の事柄も載っているが、クラシカルなことも
充実しており、例も豊富でかなり読み応えがある。
特に、閑話休題とされたコラムが格別面白い。
表現論を志すなら一通り読むことをお勧めします。
[閑話休題]
(1)に出ている他の置換群の１００年まえの結果として、以下を挙げています。
(a) $n\ge 3$かつ $n\neq 6$ において、交代群 $A_n$ の任意の自己同型は
$S_n$ のある自己同型の制限で得られる．
つまり、$Aut(S_n)\cong Aut(A_n)$ である。
や、
(b) $n\ge 2,\neq 6$ ならば、$S_n$ の自己同型は全て内部自己同型であって、
$Aut(S_n)=S_n$ である。
内部自己同型$Int(G)$とは、 $S_n$ の元 $\tau$ を使って、
$\sigma\mapsto \tau\sigma\tau^{-1}$ となる自己同型全体であり、群をなします。
置換群であれば、全ての元と交換できる元は単位元しかない（中心が自明）ので、
$Int(S_n)\cong S_n$ がなります。
また、
(c) $n=6$ のとき、$|Aut(S_6):Int(S_6)|=2$ であって、
$Aut(A_n)\neq S_6$.
結局自己同型全体は、$S_6$ と位数2の巡回群の半直積になる。
参考文献(1.)や鈴木先生の本(3.)によると、この $n=6$ の例外は有限群論全体に
大きな影響をあたえ、理論を難しくしているらしい。
$n=6$のとき、位数２の元
$\kappa_1=(1,2)(3,4)(5,6),\ \kappa_2=(1,4)(2,5)(3,6),\ \kappa_3=(1,2)(3,5)(4,6)$
$\kappa_4=(1,4)(2,3)(5,6),\ \kappa_5=(1,2)(3,6)(4,5)$
をとると、まず、これらは$S_6$を生成しています。（証明略）
$S_6$ の生成元 $s_1=(1,2),s_2=(2,3),\cdots,s_5=(5,6)$ とし、
写像 $\Gamma:S_6\to S_6$ を、$\Gamma(s_i)=\kappa_i$ を満たすものとすると、
$\Gamma$は実は自己同型を与えています。（証明略）
そのとき、明らかに $\Gamma$ は外部自己同型を与えています．
$n=6$ のときにだけ、なぜこのような外部自己同型が存在するのか
上手く説明することはできるだろうか？
また、$S_6$には、非自明な $S_5$ の埋め込みがあることもよく
知られており、下のブログ
http://cp4space.wordpress.com/2012/11/24/outer-automorphism-of-s6/
にそのエレガントな方法が書かれています．
絵をここで書くのは面倒なので....
上のリンクの中に書かれている６点と１５本からなる辺で
書かれたグラフの辺に図のような５色の配色をしています。
このとき、６角形のいくつかの鏡像はグラフの配色を置換しますが、
グラフの頂点を入れ替える他の変形
（例えば一点を固定するようなものとか）も再びこのグラフの配色が
置換されるものもあります。これらを取っていくと、
６点の置換を使って、５色を入れ替える置換を実現することができます。
つまり、非自明な埋め込み$S_5\hookrightarrow S_6$ が現れます。
自明な埋め込みとは、$n$点のうちの一点を固定する$n-1$点の置換としての
うめこみ、$S_{n-1}\hookrightarrow S_n$ のことです。
幾何的実現する方法としてもあります。
正２０面体は１２個の頂点を持ちますが、
その対角線は中心を通る６本の線分です。
$A_5$は正２０面体群で、２０面体を保ちますから、この６本の対角線全体も
保ちます。
６点集合上に、$A_5$ が作用していることになります。
つまり、$A_5\hookrightarrow A_6$がつくれます。
また、他の方法では、$PSL(2,5)$ が$A_5$に同型であることを使って、
${\Bbb F}_5$を体とした射影平面の６点に
一次分数変換で作用することもできます。
このような変な埋め込みがあることも、外部自己同型が
存在するための状況証拠になりうるわけです。
この埋め込みから実際外部自己同型を構成してみせるのは
（少なくとも私には）大変ですが。
置換群の射影表現を線形表現に直すときも$n=6$において、
特殊なことがおこる。（ふたたび(1.)や(2.)をみよ）
まとめると、置換群では$S_6$だけイレギュラーな性質をもつことがわかります。
6人であみだくじをやる時は少々の注意が必要かもしれません。
これは何を意味しているのか？
群について勉強していけばこの辺のことがはっきりとわかるかもしれません。
鈴木先生の言葉どおり、このことが有限単純群の分類にどう影響したのでしょうか？
このような素朴な疑問を解明したくて、群の勉強の動機とするのもよいと思います。
個人的には、４次元の何か構成に使いたいなぁという感じですが...
[参考文献]
P.S.昨日は、出張で東京に行っていたので手習い塾には行けませんでしたが、
来週は行く予定にしています。
有限単純群の分類、群の表現、リー群、幾何構造、対称空間など
関係する話題は多く、
現代数学の隅々まで群が行き届いています。
群なしでは数学をすることさえできないくらいです。
筑波大でも群について世界的な研究をしている先生は多くおり、
群の研究を行なおうとするのに最適と思われます。
群の研究を行なおうとするのに最適と思われます。
私は群は大学一年生の線形代数かなにかの授業で習い、
高尚な数学的対象に萌えたのを覚えています。
ところで、$n$次対称群 $S_n$ は$n$点の集合 $[n]:=\{1,2,3,\cdots,n\}$ 上の
全単射をなす自己写像、つまり、
$$S_n=\{f:[n]\to [n]|f:\text{全単射}\}$$高尚な数学的対象に萌えたのを覚えています。
ところで、$n$次対称群 $S_n$ は$n$点の集合 $[n]:=\{1,2,3,\cdots,n\}$ 上の
全単射をなす自己写像、つまり、
ですが、これは、$[n]$の並び替えというわけで、置換といいます。
$n$点のうち、２点を入れ替え、それ以外を固定する置換を互換といいます。
交代群 $A_n$ (偶数回の互換でかけるもの全体)は部分群をなしています。
これは、非自明な（自分自身と単位元以外にない）正規部分群です。
群$G$ の正規部分群 $H$ とは$H\triangleleft G$と書きますが、
任意の$g$に対して、$gHg^{-1}=H$を満たすものです。
ただ、$A_n$ $(n\ge 5)$ にはさらに、正規部分群がないこともよく知られており、
5次以上の方程式の解の公式が作れないことの理由がここにあります。
置換群の研究は古くから盛んにされています。
(1.)の本によると、２０世紀初頭は置換群の研究が代数学の中心をしめていたようです。
ところで、本(1.) は最先端の事柄も載っているが、クラシカルなことも
充実しており、例も豊富でかなり読み応えがある。
特に、閑話休題とされたコラムが格別面白い。
表現論を志すなら一通り読むことをお勧めします。
[閑話休題]
(1)に出ている他の置換群の１００年まえの結果として、以下を挙げています。
(a) $n\ge 3$かつ $n\neq 6$ において、交代群 $A_n$ の任意の自己同型は
$S_n$ のある自己同型の制限で得られる．
つまり、$Aut(S_n)\cong Aut(A_n)$ である。
や、
(b) $n\ge 2,\neq 6$ ならば、$S_n$ の自己同型は全て内部自己同型であって、
$Aut(S_n)=S_n$ である。
内部自己同型$Int(G)$とは、 $S_n$ の元 $\tau$ を使って、
$\sigma\mapsto \tau\sigma\tau^{-1}$ となる自己同型全体であり、群をなします。
置換群であれば、全ての元と交換できる元は単位元しかない（中心が自明）ので、
$Int(S_n)\cong S_n$ がなります。
また、
(c) $n=6$ のとき、$|Aut(S_6):Int(S_6)|=2$ であって、
$Aut(A_n)\neq S_6$.
結局自己同型全体は、$S_6$ と位数2の巡回群の半直積になる。
参考文献(1.)や鈴木先生の本(3.)によると、この $n=6$ の例外は有限群論全体に
大きな影響をあたえ、理論を難しくしているらしい。
$n=6$のとき、位数２の元
$\kappa_1=(1,2)(3,4)(5,6),\ \kappa_2=(1,4)(2,5)(3,6),\ \kappa_3=(1,2)(3,5)(4,6)$
$\kappa_4=(1,4)(2,3)(5,6),\ \kappa_5=(1,2)(3,6)(4,5)$
をとると、まず、これらは$S_6$を生成しています。（証明略）
$S_6$ の生成元 $s_1=(1,2),s_2=(2,3),\cdots,s_5=(5,6)$ とし、
写像 $\Gamma:S_6\to S_6$ を、$\Gamma(s_i)=\kappa_i$ を満たすものとすると、
$\Gamma$は実は自己同型を与えています。（証明略）
そのとき、明らかに $\Gamma$ は外部自己同型を与えています．
$n=6$ のときにだけ、なぜこのような外部自己同型が存在するのか
上手く説明することはできるだろうか？
また、$S_6$には、非自明な $S_5$ の埋め込みがあることもよく
知られており、下のブログ
http://cp4space.wordpress.com/2012/11/24/outer-automorphism-of-s6/
にそのエレガントな方法が書かれています．
絵をここで書くのは面倒なので....
上のリンクの中に書かれている６点と１５本からなる辺で
書かれたグラフの辺に図のような５色の配色をしています。
このとき、６角形のいくつかの鏡像はグラフの配色を置換しますが、
グラフの頂点を入れ替える他の変形
（例えば一点を固定するようなものとか）も再びこのグラフの配色が
置換されるものもあります。これらを取っていくと、
６点の置換を使って、５色を入れ替える置換を実現することができます。
つまり、非自明な埋め込み$S_5\hookrightarrow S_6$ が現れます。
自明な埋め込みとは、$n$点のうちの一点を固定する$n-1$点の置換としての
うめこみ、$S_{n-1}\hookrightarrow S_n$ のことです。
幾何的実現する方法としてもあります。
正２０面体は１２個の頂点を持ちますが、
その対角線は中心を通る６本の線分です。
$A_5$は正２０面体群で、２０面体を保ちますから、この６本の対角線全体も
保ちます。
６点集合上に、$A_5$ が作用していることになります。
つまり、$A_5\hookrightarrow A_6$がつくれます。
また、他の方法では、$PSL(2,5)$ が$A_5$に同型であることを使って、
${\Bbb F}_5$を体とした射影平面の６点に
一次分数変換で作用することもできます。
このような変な埋め込みがあることも、外部自己同型が
存在するための状況証拠になりうるわけです。
この埋め込みから実際外部自己同型を構成してみせるのは
（少なくとも私には）大変ですが。
置換群の射影表現を線形表現に直すときも$n=6$において、
特殊なことがおこる。（ふたたび(1.)や(2.)をみよ）
まとめると、置換群では$S_6$だけイレギュラーな性質をもつことがわかります。
6人であみだくじをやる時は少々の注意が必要かもしれません。
これは何を意味しているのか？
群について勉強していけばこの辺のことがはっきりとわかるかもしれません。
鈴木先生の言葉どおり、このことが有限単純群の分類にどう影響したのでしょうか？
このような素朴な疑問を解明したくて、群の勉強の動機とするのもよいと思います。
個人的には、４次元の何か構成に使いたいなぁという感じですが...
[参考文献]
- 平井武、山下博、表現論入門セミナー, 遊星社
- I. Schur , Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen, ibid., 139(1911), 155-255
- 鈴木通夫、群論（上下）、岩波書店
P.S.昨日は、出張で東京に行っていたので手習い塾には行けませんでしたが、
来週は行く予定にしています。
0 件のコメント:
コメントを投稿