ねじれなし加群捩れなし加群 (torsion-free module) は代数学において、環上の加群 M であって、M において 0M のみが、台となる環の何れかの正則元（非零因子）とのスカラー倍によって 0M となりうる唯一の元であるようなものである。 整域 D において正則元は 0D でない元であるので、この場合捩れなし加群 M は 0M が環の非零元によって零化される唯一の元であるようなものである。整域上だけで考えこの条件を捩れなし加群の定義として使う著者もいるが、より一般の環上ではこれはうまくいかない。 というのも環が零因子をもてばこの条件を満たす加群は零加群しかないからだ。 捩れなし加群の例全商環が K の可換環 R 上、加群 M が捩れなしであることと Tor1(K/R,M) が消えることは同値である。したがって平坦加群、とくに自由加群と射影加群は捩れなしであるが、逆が正しい必要はない。平坦でない捩れなし加群の例は体 k 上の多項式環 k[x,y] のイデアル (x,y) である。
捩れなし加群の構造ネーター整域上、捩れなし加群は唯一の素因子が 0 である加群である。より一般に、ネーター可換環上、捩れなし加群はすべての素因子が環の素因子に含まれる加群である。 ネーター整閉整域上、任意の有限生成捩れなし加群は自由部分加群であってそれによる商が環のイデアルに同型なものをもつ。 デデキント整域上、有限生成加群が捩れなしであることと射影的であることは同値であるが、一般には自由でない。任意のそのような加群は有限生成自由加群とイデアルの和に同型であり、イデアルのクラスは加群によって一意的に決まる。 主イデアル整域上、有限生成加群が捩れなしであることと自由であることは同値である。 関連項目
参考文献
脚注 |
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
