２　巡回群（平面内の回転群）
f-denshi.com  最終更新日：　04/02/27

　この章では変換群として平面回転群を例に挙げ、群論に用いられる基本用語を説明します。

１．巡回群（平面回転群）

［１］　正六角形の重心O の回りに 0°、60°、120°、180°、240°、300° それぞれ平面内で正方向（反時計周りに）回転した場合、正六角形の位置は見かけ上変わりません。この回転操作（写像）をそれぞれ順番に、g₀、g₁、g₂、g₃、g₄、g₅ と書き、その全体の集合をR⁶としましょう。 ただし、0°の回転g₀は何もおこなわない恒等写像に等しいので、単位元 ｅ を用います。すなわち、集合 　　

R⁶＝｛e、g₁、g₂、g₃、g₄、g₅｝ 　

は6個の元からなり、各元の意味を図示すると、図1のようになります。

　　　　　　　　　　　　　　　図1　巡回群R⁶の6つの元　　　　

［２］　次に、この集合の任意の2つ元の間に積と呼ばれる演算 ・ をこれら回転操作を2回続けて行うこと（合成写像）として定義します。たとえば、

g₁・g₂＝g₃

とは、

「最初に g₂（120°の回転）、次に g₁（60°の回転）を行うことは g₃（180°の回転）を行うことに等しい」　

ことを意味します。すると、集合R⁶は積 ・ について群をなします。この集合の任意の2つの元の積は再びこの集合に属し、単位元は恒等写像 e 、また、g_i の逆元は g_6-i であることは容易に確かめられます。演算結果を一覧表にすると次のようになり、群表と呼ばれます。

表1　正六角形の平面回転群（＝Z₆）の群表

［３］　上と同様に正n角形について平面回転群を定義できます。このような平面回転群を巡回群と総称し、Z_nという記号を使います。この慣習に従い、これからは

R⁶　⇒　Z₆　

と書くことにしましょう。

２．群の基本用語

　これから巡回群 Z₆ を例に取って群論に使われる基本用語を解説していきたいと思います。　

［１］　群 G の元の個数を群Gの位数と呼び、｜G｜と書きます。上の例の群 Z₆ の元の個数は６個なので、

｜Z₆｜＝6　

と書きます。このように位数が有限個の場合を有限群といいます。一方、整数の集合に普通のたし算、＋ を演算規則とする群では元の数が無限にあり、このような群は無限群といいます。　

［２］　さて、Z₆ は6個の元のひとつ、g₁ については、

（g₁）² ＝ g₁･g₁　　　　　　　 　　＝g₂、
（g₁）³ ＝ g₁･g₁･g₁　　　　　　 　＝g₃、
（g₁）⁴ ＝ g₁･g₁･g₁･g₁　　　　　 ＝g₄、
（g₁）⁵ ＝ g₁･g₁･g₁･g₁･g₁　　　＝g₅、
（g₁）⁶ ＝ g₁･g₁･g₁･g₁･g₁･g₁　＝ e

となり、自分自身との積（演算）を繰り返すことで、G のすべての元 e、g₁、g₂、g₃、g₄、g₅ が作り出されます。このような元を群Gの生成元といい、

G ＝ ＜g₁＞

と書きます。すべての元が生成元になるわけではありません。各元をn乗した値の一覧表をつくると、

　　　　　　　表２　群Z₆のn乗表

