巡回群のソースを表示

{{Groups}}
[[群論]]における'''巡回群'''（じゅんかいぐん、{{lang-en-short|cyclic group}}、{{lang-en-short|monogenous group}}）とは、ただ一つの元で[[群の生成集合|生成]]される[[群 (数学)|群]]（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 ''g'' をとれば、その群のどの元も（群が乗法的に書かれている場合は）''g'' の[[冪乗|整数冪]]として（群が加法的に書かれている場合は ''g'' の整数倍として）表されるということであり、このような元 ''g'' はこの群の'''生成元'''（{{lang|en|generator}}）あるいは'''原始元'''（{{lang|en|primitive}}）と呼ばれる。

== 定義 ==
[[File:Cyclic group.svg|right|thumb|150px|1 の複素 6 乗根全体は乗法に関して巡回群を成す。''z'' = exp(''i{{pi}}''/3) は原始元だが ''z''<sup>2</sup> はそうではない（''z'' の奇数冪が ''z''<sup>2</sup> の冪として書けない）。]]
群 ''G'' が'''巡回的'''（{{lang|en|cyclic}}; 循環的）または'''巡回群'''であるとは
: <math>G = \langle g\rangle = \{g^n \mid n\in\mathbb{Z}\}</math>
となるような元 ''g'' &isin; ''G'' が存在するときにいう。群の一つの元で生成される群は必ずもとの群の部分群となるから、群 ''G'' が巡回群となるかどうかを見るには ''G'' の単項生成部分群で ''G'' 自身に一致するものがあるかどうかを調べるだけで十分である。

例えば6つの元を持つ集合 ''G'' = {&thinsp;''g''<sup>0</sup>, ''g''<sup>1</sup>, ''g''<sup>2</sup>, ''g''<sup>3</sup>, ''g''<sup>4</sup>, ''g''<sup>5</sup>&thinsp;} が群となるならば、''g''<sup>6</sup> = ''g''<sup>0</sup> であり、''G'' は巡回群を成す。実はこの ''G'' は集合 {&thinsp;0, 1, 2, 3, 4, 5&thinsp;} に 6 を[[合同算術|法]]とする加法を入れたものに本質的に同じ（つまり[[同型]]）である。これは例えば 1 + 2 ≡ 3 (mod 6) に ''g''<sup>1</sup> · ''g''<sup>2</sup> = ''g''<sup>3</sup> が対応し 2 + 5 ≡ 1 (mod 6) に ''g''<sup>2</sup> · ''g''<sup>5</sup> = ''g''<sup>1</sup> が対応するといった具合になっているということを意味する。なんとなれば &phi;(''g''<sup>''i''</sup>) = ''i'' とおくことによりこの同型対応 &phi; は与えられる。

巡回群は最も簡単な群であり、'''位数''' {{lang|en|(''order'')}} によりその分類を完全に与えることができる。すなわち、
* 任意の正整数 ''n'' に対して、位数が ''n'' の巡回群が（同型の違いを除き）ちょうど一つ存在する。
* また、位数が無限大の巡回群が（同型の違いを除き）ちょうど一つ存在する。
「巡回的」という修飾辞がついているので少々紛らわしいところではあるが、生成元 ''g'' が無限個の元を生成するというような場合には各 ''g''<sup>''n''</sup> は ''n'' が異なれば異なるから、（これを無限の長さの循環だということ自体は可能であるのだが）文字通りの意味では巡回しない。このような群は'''無限巡回群''' {{lang|en|(''infinite cyclic group'')}} と呼ばれ、必ず[[整数]]全体の成す加法群 '''Z''' に同型になる。さらにいえば、巡回群は必ず（高々）[[可算]]（有限または可算無限）個の元しかもたないので（[[非可算]]無限個の元をもつ）[[円周群]]は巡回群とは「ならない」（円周群は任意の正整数についてそれを位数とする有限巡回群をただひとつ持つので、ある意味で有限巡回群の無限版と看做すことができるものだが、それは無限巡回群ではない）。

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

また、群を乗法的に書く場合には、位数 ''n'' の巡回群を ''C''<sub>''n''</sub> で表す（''n'' = &infin; の場合も許す）。例えば ''g''<sup>3</sup>''g''<sup>4</sup> = ''g''<sup>2</sup> は ''C''<sub>5</sub> において正しい（このことの加法的な対応物は 「3 + 4 = 2 は '''Z'''/5'''Z''' において正しい」である）。

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

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

