巡回群

群論における巡回群とは、ただ一つの元で生成される群のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 //g// をとれば、その群のどの元も//g// の整数冪として表されるということであり、このような元 //g// はこの群の生成元あるいは原始元と呼ばれる。

1. 定義
-----

群 //G// が巡回的または巡回群であるとは

となるような元 //g// ∈ //G// が存在するときにいう。群の一つの元で生成される群は必ずもとの群の部分群となるから、群 //G// が巡回群となるかどうかを見るには //G// の単項生成部分群で //G// 自身に一致するものがあるかどうかを調べるだけで十分である。

例えば6つの元を持つ集合 //G// = {   //g//0, //g//1, //g//2, //g//3, //g//4, //g//5   } が群となるならば、//g//6 = //g//0 であり、//G// は巡回群を成す。実はこの //G// は集合 {   0, 1, 2, 3, 4, 5   } に 6 を法とする加法を入れたものに本質的に同じである。これは例えば 1 + 2 ≡ 3  に //g//1 · //g//2 = //g//3 が対応し 2 + 5 ≡ 1  に //g//2 · //g//5 = //g//1 が対応するといった具合になっているということを意味する。なんとなれば φ = //i// とおくことによりこの同型対応 φ は与えられる。

巡回群は最も簡単な群であり、位数 en によりその分類を完全に与えることができる。すなわち、

任意の正整数 //n// に対して、位数が //n// の巡回群がちょうど一つ存在する。
また、位数が無限大の巡回群がちょうど一つ存在する。「巡回的」という修飾辞がついているので少々紛らわしいところではあるが、生成元 //g// が無限個の元を生成するというような場合には各 //g////n// は //n// が異なれば異なるから、文字通りの意味では巡回しない。このような群は無限巡回群 en と呼ばれ、必ず整数全体の成す加法群 Z に同型になる。さらにいえば、巡回群は必ず可算個の元しかもたないので円周群は巡回群とは「ならない」。

任意の巡回群はアーベル群となるので、しばしば加法的に記される。またそのとき、位数 //n// の巡回群を Z//n// で表すこともあるが、この記号は数論的な文脈では //p//-進整数環や素イデアルによる環の局所化の記法と衝突するので問題となりうる。他の標準的な記号としては剰余群の記法に従って Z///n///n//, Z/ などが用いられる。本項ではこれら複数の記法を記号の衝突を避ける目的で使い分けるものとする。後述の巡回群の部分群と記法節も参照のこと。

また、群を乗法的に書く場合には、位数 //n// の巡回群を //C////n// で表す。例えば //g//3//g//4 = //g//2 は //C//5 において正しい。

2. 性質
-----

巡回群の基本定理は、「//G// が位数 //n// の巡回群ならば //G// の任意の部分群はそれ自身巡回群であること」、さらには「 //G// の任意の部分群の位数は //n// の約数であって、//n// の各正の約数 //k// に対して //G// が位数 //k// の部分群をちょうど一つ持つこと」を主張するものである。この性質によって有限巡回群が特徴付けられる。すなわち「位数 //n// の群が巡回群となるための必要十分条件は、//n// の任意の約数 //d// に対して位数 //d// の部分群をちょうど一つ持つこと」である。これは「位数 //n// の群が巡回群となるための必要十分条件は、//n// の任意の約数 //d// に対して位数 //d// の部分群を高々一つ持つこと」としても同じであり、しばしばこの形で用いられる。

任意の位数 //n// の有限巡回群は //n// を法とする加法を備えた群 {   [0], [1], [2], ..., [//n// − 1]   } に同型であり、任意の無限巡回群は整数全体の成す集合 Z に加法を考えた加法群  に同型である。したがって、巡回群の性質について理解するには、これらの群だけを調べれば十分である。それゆえ巡回群は調べるのが容易な群の一つであり、巡回群の満たすさまざまな良い性質が知られている。

位数 //n// の巡回群//G// と //G// の任意の元 //g// について、以下のようなことが言える。

//G// はアーベル群である。つまり、任意の //h// ∈ //G// に対して //gh// = //hg// が成り立つ。これは //g// + //h// ≡ //h// + //g//  の成立から従う。
//n// が有限ならば //g////n// = //g//0 は群 //G// の単位元である。これは任意の整数 //k// に対して //kn// ≡ 0  となることに対応する。
//n// = ∞ ならば //G// はちょうど二つの生成元をもつ。それらは Z における 1 および −1 に対応する元である。
//n// が有限ならば //G// を生成する元の総数はちょうど φ に等しい。ここで φ はオイラーのトーシェント函数である。
もっと一般に、//d// が //n// の約数ならば Z///n//Z の位数 //d// の元の個数は φ である。また、//m// の属する剰余類の位数は //n///gcd で与えられる。
//p// が素数ならば、位数 //p// の群は巡回群 //C////p//しかない。
二つの巡回群 Z///n///m/12Z は Z/3Z と Z/4Z との直積に分解されるが Z/6Z と Z/2Z との直積とはならない。巡回群の定義から直ちにわかることだが、巡回群は非常に簡素な生成元と基本関係による表示を持つ。すなわち

かつ有限な //n// に対しては

と書ける。

基本巡回群 とは任意の素数 //p// と任意の正の整数 //k// に対して Z///p////k//Z の形に表される群のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 //A// が有限個の基本巡回群と有限個の無限巡回群との直積になることを主張するものである。

Z///n///p//p// や GF などとも記される。//p// 個の元を持つ体は必ずこの F//p// に同型となる。環 Z///n//Z の単元群は //n// と互いに素な数の全体からなり、//n// を法とする乗法のもとで上述の如く位数 φ の乗法群 × を成す。例えば、//n// = 6 として × = {1, 5} を、//n// = 8 として × = {1, 3, 5, 7} を得る。

巡回群 Z///n///p//Z の 0 でない元の全体とも一致するので、その意味で ∗ とも書かれる。もっと一般に、任意の斜体の乗法群の有限部分群は必ず巡回群となる。特に、任意の有限体の乗法群は必ず巡回群となる。巡回群はアーベル群なので任意の有限斜体は可換となる。

3. 例
----

二次元および三次元の //n// 回対称変換の成す対称変換群 //C////n// は抽象群として Z///n//Z に同型である。他にも対称変換群で代数的には同じく巡回群になっているようなものが存在する。

円周上の回転全体の成す群//S//1 は非可算ゆえに巡回群ではないことに注意。

1 の//n// 乗根の全体は複素数の乗法に関して位数 //n// の巡回群を成す。たとえば、//n// = 3 のとき

であり、{   //s//0, //s//1, //s//2   } は群となるが、これが巡回的なのは見ての通りである。

有限体の任意の有限次拡大のガロワ群は有限巡回群である。逆に、有限体 //F// と有限巡回群 //G// が与えられたとき、そのガロワ群が //G// となるような //F// の有限次拡大が存在する。

4. 巡回群の表現
---------

有限巡回群の巡回グラフはその元の全体を頂点集合とする多角形である。以下の図で、黒点は群の単位元を表し、その他の元は白点で表されている。一つの循環は、単位元に連結された頂点に対応する元の連続する整数冪からなる。

巡回群の表現論は、もっと一般の有限群の表現論の重要な基本となる場合となっている。通常表現の場合は指標理論と表現論とを透過的に繋ぐことにより、巡回群の表現は指標の直和に分解される。正標数の場合には、巡回群の直既約表現の全体が、巡回的シロー部分群を持つ群の表現論やもっと一般の blocks of cyclic defect の表現論のモデルおよび帰納的な基礎を成す。

5. 巡回群の部分群と記法
-------------

巡回群の任意の部分群および剰余群は、それ自身が巡回群である。特に整数全体の成す加法群 Z の任意の部分群は、適当な整数 //m// ≥ 0 によって //m/{0} = Z/0Z を除いて全て有限群である。また //n// の任意の正の約数 //d// に対して、剰余群 Z///n///n//Z の部分群は必ずこのようにして得られるので、部分群の束は //n// の約数全体の成す集合に整除関係で順序を入れたものに同型となる。特に、巡回群が単純群となるための必要十分条件は、その位数が素数となることである。

位数 //n// の巡回群を加法群 Z の剰余群として定式化するならば Z///n/と書くことも記号の濫用ということにはならない。これらの別記法であれば //p//-進整数環の記法と衝突しないし、後者の記法であれば環としても群としても言葉の上では「Z 割る n」といった感じで読めるので、形式張らない計算ではよく用いられる。

実際の問題としては、//g// で生成される位数 //n// の有限部分群 //C// が与えられたとき、適当な整数 //k// に対する //g////k// で生成される部分群の位数 //m// を求めよというようなものが挙げられる。この場合、//m// は //mk// が //n// で割り切れるような最小の正整数として得られるものであり、従って //d// = gcd を //k// と //n// の最大公約数とするときの //n/////d// に等しい。別な言い方をすれば //g////d// が生成する部分群の指数が //m// である。

6. 巡回群の自己準同型
------------

アーベル群 Z///n///n///n///n//Z の自己同型群は上述の単元群 × に同型である。

同様に加法群 Z の自己準同型群は環 Z に同型であり、自己同型群は環 Z の単元群 {   ±1   } ≅ //C//2 に同型である。

7. 実質的巡回群
---------

群が指数有限な巡回部分群を含むとき、その群を実質的巡回群または実質巡回群と呼び、その群は実質巡回的 en であるという。言い換えれば、実質的巡回群の任意の元はその指数有限な巡回部分群の適当な元を掛けることによりある有限集合の元に写される。

任意の巡回群は実質巡回的であり、同様に任意の有限群も実質巡回的である。また、ちょうど二つの端 en を持つ有限生成離散群は実質巡回群となることが知られている。あるいは双曲群の任意の可換部分群は実質巡回群となる。

8. 脚注
-----

9. 参考文献
-------

last1=Gallian , especially chapter 4.
last1=Herstein , especially pages 53–60.
和書 - ヴィノグラードフの復刊。

10. 関連項目
--------

局所巡回群 - 任意の有限生成部分群が単項生成となるような群。
原始根
合同算術
巡回拡大
巡回加群
有限生成アーベル群の基本定理

11. 外部リンク
---------

[1]