この記事では, 剰余類 で勉強した,部分群に対する群の指数について,復習の意味も兼ねて定理を一つ追加し,そのあと部分群に関して群の元が合同であるとはどういうことかを考えます.
群 の部分群 が,さらに部分群 を持つ場合を考えます.
このとき,指数について次の定理がなりたちます.
theorem
まるで分数の計算のような美しい定理です.いずれ部分群の列 を考えるときに,知っていると役に立つでしょう.証明は以下に書きますが,簡単なのでまずは自分でやってみて下さい.
proof
群 が によって と類別できたとします( のうち一つは ).このとき位数については が言えます.よって です.同様に も と類別でき, が言えるとします.よって です. を最初の式に代入すると となり,位数について が言えますから, が示せます.■
この定理を使えば ラグランジェの定理 が一発で証明できます.
群を類別したとき,同じ類に含まれる元が同値関係にあることを 剰余類 でみました.剰余類による類別と同じ話を,少し異なるアプローチで考えてみます.まず群 とその部分群 を考え『 に関して の元 が合同である』という関係を定義します.
群 の元 が, を満たすとき,『 と は に関して 左合同 である』といい, のように書きます.同様に, がなりたつなら 右合同 だといいます.
ここで の記号を使いましたが,次節に示すように と は同値関係にあります. の記号も左合同と右合同で区別するべきですが,以後左合同だけを考えていきますので だけでいきます.
この関係が本当に同値関係になっているのか,反射律,対称律,推移律を満たすことを順次確認してみましょう. は部分群なので単位元や逆元が存在することを使います.
このように, 一つの部分群を決めると,その部分群をめぐって群の元同士に同値関係を導入できる のです.ある部分群 に関して,元 に同値な元を全て集め,その集合を と名づけます.式 の定義に従えば, を次のように書けるでしょう.
ところで の元は と置くと,両辺に左から を掛けて と書き換えられますから,結局 と剰余類 は同じものだったのです.行き着いたところは同じでしたが, 剰余類 とは少し違ったアプローチで同値関係を考えてみました.とにかく,いろいろ考えるのが大事です(←これが結論?).
群 の による剰余類といったとき,式 で書いても式 で書いても同じことです.
式 をもう一度考えます.
もし が加群ならば ですので,次のように書き換えられます.
このときの剰余類は の形になります.元が部分群に関して同値である,といったときに,式 や がすぐに思い浮かぶとよいです.