位数 ''n'' の巡回群（''n'' は無限大でもよい）''G'' と ''G'' の任意の元 ''g'' について、以下のようなことが言える。
* ''G'' は[[アーベル群]]である<ref name="星2016.pp=47f">{{Harvtxt|星|2016|pp=47f}}</ref>。つまり、任意の ''h'' &isin; ''G'' に対して ''gh'' = ''hg'' が成り立つ。これは ''g'' + ''h'' ≡ ''h'' + ''g'' (mod ''n'') の成立から従う。
* ''n'' が有限ならば ''g''<sup>''n''</sup> = ''g''<sup>0</sup> は群 ''G'' の単位元である。これは任意の整数 ''k'' に対して ''kn'' ≡ 0 (mod ''n'') となることに対応する。
* ''n'' = ∞ ならば ''G'' はちょうど二つの生成元をもつ。それらは '''Z''' における 1 および &minus;1 に対応する元である<ref name="星2016.pp=68-70">{{Harvtxt|星|2016|pp=68-70}}</ref>。
* ''n'' が有限ならば ''G'' を生成する元の総数はちょうど φ(''n'') に等しい。ここで φ は[[オイラーのφ関数|オイラーのトーシェント函数]]である<ref name="星2016.pp=77-85">{{Harvtxt|星|2016|pp=77-85}}</ref>。
** もっと一般に、''d'' が ''n'' の[[約数]]ならば '''Z'''/''n'''''Z''' の位数 ''d'' の元の個数は φ(''d'') である。また、''m'' の属する剰余類の位数は ''n''/[[最大公約数|gcd]](''n'',''m'') で与えられる。
* ''p'' が[[素数]]ならば、位数 ''p'' の群は（同型の違いを除き）巡回群 ''C''<sub>''p''</sub>（あるいは加法的に書くならば '''Z'''/''p'''''Z'''）しかない<ref name="星2016.p=102">{{Harvtxt|星|2016|p=102}}</ref>。
* 二つの巡回群 '''Z'''/''n'''''Z''', '''Z'''/''m'''''Z''' の[[群の直積|直積群]]がふたたび巡回群となるための必要十分条件は ''n'' と ''m'' が[[互いに素 (整数論)|互いに素]]であることである<ref name="星2016.p=123">{{Harvtxt|星|2016|p=123}}</ref>。従って例えば '''Z'''/12'''Z''' は '''Z'''/3'''Z''' と '''Z'''/4'''Z''' との直積に分解されるが '''Z'''/6'''Z''' と '''Z'''/2'''Z''' との直積とはならない。

巡回群の定義から直ちにわかることだが、巡回群は非常に簡素な[[群の表示|生成元と基本関係による表示]]を持つ。すなわち
: <math>C_\infin = \lang x \mid \ \rang</math>
かつ有限な ''n'' に対しては
: <math>C_n = \lang x \mid x^n\rang</math>
と書ける。

{{仮リンク|基本巡回群|en|primary cyclic group}} とは任意の素数 ''p'' と任意の正の整数 ''k'' に対して '''Z'''/''p''<sup>''k''</sup>'''Z''' の形に表される群（素冪位数の群）のことである。[[有限生成アーベル群の基本定理]]は、任意の[[有限生成アーベル群]] ''A'' が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである<ref name="星2016.pp=129-133">{{Harvtxt|星|2016|pp=129-133}}</ref>。
:<math>A=\mathbb{Z}/{p_0}^{k_0} \mathbb{Z} \times \mathbb{Z}/{p_1}^{k_1} \mathbb{Z} \times \cdots \times \mathbb{Z}/{p_m}^{k_m} \mathbb{Z}  \times \mathbb{Z}^n.</math>

'''Z'''/''n'''''Z''' および '''Z''' は（可換群の構造のみならず）[[可換環]]の構造ももつ。''p'' が素数ならば '''Z'''/''p'''''Z''' は[[有限体]]であり、'''F'''<sub>''p''</sub> や '''GF'''(''p'') などとも記される<ref name="星2016.pp=86f">{{Harvtxt|星|2016|pp=86f}}</ref>。''p'' 個の元を持つ体は必ずこの '''F'''<sub>''p''</sub> に同型となる<ref name="星2016.pp=86f" />。環 '''Z'''/''n'''''Z''' の[[可逆元|単元群]]は ''n'' と互いに素な数の全体からなり、''n'' を法とする乗法のもとで上述の如く位数 &phi;(''n'') の[[既約剰余類群|乗法群]] ('''Z'''/''n'''''Z''')<sup>×</sup> を成す<ref name="星2016.pp=77-85" />。例えば、''n'' = 6 として ('''Z'''/6'''Z''')<sup>×</sup> = {1, 5} を、''n'' = 8 として ('''Z'''/8'''Z''')<sup>×</sup> = {1, 3, 5, 7} を得る。

