|
抽象代数学や代数幾何学では、可換環 ''R'' のスペクトル (spectrum) とは ''R'' の全ての素イデアルからなる集合を表し、 Spec(''R'') と書く。Spec(''R'') は通常ザリスキー位相や構造層と共に議論され、そのことより局所環付き空間となる。 ==ザリスキー位相== ''R'' の任意のイデアル ''I'' に対し、''VI'' を ''I'' を含む素イデアルの集合とする。Spec(''R'') 上に閉集合の集合を : とすることにより位相を入れることができる。この位相をザリスキー位相と言う。
|