ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

ねじれなし加群

索引 ねじれなし加群

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

9 関係: 単項イデアル整域平坦加群デデキント環素イデアル環上の加群零因子捩れ (代数学)整域整閉整域

単項イデアル整域

代数学において単項イデアル整域(たんこうイデアルせいいき、あるいは主イデアル整域、principal ideal domain; PID)あるいは主環(しゅかん、anneau principal)とは、任意のイデアルが単項イデアルであるような(可換)整域のことである。 より一般に、任意のイデアルが単項イデアルであるような(零環でない)可換環を単項イデアル環と呼ぶ(この場合、整域とは限らない、つまり零因子をもつかもしれない)が、文献によっては(例えばブルバキなどでは)「主(イデアル)環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。.

新しい!!: ねじれなし加群と単項イデアル整域 · 続きを見る »

平坦加群

数学において、平坦加群(へいたんかぐん、flat module)とは、テンソル積をとる関手 が完全となる加群 のことである。 ホモロジー代数学および代数幾何学における基本的な概念のひとつ。ジャン=ピエール・セールによって導入された。.

新しい!!: ねじれなし加群と平坦加群 · 続きを見る »

デデキント環

デデキント環(デデキントかん、Dedekind ring)、あるいはデデキント整域(デデキントせいいき、Dedekind domain)とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.

新しい!!: ねじれなし加群とデデキント環 · 続きを見る »

素イデアル

素イデアル(prime ideal)は、環のイデアルで、ある条件を満たすものである。歴史的には、素数(素元)の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環(一般に)のすべてのゼロでない(整)イデアルは、素イデアルの有限個の積として(順序を除いて)一意的に書ける(イデアル論の基本定理)。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.

新しい!!: ねじれなし加群と素イデアル · 続きを見る »

環上の加群

抽象代数学における環上の加群(かぐん、module)とは、ベクトル空間を一般化した概念で、係数(スカラー)を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.

新しい!!: ねじれなし加群と環上の加群 · 続きを見る »

零因子

抽象代数学において、環 R の元 a は、ax.

新しい!!: ねじれなし加群と零因子 · 続きを見る »

捩れ (代数学)

抽象代数学において、捩れ(ねじれ、torsion)は、群の場合は、有限位数の元を言い、また環上の加群の場合は、環のある正則元によって零化される加群の元を言う。.

新しい!!: ねじれなし加群と捩れ (代数学) · 続きを見る »

整域

抽象代数学における整域(せいいき、integral domain)は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である(奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる)。別な文献では(ラングが顕著だが)整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在(零積法則)は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.

新しい!!: ねじれなし加群と整域 · 続きを見る »

整閉整域

可換環論において、整閉整域(せいへいせいいき、Integrally closed domain)とは、商体の中で整閉な整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 x^n+a_x^+\cdots+a_0.

新しい!!: ねじれなし加群と整閉整域 · 続きを見る »

ここにリダイレクトされます:

ねじれのない加群捩れなし加群捩れのない加群無捻加群

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »