プリューファー整域
数学において、プリューファー整域(プリューファーせいいき、英: Prüfer domain)とは、半遺伝的な整域のことである。整域が遺伝的であることとデデキント整域であることは同値なので、プリューファー整域はデデキント整域の一般化であり、ネーター性を仮定しない状況におけるデデキント整域の類似である。可換環がデデキント整域であることとネーター的プリューファー整域であることは同値である。プリューファー整域はハインツ・プリューファーにちなんで名づけられた。
特徴づけ
編集整域 R について以下は同値。
(ただし不ねじれとねじれなしは異なる用語であることに注意せよ)
性質
編集- 整域 R がプリューファー整域ならば、R 上の n 次全行列環は半遺伝的である。
- プリューファー整域上の(左または右)加群が平坦であることと、ねじれなしなことは同値である。
- 可換環 R と R-加群 M について、 が C の函手として0であれば A は ねじれなしだが、A がプリューファー整域ならば逆も成り立つ。
- プリューファー整域 R 上の加群 M が ねじれなしならば は C の函手として完全である。
- R がプリューファー整域で、A、C が ねじれなし R-加群であれば、R-加群 も ねじれなし。
- R をプリューファー整域、A を R-加群とする。すべての R 加群 C に対し R-加群 が移入的であれば A は ねじれなし。
参考文献
編集- Lam, Tsit-Yuen (1999). Lectures on modules and rings. Graduate Texts in Mathematics No. 189. Berlin, New York: Springer-Verlag. ISBN 978-0-387-98428-5. MR1653294
- 中山, 正; 服部, 昭 (2010). 復刊 ホモロジー代数学. 東京: 共立出版株式会社. ISBN 978-4-320-01946-1