巡回グラフ

抽象代数学の一分野である群論において、群の巡回グラフ（じゅんかいグラフ、英：cycle graph）は、群の様々な巡回を図示し、特に小さな有限群の構造を視覚化するのに有効である。位数が 16 未満の群において、巡回グラフは群を（同型の意味で）決定する。

巡回とは、ある群の元 a の冪の集合のことで、ここで要素 a の n 乗 aⁿ は、a に自分自身を n − 1 回掛け算した積として定義される。このとき、a は巡回を生成すると言う。有限群の場合、a のある冪乗は、群の単位元に等しくなければならない。

この様な最小の冪を巡回の位数と言う。巡回グラフでは、巡回は多角形の列で表現され、頂点は群の要素を表現し、そして連結する辺は多角形中の全要素が同一の巡回に含まれることを示す。

巡回編集

二つ以上の巡回は重なりを持つ場合があり、あるいは、単位元以外に共通の元を有しない場合もある。巡回グラフは、個々の興味深い巡回を多角形で表示する。

a が位数 6 の巡回を生成する（または、a が位数 6 を有する）場合には、a⁶ = e である。このとき、a² の冪の集合 {a², a⁴, e} は、巡回であるが、この場合には実際の所、何ら新しい情報を生み出さない。同様に、a⁵ は a 自身と同じ巡回を生成する。

そこで、原始的巡回、つまり他の巡回の部分集合になっていない様な巡回についてのみ検討すれば良い。これらは夫々、ある原始的元 a によって生成される。元の群の各元に対し、一つの点を取る。各原始的元に関して、e から a、a から a²、…、aⁿ⁻¹ から aⁿ、と、e に戻るまで繋いで行く。その結果として、一つの巡回グラフが得られる。

（技術的に言うと、上記の説明によれば、a² = e、つまり a が位数 2 を有する（対合である）場合は、e と二辺で結ばれるのだが、慣用上一辺のみを使用する。）

特徴編集

群の巡回グラフの例として、位数 8 の正二面体群 Dih₄ を考える。 e を単位元として、この群の乗積表を左側に、またその巡回グラフを右に示した。

正二面体群 Dih₄ の巡回グラフ

^o	e	b	a	a²	a³	ab	a²b	a³b
e	e	b	a	a²	a³	ab	a²b	a³b
b	b	e	a³b	a²b	ab	a³	a²	a
a	a	ab	a²	a³	e	a²b	a³b	b
a²	a²	a²b	a³	e	a	a³b	b	ab
a³	a³	a³b	e	a	a²	b	ab	a²b
ab	ab	a	b	a³b	a²b	e	a³	a²
a²b	a²b	a²	ab	b	a³b	a	e	a³
a³b	a³b	a³	a²b	ab	b	a²	a	e

e、a、a²、a³ の巡回について付言する。乗積表から、a の冪の連続する列が、実際にこの様に振る舞うことを見て取れる。この逆も成り立つ。つまり、(a³)²=a²、(a³)³=a、(a³)⁴=e である。この振る舞いは、あらゆる群のあらゆる巡回で成り立つ、つまり、巡回はどちらの方向にも回ることが可能である。

四元群 Q₈ の巡回グラフ

素数でない個数の元を含む巡回は、グラフ内で連結していない巡回を黙示的に有する。上記の群 Dih₄ において、 (a²)²=e であることから、 a² と e の間に、線を引きたいと感じる。しかし、a² は、これより大きな巡回の一部であることから、そうしないのである。

二つの巡回が単位元でない元を共有する場合には、曖昧性が生じ得る。例えば、単純四元群を考える。その巡回グラフを右に示す。中央の行に示す各要素は、自分自身を掛けると −1 になる（1 を単位元とする）。この場合、巡回の跡を辿るため、異なる色を用いよう。ただし、対称の位置を有するようにもしておく。

上記の通り、2 要素の巡回は 2 本の線で結ばれる筈だが、通常は、1 本の線で略記する。

二つの相異なる群が同一の構造を有する巡回グラフを持つことがあり得、この場合には乗積表、または群の基本要素に関してグラフの要素をラベル付けすることによってのみ、区別可能である。この問題が生じ得る最低位数は位数 16 であり、Z₂ x Z₈ および下に示すモジュラー群の場合である。（注意：これらグラフの中で、共通の元を有する巡回は、対称性により区別する。）