0

位数4の群を力技で求める。

1402
0

はじめに

本稿は位数4の群を力技で求めることが目的である。

分類

以降、Gを位数4の群としてeをその単位元とする。
Gに関しては以下の2通りを考えることができる。

①ある元aGが存在してGの任意の元がaiの形で書くことができる場合

0i<j<4aiaj(A)であることを示す。
もし、ai=ajであったとするとaji=eとなりaiの形で書ける元は高々ji<4個になってしまう。これは①の仮定に矛盾である。よってa0=e,a1,a2,a3はいずれも異なる。これはG={a0,a1,a2,a3}であることを意味する。群の演算について考える。a4のみを考えたら良い。上の主張よりある0i<4となるiが存在してa4=aiとなる。a4i=a0となる。(A)よりi=0であることがわかる。よって0i<4なる任意のi,jについてaiaj=ai+j4 という演算が入ることがわかる。これが群の条件を満足することは頑張って求めることもできるが省略する。

② ①ではないとき

aを単位元でないGの元とする。仮定よりai の形で表されないようなGの元が存在する。このような元を一つ取りbとする。あるiZ+が存在してai=eとなることを示す。もし任意のiN={0,1,,}についてaieであると仮定するとijaiajとなる。というのもijai=ajであるとするとa|ij|=eとなり|ij|=0すなわちi=jを得るからである。また任意の元nNについてanGであることはGが演算について閉じていることから従う。すると、{a0,a1,an,}G(B)となる。ijaiajより左辺は無限集合となるが右辺は有限集合なので矛盾である。(Gの位数は4であった!)
よってあるiZ+が存在してai=eとなる。そのような最小のiが何か求める。Gが演算について閉じていることから(B)式が成立する。(B)の式において左辺の元の個数はiである。よって1i4であることがわかる。aは単位元ではないのでi1である。
また②の仮定よりi4である。よってi=2,3のいずれかである。
i=3であると仮定する。
{e,a,a2,b}Gとなる。(左辺の元はすべて異なる。)Gの位数を考えると{e,a,a2,b}=Gとなる。abGであるがab{e,a,a2,b}であることはGが群であることから直ぐに従う。これは矛盾。
よって、i=2である。同様の議論から、b2=eであることがわかる。
{e,a,b,ab}Gとなる。(左辺の元はすべて異なる。)Gの位数を考えると{e,a,b,ab}=Gとなる。baGであるからGが群であることよりba=abであることがわかる。これでGの演算が分かった。これが群の条件を満たすことは頑張って示すこともできるがここでは省略する。

以上で位数4の群の分類が完成した。結果をまとめておく。

位数4の群の分類

Gを位数4の群とする。このとき、次の①,②のうち一方のみが成立する。
①ある元aGが存在して、G={a0,a1,a2,a3}である。演算としてはaiaj=ai+j4である。
②ある元a,bGが存在してG={e,a,b,ab}である。ただし、eは単位元でe=a2=b2,ab=baが成立する。

①のような群はZ/4Zと同型である。つまり、整数問題でいうところのmod4を考えている状況である。

②のような群はZ/2Z×Z/2Zと同型である。つまり、組み合わせ問題でいうところの異なる2つのスイッチのONとOFFの操作を考えている状況である。

最後に

お気づきかもしれないが、本稿は位数6の分類の記事とほとんど同じである。多くはコピーして数字を変えただけなので20分程度で作成できた。 位数6の群を力技で求める記事

投稿日:20201115
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

B2 現在代数学(特に環論)を勉強中。 将来は群論やりたいとか思ってます。 気が向いた時に更新していく感じでいきます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中