巡回群とは? わかりやすく解説

巡回群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 22:48 UTC 版)

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

定義

1 の複素 6 乗根全体は乗法に関して巡回群を成す。z = exp(iπ/3) は原始元だが z2 はそうではない(z の奇数冪が z2 の冪として書けない)。

G巡回的cyclic; 循環的)または巡回群であるとは

C1 C2 C3 C4 C5 C6 C7 C8

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

巡回群の部分群と記法

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

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

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

巡回群の自己準同型

アーベル群 Z/nZ自己準同型環は、としての Z/nZ 自身に同型である。この同型のもとで、数 rZ/nZr 倍写像(各元をその r 個のコピーの和として得られる元に写す自己準同型)に対応する。この自己準同型が全単射となる必要十分条件は rn と互いに素となることであり、従って Z/nZ自己同型群は上述の単元群 (Z/nZ)× に同型である。

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

実質的巡回群

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

任意の巡回群は実質巡回的であり、同様に任意の有限群も実質巡回的である。また、ちょうど二つの端 (end) を持つ有限生成離散群(例えば Z/nZZ直積群)は実質巡回群となることが知られている。あるいはグロモフの双曲群英語版の任意の可換部分群は実質巡回群となる。

脚注

[脚注の使い方]
  1. ^ a b c 星 (2016, pp. 94f)
  2. ^ 星 (2016, pp. 47f)
  3. ^ 星 (2016, pp. 68–70)
  4. ^ a b 星 (2016, pp. 77–85)
  5. ^ 星 (2016, p. 102)
  6. ^ 星 (2016, p. 123)
  7. ^ 星 (2016, pp. 129–133)
  8. ^ a b 星 (2016, pp. 86f)
  9. ^ a b 星 (2016, pp. 126–129)
  10. ^ ヴィノグラードフ (1959, pp. 85–98, 第6章 原始根と指数)
  11. ^ Vinogradov (2003, § VI PRIMITIVE ROOTS AND INDICES)
  12. ^ ヴィノグラードフ (1959, p. 85)
  13. ^ Vinogradov (2003, p. 106)
  14. ^ ヴィノグラードフ (1959, pp. 95–97)
  15. ^ Vinogradov (2003, pp. 116f)

参考文献

関連項目

外部リンク


巡回群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/06/22 16:41 UTC 版)

特性部分群」の記事における「巡回群」の解説

巡回群の任意の部分群特性部分群である。

※この「巡回群」の解説は、「特性部分群」の解説の一部です。
「巡回群」を含む「特性部分群」の記事については、「特性部分群」の概要を参照ください。

ウィキペディア小見出し辞書の「巡回群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「巡回群」の関連用語











巡回群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



巡回群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの巡回群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの特性部分群 (改訂履歴)、有限群 (改訂履歴)、群同型 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS