射影 空間を と書く。 多項式環 ] を次数付き環 とする。 において となるイデアルを斉次イデアルという。 を の斉次元のみからなる集合とし、その零点集合を とする。 定義 代数的集合 の斉次元の集合 に対し となる の部分集合。 命題 2つの代数的集合の和…