となり、g₁と g₅　だけが群 Z₆ の生成元であることがわかります。また、群によっては、生成元は一つではなく２つ以上の元、例えば、a、b、c から構成されている場合もあり、G ＝＜a、b、c＞ のように書きます。たとえば⇒[#]

［３］　つぎに、上の表で、g₂ の行について見てみますと、

（g₂）²＝g₄、　
（g₂）³＝e

となり、これ以上 g₂ との積を繰り返しても、g₂、g₄、e以外の元は現れないことに気づきます。g₃ に関しても、同様です。有限群の場合はどの元 a も必ず、ある k が存在して、

（a）^k＝e

となりますが、この k のうち最小のものを元 ａ の位数といいます。（←群Gの位数[#]とはまったく別ものです。注意！）　したがって、R⁶ の各元の位数は、

元 a ＝	e	g1	g2	g3	g4	g5
元の位数 k ＝	1	6	3	2	3	6

となります。ここで位数 1、2、3、6 は必ず６の約数となっていますが、これは有限群について、

ことが成り立つためです［証明略］。

［４］　特に、群 G の位数｜G｜が素数のときは１とそれ自身しか約数をもちません。ということで、次の定理が成り立ちます。

　もちろん、この定理の逆は成り立ちません。実際、R⁶は｜G｜＝6 （偶数⇒素数でない）ですが、巡回群となっています。

（２）の証明は一番最後で　→　[#]

［５］　さらに、a^｜G｜＝a^ks＝（a^k）s＝（e）^s＝e　なので、

が成り立ちます。これは表2で、すべての元が６乗すると e になることに対応しています。

g ＝ γ^m（1≦m≦n＝巡回群の位数）

として、一意的に書けます。つまり、γ を固定すれば、G の任意の元と整数 m とが１対１で対応します。この m のことをg のγに関する指数といい、

ind_γ（g）＝m

と書きます。例えば、巡回群Z₆を例にとれば、生成元 g₅ を用いて、

ind_g5（g₁）＝5、  　⇔　（g₅）⁵＝g₁
ind_g5（g₂）＝4、　　⇔　（g₅）⁴＝g₂
ind_g5（g₃）＝3、　　⇔　（g₅）³＝g₃
ind_g5（g₄）＝2、　　⇔　（g₅）²＝g₄
ind_g5（g₅）＝1、

となります。また、ind_g5（e）＝6　ですが、約束としてすべての生成元γ自身については

ind_γ（e）＝0

と定義します。このように定義すると普通の実数を扱うときの指数法則と同様な規則が成り立ち便利なのです。

［７］　Z₆ ＝ ｛e、g₁、g₂、g₃、g₄、g₅｝ は、代数方程式：　X⁶＝1　の解の集合：

　ω_k　＝e^{2πki /6}　＝sin（kπ/3）＋icos（kπ/3）；　（k＝0、1、2、3、4、5）　

と1対1の対応があります。

これは容易に一般化でき、Xⁿ＝1　の解の集合は位数 n の巡回群をなし、
ω₁＝e^{2πi /n}　のベキであらわすことができます。

参考　→　[#]

３．部分群

［１］　また、Z₆ から3つの元 g₂、g₄、e どうしの積の結果を表1から抜き出してみると、

gi･gj e g2 g4 e e g2 g4 g2 g2 g4 e g4 g4 e g2	⇔	ti･tj e t1 t2 e e t1 t2 t1 t1 t2 e t2 t2 e t1
表２　部分群　Ｈ1/3		3文字の巡回群　Z3

となり、Z₆ の部分集合： H_1/3＝｛e、g₂、g₄｝ も　3つの元からなる群になっていることがわかります。このように群 G の一部の元を抜き出した部分集合 H が、もとの群 G と同じ演算のもとで、やはり群になっているとき、それをG の部分群といいます。この例では、部分群 Ｈ_1/3 は、g₂を生成元とする巡回群でもあるので、巡回部分群ともいいます。Ｈ_1/3 の単位元以外の元は、

（g₂）²＝g₄、　（g₂）³＝e
（g₄）²＝g₂、　（g₄）³＝e

なので、Ｈ_1/3 は ｅ と元の位数３の元から成り立っていることがわかります。この群は位数3の巡回群 Z₃ と同じ構造を持っていることにも注意してください。

　さらに、Ｈ_1/2 ＝ ｛e、g₃｝ も Z₆ の巡回部分群となってます。

gi･gj e g3 e e g3 g3 g3 ｅ	⇔	ri･rj e r e e ｒ r r ｅ
表３　部分群Ｈ1/2		巡回群　Z2

g₃ に関しては、

（g₃）² ＝ e

なので、g₃ の位数は２であることに注意してください。このように一つの群に対して部分群は複数個存在することができます。

［２］　部分群に関して、

さらに、

が成り立っています［証明略］。今の場合、

｜Z₆｜＝6、｜Ｈ_1/3｜＝3、｜Ｈ_1/2｜＝2　　　

［３］　最後に群 G とその部分群 H との位数に関する重要な関係：「シローの定理」を証明抜きに紹介しておきましょう。

位数6の巡回群Z₆の例では、

6＝2¹×3¹

なので、位数が2　および、3の部分群がそれぞれ一つは存在することをこの定理は述べています。この定理は

「　｜G｜を割る　素数 p  の最高ベキ数 p^r　を位数とする G の部分群の存在 」

を保証しているということもできます。この位数 p^r の部分群を群 G の p-シロー群 といいます。

［４］　ただし、次の二つのことを注意しておきましょう。

（１）この定理は群 G の部分群が p-シロー群に限ることをいっているのではない｡
（２）一つのp^rに対応して１つの部分群しか存在しないといっているものではない｡

［目次へ］

証明：

任意の位数 n の巡回群 Z とは、

「位数 n の元 ω₁ が存在して、Z のすべての元を｛e、ω₁、（ω₁）²、・・・・、（ω₁）^n-1｝と表すことができる群 」

と言い換えることができます。

一方、「 有限群 G の元 の位数 は群 G の位数｜G｜の約数でなければならない」 ので、もし、群 G の位数 p （≠1）が素数ならば、群 G のすべての元の位数は 1 か p である。したがって、G には、位数 p の元 g が存在して、

　e、g、g²、・・・・、g^p-1、g^p＝e

のp 個の元で G の元は尽くされる。つまり、G は巡回群である。