巡回群 '''Z'''/''n'''''Z''' の乗法群 ('''Z'''/''n'''''Z''')<sup>×</sup> がふたたび巡回群となるための必要十分条件は、''n'' が 1, 2, 4 または[[奇数|奇]]素数 ''p'' に対する ''p''<sup>''k''</sup>, 2''p''<sup>''k''</sup> (''k'' ≥ 1) の何れかである<ref name="星2016.pp=126-129">{{Harvtxt|星|2016|pp=126-129}}</ref><ref>{{Harvtxt|ヴィノグラードフ|1959|loc=第6章　原始根と指数|pp=85–98}}</ref><ref>{{Harvtxt|Vinogradov|2003|loc=&sect; VI PRIMITIVE ROOTS AND INDICES}}</ref>。いずれの場合も ('''Z'''/''n'''''Z''')<sup>×</sup> の生成元を総称して法 ''n'' に関する[[原始根]] {{lang|en|(primitive root modulo ''n'')}} という<ref name="星2016.pp=126-129" /><ref>{{Harvtxt|ヴィノグラードフ|1959|p=85}}</ref><ref>{{Harvtxt|Vinogradov|2003|p=106}}</ref>。したがって ('''Z'''/''n'''''Z''')<sup>×</sup> は ''n'' = 6 のときには巡回群となるが ''n'' = 8 のときには巡回群とはならない<ref>{{Harvtxt|ヴィノグラードフ|1959|pp=95–97}}</ref><ref>{{Harvtxt|Vinogradov|2003|pp=116f}}</ref>（''n'' = 8 のときの ('''Z'''/8'''Z''')<sup>×</sup> は[[クラインの四元群]]に同型となる）。特に、''n'' = ''p'' が素数ならば ('''Z'''/''p'''''Z''')<sup>×</sup> は巡回群で ''p'' &minus; 1 個の元からなる。これは '''Z'''/''p'''''Z''' の 0 でない元の全体とも一致するので、その意味で ('''Z'''/''p'''''Z''')<sup>&lowast;</sup> とも書かれる。もっと一般に、任意の[[斜体 (数学)|斜体]]の乗法群の'''有限'''部分群は必ず巡回群となる（[[ウェダーバーンの小定理]]）。特に、任意の[[有限体]]の乗法群（および乗法群の部分群）は必ず巡回群となる。巡回群はアーベル群なので任意の有限斜体は（積に関して）[[可換体|可換]]となる。

