プリューファー整域
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/24 20:51 UTC 版)
数学において、プリューファー整域（プリューファーせいいき、英: Prüfer domain）とは、半遺伝的な整域のことである。整域が遺伝的であることとデデキント整域であることは同値なので、プリューファー整域はデデキント整域の一般化であり、ネーター性を仮定しない状況におけるデデキント整域の類似である。可換環がデデキント整域であることとネーター的プリューファー整域であることは同値である。プリューファー整域はハインツ・プリューファーにちなんで名づけられた。
特徴づけ
整域 R について以下は同値。
（ただし不ねじれとねじれなしは異なる用語であることに注意せよ）
- R はプリューファー整域（すなわち半遺伝的）である
- すべての 不ねじれ（左または右）R-加群は平坦である
- すべてのねじれのない（左または右）R-加群は平坦である
- すべての有限生成なねじれのない R-加群は射影的である
- 平坦加群の部分加群は平坦である
- 有限生成イデアルがすべて可逆である
- すべてのイデアルが平坦である
性質
- 整域 R がプリューファー整域ならば、R 上の n 次全行列環は半遺伝的である。
- プリューファー整域上の（左または右）加群が平坦であることと、ねじれなしなことは同値である。
- 可換環 R と R-加群 M について、
- プリューファー整域のページへのリンク
