ゴールドマン整域
表示
(ゴールドマンイデアルから転送)
数学において、ゴールドマン整域 (Goldman domain) は整域 A であってその分数体が A 上有限生成代数であるようなものである[1]。それらは Oscar Goldman にちなんで名づけられている。
ゴールドマン整域の overring (すなわち環とその分数体の間にある中間環)はまたゴールドマン整域である。無限個の素イデアルがあるのにすべての 0 でない素イデアルは極大であるようなゴールドマン整域が存在する[2]。
可換環 A のイデアル I は商環 A/I がゴールドマン整域であるときにゴールドマンイデアル (Goldman ideal) と呼ばれる。したがってゴールドマンイデアルは素イデアルであるが極大イデアルとは限らない。実は、可換環がジャコブソン環であることとそのすべてのゴールドマンイデアルが極大であることは同値である。
ゴールドマンイデアルの概念はイデアルの根基のわずかに強い特徴づけを与えるために使うことができる:イデアル I の根基は I を含むすべてのゴールドマンイデアルの共通部分である。
脚注
[編集]参考文献
[編集]- Kaplansky, Irving (1974), Commutative rings (Revised ed.), University of Chicago Press, ISBN 0-226-42454-5, MR0345945
- Picavet, Gabriel (1999), “About GCD domains”, in Dobbs, David E., Advances in commutative ring theory. Proceedings of the 3rd international conference, Fez, Morocco, Lect. Notes Pure Appl. Math., 205, New York, NY: Marcel Dekker, pp. 501-519, ISBN 0824771478, Zbl 0982.13012