プリューファー整域
提供: miniwiki
数学において、プリューファー整域（プリューファーせいいき、英: Prüfer domain）とは、半遺伝的な整域のことである。整域が遺伝的であることとデデキント整域であることは同値なので、プリューファー整域はデデキント整域の一般化であり、ネーター性を仮定しない状況におけるデデキント整域の類似である。可換環がデデキント整域であることとネーター的プリューファー整域であることは同値である。プリューファー整域はハインツ・プリューファーにちなんで名づけられた。
特徴づけ
整域 R について以下は同値。
- R はプリューファー整域（すなわち半遺伝的）である
- すべての torsionless（左または右）R-加群は平坦である
- すべての torsion のない（左または右）R-加群は平坦である
- すべての有限生成な torsion のない R-加群は射影的である
- 平坦加群の部分加群は平坦である
- 有限生成のイデアルがすべて可逆である
- すべてのイデアルが平坦である
性質
- 整域 R がプリューファー整域ならば、R 上の n 次全行列環は半遺伝的である。
- プリューファー整域上の（左または右）加群が平坦であることと torsion がないことは同値である。
- 可換環 R と R-加群 M について、[math]\mathrm{Tor}_1^R(A,C)[/math] が C の函手として0であれば A に torsion がないが、A がプリューファー整域ならば逆も成り立つ。
- プリューファー整域 R 上の加群 M が torsion なしならば [math]M\otimes_RC,\,C\otimes_RM[/math] は C の函手として完全である。
- R がプリューファー整域で、A、C が torsion がない R-加群であれば、R-加群 [math]A\otimes_RC[/math] にも torsion がない。
- R をプリューファー整域、A を R-加群とする。すべての R 加群 C に対し R-加群 [math]\mathrm{Ext}^1_R(A,C)[/math] が移入的であれば A は torsion がない。
参考文献
- (1999) Lectures on modules and rings, Graduate Texts in Mathematics No. 189. Berlin, New York: Springer-Verlag. MR1653294. ISBN 978-0-387-98428-5.
- (2010) 復刊 ホモロジー代数学. 東京: 共立出版株式会社. ISBN 978-4-320-01946-1.