初学者向け群論解説 その1 ~群の定義と例~
ここでは群の定義と例をまとめたいと思います.
定義 1. (二項演算) を集合とする. このとき, 集合 上で定義される二項演算とは, 写像
のことである.
この定義だけ見てもイメージがわかないかもしれないですが, 簡単に言うと, つの元を使って つの元を定める規則のことを二項演算といいます. 簡単に例を挙げます.
例 1.1 としたとき, 加法
は二項演算になっています. ( つの整数から つの整数が定まっています)
例 1.2 としたとき, 乗法
は二項演算になっています. ( つの整数から つの整数が定まっています)
例 1.3 としたとき, 除法は 上の二項演算ではありません. 例えば は整数ではありません.
例 1.4 としたとき, 2つの実数の平均をとる操作
は 上の二項演算になります.
ほかにも二項演算というのはいろいろなものがあります. とりあえず大事なことは, (定義 1) を満たすものなら何でも二項演算ということです .
では群の定義を紹介します.
定義 2. (群) 集合 と 上の二項演算 の組 が 群である とは, 次の の条件を満たすことをいう.
さらに 群 が
を満たすとき 可換群 , もしくは アーベル群 という.
また 群 の元の個数 を の 位数 といい, 位数有限な群を 有限群, そうでない群を 無限群 という.
Remark. 単に 「 は群である」などのような書き方をすることが多いですが, はじめのうちは演算も省略せずに書きたいと思います. また群の位数はこれから先大事な量になります.
これもまずはいろいろ身近な例を見ながら何を言っているか確認してみましょう.
例 2.1 は群, もっと言うと可換群になります. 結合測はいいとして, 単位元や逆元はどうなるのでしょうか.
まず単位元については, 今回は
という性質を持つ整数ということになります. このとき はこの性質を満たす唯一の整数ですので, 今回の単位元は ということになります.
次逆元ですが, 今回 の逆元は
という性質を満たす整数ということになります. これは が当てはまります. よって (これは「 の逆元は 」という意味) になります.
例 2.2 も同様に可換群になります.
例 2.3 ) は群にはなりません! ではどの条件は満たされていて, どの条件が満たされていないのか考えてみましょう.
まず結合測はOKですね.
では単位元の存在はどうでしょう. これも大丈夫です. 今回だと
という性質を満たす整数ということになります. これは が当てはまります.
実はここでは逆元の条件が満たされないということになります. の逆元は今回は
を満たす整数ということになりますが, 例えば のときの逆元は となるのでこれは整数ではないので, 逆元に関する条件が満たされないことがわかります.
例 2.4 として は可換群になります. 単位元は です.
逆元は
より, それぞれの逆元は自分自身になります.
例 2.5 を置換の積として は群になります.
逆元はというと
となります. またこれは可換群ではありません!
などをみればわかります. これは 次対称群というものになっていて, とか とかきます. (後者はドイツ文字のSです)
例 2.6 として を に対して
を で割ったあまり
と定めると, は可換群になります. それぞれの逆元がどうなるか考えてみてください.
他にもいろいろ例はあると思います.
つぎは群に関して成り立つ事柄などをまとめたいと思います.
何か間違いなどあれば教えてください.
[参考文献]