初学者向け群論解説 その3 ~部分群について~
ここでは部分群の定義, 判定法などをまとめていきたいと思います.
早速定義から見ていきましょう.
定義 1.(部分群)
を群とする. が の演算によって群になるとき, を の部分群という.
例を見る前に, 群の部分集合が部分群になっているかを判定する方法を紹介します.
命題 2.(部分群判定法)
群 の部分集合 が の部分群になるための必要十分条件は, 次の が満たされることである.
, すなわち の単位元が に含まれる.
, すなわち が の演算で閉じている.
証明
[ が部分群ならば を満たす]
を の単位元としたとき, が成り立つ. 左から をかけると より が成り立つ.
は が の演算 によって群になるという定義から明らかである.
は, とし, を での の逆元とすると, であり, よって は の での逆元 であることを意味する. よって より が成り立つ.
[ が成り立てば, は の部分群である]
まず, より は空集合ではない.
さて, 単位元の存在については, が の単位元であることを確認すればいいが, が の単位元なので, であり, 特に を の任意の元としてとっても成り立つので, は の単位元である.
結合律が成り立つことについては, より大きい において結合律が成り立つので, 特に, においても結合律が成り立つ.
逆元の存在については, なら としての逆元 は より なので においても の逆元である. (終)
では具体例を見ていきましょう.
例 1. を群とする. このとき はそれぞれ の部分群になり, 自明な部分群という.
例 2. は群である. を の倍数全体とするとこれは の部分群になる. これを命題 の判定法を使って確かめてみましょう.
~~ について~~
これは が の単位元なので, これが に入ることをいえばいいですが, より OK.
~~ について~~
とすると, ある整数 が存在して, とかける. このとき, より OK.
( の倍数の和は の倍数になるということをいっているだけです)
~~ について~~
とすると, ある整数 が存在して とかける.
このとき の逆元は より OK. (終)
例 3. (一般線形群など) これは部分群の例ではなく群の例になりますが重要な群の例であり, ここでも色々な部分群の例を紹介するために必要なので取り上げます.
を 次の実正方行列全体の集合とします. また
を 次実正則行列全体とすると, は通常の行列の積について群になります.
また, 逆元の存在については, 行列が正則なので逆行列(行列で逆元にあたるのは逆行列) も存在します.
結合律が成り立つのは明らかです.
また行列式の性質をつかうと
が成り立つこともわかります. 大事なので押さえておくといいと思います. この群を 一般線形群 といいます.
さて の部分集合
は の部分群になります. 示してみましょう.
ここでひとつ確認ですが, 行列 が に入るということは を満たすということが定義なので, なにか行列 が に入ることを示したければ を満たすことをいえばいいです. では示してみましょう.
~~ について~~
より
~~ について~~
行列式についての性質
に対して
を使うと, なら であり
よって
~~ について~~
行列式についての性質
に対して,
を使うと, なら であり, より
以上で は の部分群になりますが, この を 特殊線形群 といいます.
また, 次の部分集合
も の部分群になります. ただし, は の転置です.
これも示してみましょう. に入るということの定義を意識しながら証明を見てみてください.
~~ について~~
より
~~ について~~
なら であり, 転置の性質
に対して,
を使うと
より,
~~ について~~
なら であり,
よって,
以上で は部分群になり, この群を 直交群 といいます.
ほかにもいろいろ部分群の例はありますが今回はこれくらいにしておきます.
次は生成元という概念や巡回群という特別な性質をもつ群についてまとめたいと思います.
何か間違いなどあれば教えてください
[参考文献]