加群の構造
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/11/08 15:03 UTC 版)
単項イデアル整域上の有限生成加群の構造に関する主要な結果は以下のようなものである。 R が単項イデアル整域で M 有限生成 R-加群であるならば、M は次のような巡回加群（単項生成加群）の有限個の直和に分解される。 ただしである。特に有限生成直既約加群は R と同型か、ある既約元 p の正べき pn が生成するイデアルによる商加群 R/(pn) と同型である。 M が単項イデアル整域 R 上の自由加群ならば M の任意の部分加群もやはり自由である。しかしこれを任意の環上の加群に対して考えたものは一般には正しくない。例えば Z[X] のイデアル (2, X) を Z[X] 上の加群としての Z[X] の部分加群と見ると自由でない。
※この「加群の構造」の解説は、「単項イデアル整域」の解説の一部です。
「加群の構造」を含む「単項イデアル整域」の記事については、「単項イデアル整域」の概要を参照ください。
加群の構造
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/02/17 03:23 UTC 版)
デデキント環 R 上の有限生成加群 M の構造は次の様になる。有限生成加群 M に対して、ある零でない整イデアルの列 I1 ⊆ … ⊆ In と階数有限の自由加群 F、可逆イデアル I が存在して同型 M ≅ R / I 1 ⊕ ⋯ ⊕ R / I n ⊕ F ⊕ I {\displaystyle M\cong R/I_{1}\oplus \dotsb \oplus R/I_{n}\oplus F\oplus I} が成り立つ。また、このイデアル I, I1, …, In と自由加群 F は有限生成加群 M により同型を除いて一意に定まる。
※この「加群の構造」の解説は、「デデキント環」の解説の一部です。
「加群の構造」を含む「デデキント環」の記事については、「デデキント環」の概要を参照ください。
- 加群の構造のページへのリンク
