ねじれなし加群
(捩れのない加群 から転送)
出典: フリー百科事典『ウィキペディア(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 である加群である。より一般に、ネーター可換環上、捩れなし加群はすべての素因子が環の素因子に含まれる加群である。
ネーター整閉整域上、任意の有限生成捩れなし加群は自由部分加群であってそれによる商が環のイデアルに同型なものをもつ。
デデキント整域上、有限生成加群が捩れなしであることと射影的であることは同値であるが、一般には自由でない。任意のそのような加群は有限生成自由加群とイデアルの和に同型であり、イデアルのクラスは加群によって一意的に決まる。
主イデアル整域上、有限生成加群が捩れなしであることと自由であることは同値である。
関連項目
- 捩れ (代数学)
- 捩れなしアーベル群
- ランク1の捩れなしアーベル群; このクラスには分類理論が存在する
参考文献
- Hazewinkel, Michiel, ed. (2001), “ねじれなし加群”, Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104
- Matlis, Eben (1972), Torsion-free modules, The University of Chicago Press, Chicago-London, MR0344237
- ねじれなし加群のページへのリンク