整数全体の集合 が,整数の合同関係(ある整数で割られたときの余りが等しい)によって,類別できることを見ました.集合を類別するには,集合の元の間に同値関係と呼ばれる関係が成り立っていなければならなかったのですが,同値関係は『反射律,対称律,推移律を満たす関係』(詳しくは 整数の加法群の剰余類 を参照)と定義される関係であれば何でも良かったので,整数の合同関係だけが唯一の可能性ではありません.
むしろ,具体的な同値関係から離れて,一般的に群の類別とは何かを学ぶことが大事です.実際に手を動かして類別してみると,綺麗に群を分けられることに感動すると思います.ぜひ,何か練習問題を解いてみて下さい.
群 と,その部分群
があるとします.
を
の元とします.このとき,
に属する全ての元に,
を左から作用させたものを 左剰余類 ,右から作用させたものを 右剰余類 と呼びます.これを,
,
のように書きます(この表記法については 集合の元同士を足す・掛ける を参照して下さい).
[*] | わざわざ左と右を区別するのは,一般に ![]() ![]() ![]() |
[†] | 単位元の剰余類は,左剰余類であっても右剰余類であっても, ![]() ![]() ![]() |
[‡] | ![]() ![]() ![]() |
さて, は群でしたので演算に関して閉じているはずで,
も
も全て
の元のはずです.すなわち,
も
も
の部分集合(←単なる集合.部分群ではありません!)になっています.同じ類に属する元は全て 同値関係 にあると呼ばれます.
ここで,剰余類によって本当に群が類別されることを示しておきましょう.
Proof
二つの剰余類は共通集合を持たないはずですので となるはずです.仮に同値ではない二つの元
の左剰余類について,
だとすると,
と
には共通元
が少なくとも一つ存在し,
のように表わせるはずです.両辺から
を掛けて
となりますが,
より,結局これは
が
の形に表わせることを意味しています.これは,
が
の剰余類に含まれることを意味し,
と
が同値ではないとした前提に反します.よって,
が言え,確かに剰余類は群を類別します.右剰余類に関しても,同様に証明できます.
[§] | 二つの元が同じ剰余類に属するという関係が,同値関係の定義であった三つの条件,すなわち反射律・対称律・推移律を満たすのを確認してみましょう. |
同じ剰余類に属する元は,同値であると言われるのでした.もし,元 が
の剰余類
に属するとすれば,ある
の元
が存在し,
なる関係がなりたつはずです.これを数式で書けば,次のようになります(これは左剰余類の例です.以後,簡単のために全て左剰余類で剰余類を代表させて議論を進めます.)
群 の元のうち,同値ではない
のそれぞれの剰余類を
と置くと,
は次のように類別されます.
大事なポイントは,群 とその部分群
をまず想定し,
を使って元
の剰余類を作ったという点です.言い方を変えれば,群
にまず部分群
を与えると,
の元の中で
に含まれない残りのものは,
と,
の元を使って表現し尽せるということでもあります.当然のことながら,部分群
の選び方によって
は異なってきます.この意味で,この類別を 部分群による類別 と呼ぶこともあります.
もう一つ確認しておくことは,類が一般には群にならないという点です.類別とは,集合の元を分類することなのであって,元の代数構造は一般に継承されません.
[¶] | 剰余類を定義するにあたって,元 ![]() |
さて,類別に関して出てくる用語をもう少し定義しておきます.部分群 は群ですので単位元
を含みます.よって,,
は自身の作る剰余類
に含まれます(
).
を,剰余類
(もしくは
)の 代表 と呼びます.
また,群 が有限個の
剰余類の和集合として表わされる場合,この剰余類の個数を HのGにおける指数 と呼びます.
例えば,上式のように書ける場合, の
における指数は
です.当然,
のどれか一つは
です.
の
における指数を次のように書きます.
同じ群 に対しても,
によって類別の仕方は違いますから,指数は
によることをよく理解しておいて下さい.
が無限群で,
によって無限個の剰余類に類別できるときは,
のように書きます.
整数全体 は加群を作ります.部分集合
は部分群になっています(単位元と逆元の存在を確かめてください).この部分集合を使って,
は次のように
つに類別できます( これは 整数の加法群の剰余類 の最後で使った例です).
ここで, などと書いたのは,集合
の全ての集合に
を足すという意味です.各類は,整数を
で割ったときの剰余類になっています.
類別を理解するのは,実際に手を動かしてみるのが一番です. を類別してみましょう.できたら,この続きを読む前に自分で適当な部分群を使って類別を行ってみてください.
部分群として を考えましょう.すると,
は次のように類別できます(左作用を考えます).
この類別によって過不足なく の元が表現されていることを確認してください.また
も部分群を作りますので,これを使った次のような類別も可能です.
また,自明な例ではありますが, も部分群を作ります.