== 例 ==
二次元および三次元の[[回転対称| ''n'' 回対称変換]]の成す{{仮リンク|対称変換群|en|symmetry group}} ''C''<sub>''n''</sub> は抽象群として '''Z'''/''n'''''Z''' に同型である。他にも対称変換群で代数的には同じく巡回群になっているようなものが存在する<!-- （{{仮リンク|点群|label=抽象群としては巡回群となる三次元対称変換群|en|Point groups in three dimensions#Cyclic 3D symmetry groups}}を見よ） -->。

[[円周]]上の回転全体の成す群（円周群）''S''<sup>1</sup> は非可算ゆえに巡回群では'''ない'''ことに注意。

[[1の冪根|1 の（複素）''n'' 乗根]]の全体は複素数の乗法に関して位数 ''n'' の巡回群を成す。たとえば、''n'' = 3 のとき
: <math>0 = z^3 - 1 = (z - s^0)(z - s^1)(z - s^2) \quad (s = e^{2 \pi i /3})</math>
であり、{&thinsp;''s''<sup>0</sup>, ''s''<sup>1</sup>, ''s''<sup>2</sup>&thinsp;} は群となるが、これが巡回的なのは見ての通りである。

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

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

{| class="wikitable" style="text-align: center; margin: 1ex auto 1ex auto;"
| [[画像:GroupDiagramMiniC1.svg|center]]
| [[画像:GroupDiagramMiniC2.svg|center]]
| [[画像:GroupDiagramMiniC3.svg|center]]
| [[画像:GroupDiagramMiniC4.svg|center]]
| [[画像:GroupDiagramMiniC5.svg|center]]
| [[画像:GroupDiagramMiniC6.svg|center]]
| [[画像:GroupDiagramMiniC7.svg|center]]
| [[画像:GroupDiagramMiniC8.svg|center]]
|- 
| C<sub>1</sub> || C<sub>2</sub> || C<sub>3</sub> || C<sub>4</sub> || C<sub>5</sub> || C<sub>6</sub> || C<sub>7</sub> || C<sub>8</sub>
|}

巡回群の表現論は、もっと一般の{{仮リンク|有限群の表現論|en|representation theory of finite groups}}の重要な基本となる場合となっている。通常表現（複素線型表現）の場合は[[指標理論]]と表現論とを透過的に繋ぐことにより、巡回群の表現は（一次）指標の直和に分解される。[[モジュラー表現論|正標数]]の場合には、巡回群の直既約表現の全体が、巡回的[[シロー部分群]]を持つ群の表現論やもっと一般の blocks of cyclic defect の表現論のモデルおよび帰納的な基礎を成す。

== 巡回群の部分群と記法 ==
巡回群の任意の[[部分群]]および[[剰余群]]は、それ自身が巡回群である。特に整数全体の成す加法群 '''Z''' の任意の部分群は、適当な整数 ''m'' &ge; 0 によって ''m'''''Z''' の形で書ける。これらの部分群は ''m'' が異なれば全て互いに異なり、一方（''m'' = 0 のとき自明群となることを除けば）全て '''Z''' に同型である。'''Z''' の{{仮リンク|部分群束|en|lattice of subgroups}}は[[整除関係]]を順序とする自然数全体の成す束の[[逆順序|双対]]に同型である。'''Z''' の任意の剰余群は、自明な例外 '''Z'''/{0} = '''Z'''/0'''Z''' を除いて全て有限群である。また ''n'' の任意の正の約数 ''d'' に対して、剰余群 '''Z'''/''n'''''Z''' は位数 ''d'' の部分群をちょうど一つ持ち、それは ''n''/''d'' の属する剰余類によって生成される。'''Z'''/''n'''''Z''' の部分群は必ずこのようにして得られるので、部分群の束は ''n'' の約数全体の成す集合に整除関係で順序を入れたものに同型となる。特に、巡回群が[[単純群]]となるための必要十分条件は、その位数（元の個数）が素数となることである。

位数 ''n'' の（加法的に書かれた）巡回群を加法群 '''Z''' の剰余群として定式化するならば '''Z'''/''n'''''Z''' がそれを表す標準的な記法ということになる。あるいは[[環論]]の言葉で言えば、部分群 ''n'''''Z''' は環 '''Z''' の[[イデアル (環論)|イデアル]]でもあり、(''n'') とも書かれるので、同じ巡回群を '''Z'''/(''n'')（あるいは '''Z'''/''n''）と書くことも（剰余環の加法群として捉えれば意味のある記法であるので）記号の濫用ということにはならない。これらの別記法であれば ''p''-進整数環の記法と衝突しないし、後者の記法であれば環としても群としても言葉の上では「Z 割る n」といった感じで読めるので、形式張らない計算ではよく用いられる。

実際の問題としては、''g'' で生成される位数 ''n'' の有限部分群 ''C'' が与えられたとき、適当な整数 ''k'' に対する ''g''<sup>''k''</sup> で生成される部分群の位数 ''m'' を求めよというようなものが挙げられる。この場合、''m'' は ''mk'' が ''n'' で割り切れるような最小の正整数として得られるものであり、従って ''d'' = gcd(''k'', ''n'') を ''k'' と ''n'' の[[最大公約数]]とするときの ''n''/''d'' に等しい。別な言い方をすれば ''g''<sup>''d''</sup> が生成する部分群の[[部分群の指数|指数]]が ''m'' である。<!-- This reasoning is known as the '''[[index calculus algorithm]]''', in [[number theory]].-->

== 巡回群の自己準同型 ==
アーベル群 '''Z'''/''n'''''Z''' の[[自己準同型環]]は、[[環 (数学)|環]]としての '''Z'''/''n'''''Z''' 自身に[[環準同型|同型]]である。この同型のもとで、数 ''r'' は '''Z'''/''n'''''Z''' の ''r'' 倍写像（各元をその ''r'' 個のコピーの和として得られる元に写す自己準同型）に対応する。この自己準同型が全単射となる必要十分条件は ''r'' が ''n'' と互いに素となることであり、従って '''Z'''/''n'''''Z''' の[[自己同型群]]は上述の単元群 ('''Z'''/''n'''''Z''')<sup>&times;</sup> に同型である。

同様に加法群 '''Z''' の自己準同型群は環 '''Z''' に同型であり、自己同型群は環 '''Z''' の単元群 {&thinsp;&plusmn;1&thinsp;} &cong; ''C''<sub>2</sub> に同型である。

== 実質的巡回群 ==
群が[[群の指数|指数]]有限な巡回部分群を含むとき、その群を'''実質的巡回群'''または'''実質巡回群'''と呼び、その群は'''実質巡回的''' {{lang|en|(''virtually cyclic'')}} であるという。言い換えれば、実質的巡回群の任意の元はその指数有限な巡回部分群の適当な元を掛けることによりある有限集合（完全代表系）の元に写される。

任意の巡回群は実質巡回的であり、同様に任意の有限群も実質巡回的である。また、ちょうど二つの[[端 (位相幾何学)|端]] {{lang|en|(end)}} を持つ有限生成[[離散群]]（例えば '''Z'''/''n'''''Z''' と '''Z''' の[[群の直積|直積群]]）は実質巡回群となることが知られている。あるいは{{仮リンク|双曲群|label=グロモフの双曲群|en|hyperbolic group}}の任意の可換部分群は実質巡回群となる。

== 脚注 ==
{{脚注ヘルプ}}
{{reflist|2}}

== 参考文献 ==
*{{Cite book |和書 |author=星明考|authorlink=星明考 |date=2016-03-25 |title=群論序説 |publisher=日本評論社 |isbn=978-4-535-78809-1 |ref={{Harvid|星|2016}} }}
*{{Citation | last1=Gallian | first1=Joseph | title=Contemporary abstract algebra | publisher=Houghton Mifflin | location=Boston | language=English | edition=4th | isbn=978-0-669-86179-2 | year=1998 }}, especially chapter 4.
*{{Citation | last1=Herstein | first1=I. N. | title=Abstract algebra | publisher=[[Prentice Hall]] | edition=3rd | isbn=978-0-13-374562-7 | id={{MathSciNet | id = 1375019}} | year=1996 }}, especially pages 53–60.
*{{citation|last1=Vinogradov|first1=I. M.|author1-link=:en:Ivan_Matveyevich_Vinogradov|year=2003|title=Elements of Number Theory|publisher=Dover Publications|location=Mineola, NY|isbn=0-486-49530-2|chapter=&sect; VI PRIMITIVE ROOTS AND INDICES|pp=105-132|url={{google books|xlIfdGPM9t4C|Elements of Number Theory|page=105|plainurl=yes}}}}
**{{Cite book|和書|author=И.М.ヴィノグラードフ|others=[[三瓶与右衛門]]・[[山中健]] 訳|year=1959|month=11|title=整数論入門|series=共立全書 517|publisher=共立出版|isbn=978-4-320-00517-4|ref={{Harvid|ヴィノグラードフ|1959}}}}
**{{Cite book|和書|author=И.М.ヴィノグラードフ|others=三瓶与右衛門・山中健 訳|year=2010|month=2|title=復刊 整数論入門|publisher=共立出版|isbn=978-4-320-01917-1|ref={{Harvid|ヴィノグラードフ|2010}}}} - {{Harvtxt|ヴィノグラードフ|1959}}の復刊。

== 関連項目 ==<!--項目の50音順-->
*{{仮リンク|局所巡回群|en|Locally cyclic group}} - 任意の有限生成部分群が単項生成となるような群。
*[[原始根]]
*[[合同算術]]
*[[巡回拡大]]
*[[巡回加群]]
*[[有限生成アーベル群の基本定理]]

== 外部リンク ==
* [http://members.tripod.com/~dogschool/cyclic.html An introduction to cyclic groups]
*{{MathWorld|title=Cyclic Group|urlname=CyclicGroup}}
*{{MathWorld|title=Cyclic Group C_2|urlname=CyclicGroupC2}}
*{{MathWorld|title=Cyclic Group C_3|urlname=CyclicGroupC3}}
*{{MathWorld|title=Cyclic Group C_4|urlname=CyclicGroupC4}}
*{{MathWorld|title=Cyclic Group C_5|urlname=CyclicGroupC5}}
*{{MathWorld|title=Cyclic Group C_6|urlname=CyclicGroupC6}}
*{{MathWorld|title=Cyclic Group C_7|urlname=CyclicGroupC7}}
*{{MathWorld|title=Cyclic Group C_8|urlname=CyclicGroupC8}}
*{{MathWorld|title=Cyclic Group C_9|urlname=CyclicGroupC9}}
*{{MathWorld|title=Cyclic Group C_10|urlname=CyclicGroupC10}}
*{{MathWorld|title=Cyclic Group C_11|urlname=CyclicGroupC11}}
*{{MathWorld|title=Cyclic Group C_12|urlname=CyclicGroupC12}}
* {{Kotobank}}

{{DEFAULTSORT:しゆんかいくん}}
[[Category:群論]]
[[Category:数学に関する記事]]