巡回加群

数学において、巡回加群（じゅんかいかぐん、テンプレート:Lang-en-short）とは、1つの元で生成される加群のことである。

定義

環 R 上の左加群 M が巡回加群であるとは、ある x ∈ M が存在して、$M=Rx:=\{rx\mid r\in R\}$ となることである。右加群についても同様に定義される。

例

• 正則加群 _RR は巡回 R-加群である。
• 巡回群は巡回 Z-加群である。
• 単純加群は巡回加群である。
• 代数的閉体 F 上の線型空間 V をとる。線型作用素 T: V → V の固有値 λ に関する広義固有空間 V_(λ) は巡回 F[T]-加群である。

性質

R を環とする。左 R-加群 M が巡回加群であるための必要十分条件は、M が _RR の剰余加群となることであるテンプレート:Sfn。具体的には、M = Rx のとき、準同型定理より $Rx\cong R/{\mathrm{Ann}}_R(x)$ となる。ただし、${\mathrm{Ann}}_R(x)=\{r\in R\mid rx=0\}$ である。

巡回 Z-加群の部分加群は再び巡回加群であるが、一般の環上の巡回加群の部分加群は巡回加群とは限らない。

参考文献

• テンプレート:Cite book