20.群の作用と有限群
群もまた環と同様に、重要な代数構造の一つである。その少ない公理からは想像もつかないほど豊富で多様な理論が展開され、多くの数学的問題は群の問題に帰着される。特に有限群に対しては良く調べられており、偉大な数学者達による膨大かつ精密な結果が残されている。群論の本はいくらでもあるので詳細は省く。
群論の用語
集合上の二項演算が次の三条件を満たすとする。
- が成り立つ。(結合律)
- あるが存在してが成り立つ。(単位元の存在)
- 任意のに対してあるが存在してが成り立つ。(逆元の存在)
一番目と二番目の下では一意的となる。これを単位元(unital element)とおぶ。また三番目におけるに対するも一意的となり、と表しの逆元(inverse element)と呼ぶ。このとき組[tex:{ (G, \cdot, e) }}を群(group)という。
更にを満たす群をアーベル群(abelian group)という。*1
環のときと同様に部分群(subgroup)を自然に定義できる。が部分群であることをと書く。ここでのとき関係を定めると同値関係となる。この関係をに関する左合同という。同値類全体を左完全代表系*2といいで表す。その濃度をと表しの指数(index)という。部分群の列に対してが成り立つ。
同様に右合同()及び右完全代表系も定義できる。左完全代表系と右完全代表系が両立するとき、すなわち任意のに対しが成り立つとき正規部分群(normal subgroup)と言いで表す。この場合(あるいは同じことだが)に群構造を定めることができる。これをのによる剰余群(quotient group)という。
大事な部分群の例を挙げておこう。に対し
をそれぞれを生成元とする巡回群(cyclic group)、の中心化群(centralizer)、の正規化群(normalizer)という。の濃度をの位数(order)といいと表す。巡回群はアーベル群である。
命題 部分群に対し次が成り立つ。
- が成り立つ。
- が成り立つ。
- が成り立つ。
はの中心(center)と呼ばれ、しばしばこれを求めることが重要な問となる。
群においても準同型、同型を定義することができる。が群準同型であるとは、を満たすことをいう。単位元が単位元に対応し、また逆元の像が逆元となる。このときの像及び核はの部分群となり、特に核は正規部分群となる。従って準同型定理が成り立つ。
群から自身への同型全体は恒等写像を単位元とする群を為す。これをと表しの自己同型群(automorphism group)と呼ぶ。加えてに対しと定めると同型となる。特にその全体はの部分群となるため、これを内部自己同型群(inner automorphism group)という。全射準同型を考えればその核はの中心となる。故に群としての同型を得る。
群の作用
群そのものも重要な考察対象だが、多くの場合、群が何らかの集合に作用している状況を考えることが多い。が作用(action)であるとは、次の二条件を満たすことをいう。
- が成り立つ。
- が成り立つ。
基本となる概念として効果性と推移性がある。作用が効果的(effective)であるとは、任意のに対してであるならが成り立つことをいう。つまり単位元でない元は何かしらの要素を動かすとき効果的であるという。一方、作用が推移的(transitive)であるとは、任意のに対してあるが存在してが成り立つことをいう。つまり任意の二点がの作用で移り合うとき推移的であるという。
に対し以下の用語を定める。適宜略記するので注意。
- をの軌道(orbit)という。
- をの固定群(stabilizer)という。
- をの不変集合(invariable set)という。
あるが存在してのときと定めると同値関係となり、の同値類はに一致する。つまり軌道全体では覆われ、ならを満たす。また固定群はその名の通りの部分群となる。一般にが成り立つため、の軌道が一致すれば、両者の固定群の濃度が一致する。*3またであることととがに関して左合同となることは同値となる。故にの濃度と指数は一致する。
有限群と作用
濃度が有限な群を有限群(finite group)と呼ぶ。その基本的構成素である単純群の分類は20世紀最大の仕事と呼ばれ、一応の完成を見たのはつい最近の出来事である。*4以下、有限集合の濃度をで表す。
命題 を部分群とする。このときが成り立つ。
(証明)直積群*5の集合への作用をにより定める。この定義はwell-definedであり、また軌道はのみである。従って前述の濃度に関する考察よりが分かる。ところではと同値なので、を得る。
定理 (バーンサイドの補題*6) 有限群の有限集合への作用が個の軌道を持つとする。このとき
が成り立つ。
(証明)の濃度を二通りで数え上げる。まずを固定するととしての元が取れる。故に濃度はとなる。一方を固定するととしての元が取れる。そこで濃度は
である。ここで右辺は和の部分が軌道毎にを取るのでと等しい。
系 (フェルマーの小定理を含む拡張の一種) 整数及び正の整数に対し
が成り立つ。(として素数を取れば小定理になる。別の一般化としてオイラーの定理などがある。)
(証明)まずに対して証明する。一般の群に対し、からへの写像全体をと置く。このときに対しと定めるとが定まり、のへの作用を定める。は任意のに対しとなることと同値になる。故には上定数となる。即ちとして個の自由度があることが分かる。従って
を得る。定理より
は定数となるから、
が従う。この式はで成立するからである必要はない。
特にを加法群と見なせばの位数はとなり系が証明される。
参考文献
[1] 桂利行.代数学I 群と環.東京大学出版会.
[2] Keith Conrad. Group Actions.
[3] I.M.Isaacs, M.R.Pournaki. Generalizations of Fermat's Little Theorem Using Group Theory. The Mathematical Association of America, Monthly 112, 2005, pp.734-740.