分数イデアルのソースを表示

{{Expand English|Fractional ideal|date=2024年5月}}
[[数学]]、特に[[可換環論]]において、'''分数イデアル'''（{{lang-en-short|''fractional ideal''}}）の概念は[[整域]]の文脈で導入され、特に[[デデキント整域]]の研究において成果が多い。ある意味で、整域の分数イデアルは[[分母]]が許されたイデアルのようなものである。分数イデアルと普通の環の[[イデアル]]がともに議論に出てくるような文脈では、明確にするために後者を'''整イデアル''' (integral ideal) と呼ぶこともある。

== 定義と基本的な結果 ==

{{mvar|R}} を[[整域]]とし {{mvar|K}} をその[[分数体]]とする。{{mvar|R}} の '''分数イデアル'''は {{mvar|K}} の {{math|0}} でない {{mvar|R}}-[[部分加群]] {{mvar|I}} であって、{{math|0}} でない {{math|''r'' &isin; ''R''}} が存在して {{math|''rI'' ⊆ ''R''}} となるようなものである。元 {{mvar|r}} は {{mvar|I}} の分母をはらっていると考えることができる。'''単項分数イデアル''' (principal fractional ideal) は {{mvar|K}} のただ一つの {{math|0}} でない元によって生成される {{mvar|K}} のそのような {{mvar|R}}-部分加群である。分数イデアル {{mvar|I}} が {{mvar|R}} に含まれるのはそれが {{mvar|R}} の（'整'）イデアルであるとき、かつそのときに限る。

分数イデアル {{mvar|I}} は次のようなとき'''可逆''' (invertible) であると言う。別の分数イデアル {{mvar|J}} が存在して {{math|1=''IJ'' = ''R''}} （ただし {{math|1=''IJ'' = {{mset|''a''{{sub|1}}''b''{{sub|1}} + ''a''{{sub|2}}''b''{{sub|2}} + ⋯ + ''a{{sub|n}}b{{sub|n}}'' : ''a{{sub|i}}'' ∈ ''I'', ''b{{sub|i}}'' ∈ ''J'', ''n'' ∈ '''Z'''{{sub|>0}}}}}} で、これは二つの分数イデアルの'''積''' (product) と呼ばれる）。このとき、分数イデアル {{mvar|J}} は一意的に定まり、一般化である[[イデアル商]] に等しい：
:<math>(R : I) = \{ x \in K : xI \subseteq R \}. </math>
可逆分数イデアルの集合は[[単位イデアル]] {{mvar|R}} 自身を単位元として上記の積に関して[[アーベル群]]をなす。この群は {{mvar|R}} の'''分数イデアルの群'''と呼ばれる。単項分数イデアルは部分群をなす。分数イデアルが可逆であるのはそれが {{mvar|R}}-加群として射影的であるとき、かつそのときに限る。

{{mvar|K}} のすべての[[有限生成加群|有限生成]] {{mvar|R}}-部分加群は分数イデアルであり、{{mvar|R}} が[[ネーター環]]ならばこれらが {{mvar|R}} の分数イデアルのすべてである。

== デデキント整域 ==

デデキント整域において、この状況ははるかに単純である。特に、すべての分数イデアルは可逆である。実はこの性質はデデキント整域を特徴づける。整域がデデキント整域であるのはすべての分数イデアルが可逆であるとき、かつそのときに限る。

分数イデアルの群を単項分数イデアルからなる部分群で割った[[商群]]はデデキント整域の重要な不変量であり、[[イデアル類群]]と呼ばれる。

=={{anchors|divisorial}}因子的イデアル==
{{mvar|{{tilde|I}}}} によって分数イデアル {{mvar|I}} を含むすべての単項分数イデアルの共通部分を表記する。同じことだが、
:<math>\tilde I = (R : (R : I))</math>
である、ただし上記のように
:<math>(R : I) = \{ x \in K : xI \subseteq R \} </math> 
である。{{math|1={{tilde|''I''}} = ''I''}} であれば {{mvar|I}} は '''因子的''' (divisorial) であると言う{{sfn|Bourbaki|1998|loc=Ch. VII, §1}}。言い換えると、因子的イデアルは分数単項イデアルのある空でない集合の 0 でない共通部分である。{{mvar|I}} が因子的で {{mvar|J}} が分数イデアルであれば、{{math|(''I'' : ''J'')}} は因子的である。

{{mvar|R}} を局所[[クルル環|クルル整域]]（例えばネーター整閉局所整域）とする。すると {{mvar|R}} が[[離散付値環]]であることと {{mvar|R}} の極大イデアルが 因子的であることは同値である{{sfn|Bourbaki|1998|loc=Ch. VII, § 1, n. 7. Proposition 11.}}。

因子的イデアルについて昇鎖条件を満たすような整域は{{仮リンク|森整域|en|Mori domain}}と呼ばれる<ref>http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdffirstpage_1&handle=euclid.rmjm/1187453107</ref>。

== 注 ==
{{reflist}}

== 参考文献 ==
*Chapter 9 of {{Citation | last1=Atiyah | first1=Michael Francis | author1-link=Michael Atiyah | last2=Macdonald | first2=I.G. | author2-link=Ian G. Macdonald | title=Introduction to Commutative Algebra | publisher=Westview Press | isbn=978-0-201-40751-8 | year=1994}}
*Chapter VII.1 of {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=Nicolas Bourbaki | title=Commutative algebra | publisher=[[Springer Verlag]] | edition=2nd | year=1998 | isbn=3-540-64239-0 }}
*Chapter 11 of {{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative ring theory | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 | mr=1011461  | year=1989 | volume=8}}

{{DEFAULTSORT:ふんすういてある}}
[[Category:イデアル]]
[[Category:分数]]
[[Category:代数的整数論]]
[[Category:数学に関する記事]]