- 208 名前：208 [2005/10/06(木) 12:40:21 ]
- A を環とする。
Spec(A) の開集合は、D(f) (>>162) の形の開集合の合併集合になる。
よって、Spec(A) が既約なためには、任意の D(f) と D(g) が空で
なければ、D(f) ∩ D(g) = D(fg) が空でないことが必要十分である(>>207)。
D(f) が空であることと、f がベキ零であることは同値である(>>162)。
よって、A が被約なら、D(f) が空でないことは、f ≠ 0 と同値である。
よって、A が被約なら、Spec(A) が既約であることと、A が整域で
あることは、同値である。
これから、被約とは限らない A については、Spec(A) が既約であることと、
Nil(A) が素イデアルであることは同値である(>>206)。
