ねじれなし加群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ねじれなし加群の意味・解説 

ねじれなし加群

(捩れのない加群 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/01/16 02:13 UTC 版)

代数学において、捩れなし加群 (torsion-free module) は環上の加群であって 0 が環の正則元(非零因子)によって零化される唯一の元であるようなものである。

整域において環の正則元はその 0 でない元であるので、この場合捩れなし加群は 0 が環のある 0 でない元によって零化される唯一の元であるようなものである。整域上だけで考えこの条件を捩れなし加群の定義として使う著者もいるが、より一般の環上ではこれはうまくいかない、というのも環が零因子をもてばこの条件を満たす加群は零加群しかないからだ。

捩れなし加群の例

全商環が K の可換環 R 上、加群 M が捩れなしであることと Tor1(K/R,M) が消えることは同値である。したがって平坦加群、とくに自由加群と射影加群は捩れなしであるが、逆が正しい必要はない。平坦でない捩れなし加群の例は体 k 上の多項式環 k[x,y] のイデアル (x,y) である。

  • 任意の torsionless 加群英語版は捩れなし加群であるが、逆は正しくない、なぜならば Q は torsionless でない捩れなし Z-加群だからだ。

捩れなし加群の構造

ネーター整域上、捩れなし加群は唯一の素因子が 0 である加群である。より一般に、ネーター可換環上、捩れなし加群はすべての素因子が環の素因子に含まれる加群である。

ネーター整閉整域上、任意の有限生成捩れなし加群は自由部分加群であってそれによる商が環のイデアルに同型なものをもつ。

デデキント整域上、有限生成加群が捩れなしであることと射影的であることは同値であるが、一般には自由でない。任意のそのような加群は有限生成自由加群とイデアルの和に同型であり、イデアルのクラスは加群によって一意的に決まる。

主イデアル整域上、有限生成加群が捩れなしであることと自由であることは同値である。

関連項目

参考文献




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

辞書ショートカット

すべての辞書の索引

「ねじれなし加群」の関連用語

ねじれなし加群のお隣キーワード
検索ランキング

   

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



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

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのねじれなし加群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS