巡回群

巡回群(じゅんかいぐん、cyclic group)とは、1個の元によって生成される群のことである*1。その名に反して、生成元の位数?が無限となるものも存在する。

同型?の違いを除いて、巡回群は位数によって完全に特徴づけることが出来る。

定義

群 $G$ のある元 $g$ が $$G=\{g^n|n\in \mathbb{Z}\} $$ を満たすとき、 $G$ は巡回的(じゅんかいてき、cyclic)であるといい、巡回的な群のことを巡回群という。

表記

巡回群は「単項生成な群」とほぼ同義であるから、生成元を用いて $\langle g \rangle$ のように書かれる。

抽象群としては、位数 $n$ の有限巡回群は $C_n$ などと書かれる。剰余類群と同一視して $\mathbb{Z}_n$ や $\mathbb{Z}/n\mathbb{Z}$ と書かれることもある。

無限巡回群は整数全体のなす加法群と同一視されて $\mathbb{Z}$ と書かれることが多い。



*1 厳密には自明群も含まれる。自明群は通常0元生成とされる。

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2020-09-23 (水) 07:05:28 (205d)