はじめに
本稿は位数4の群を力技で求めることが目的である。
分類
以降、を位数の群としてをその単位元とする。
に関しては以下の通りを考えることができる。
①ある元が存在しての任意の元がの形で書くことができる場合
(A)であることを示す。
もし、であったとするととなりの形で書ける元は高々個になってしまう。これは①の仮定に矛盾である。よってはいずれも異なる。これはであることを意味する。群の演算について考える。のみを考えたら良い。上の主張よりあるとなるが存在してとなる。となる。(A)よりであることがわかる。よってなる任意のについて という演算が入ることがわかる。これが群の条件を満足することは頑張って求めることもできるが省略する。
② ①ではないとき
を単位元でないの元とする。仮定より の形で表されないようなの元が存在する。このような元を一つ取りとする。あるが存在してとなることを示す。もし任意のについてであると仮定するととなる。というのもでであるとするととなりすなわちを得るからである。また任意の元についてであることはが演算について閉じていることから従う。すると、(B)となる。より左辺は無限集合となるが右辺は有限集合なので矛盾である。(の位数は4であった!)
よってあるが存在してとなる。そのような最小のが何か求める。が演算について閉じていることから(B)式が成立する。(B)の式において左辺の元の個数はである。よってであることがわかる。は単位元ではないのでである。
また②の仮定よりである。よってのいずれかである。
であると仮定する。
となる。(左辺の元はすべて異なる。)の位数を考えるととなる。であるがであることはが群であることから直ぐに従う。これは矛盾。
よって、である。同様の議論から、であることがわかる。
となる。(左辺の元はすべて異なる。)の位数を考えるととなる。であるからが群であることよりであることがわかる。これでの演算が分かった。これが群の条件を満たすことは頑張って示すこともできるがここでは省略する。
以上で位数の群の分類が完成した。結果をまとめておく。
位数4の群の分類
を位数4の群とする。このとき、次の①,②のうち一方のみが成立する。
①ある元が存在して、である。演算としてはである。
②ある元が存在してである。ただし、は単位元でが成立する。
①のような群はと同型である。つまり、整数問題でいうところのを考えている状況である。
②のような群はと同型である。つまり、組み合わせ問題でいうところの異なる2つのスイッチのONとOFFの操作を考えている状況である。
最後に
お気づきかもしれないが、本稿は位数6の分類の記事とほとんど同じである。多くはコピーして数字を変えただけなので20分程度で作成できた。
位数6の群を力技で求める記事