05/09/27 17:17:27
A を環、f ∈ A とする。S = {f^n; n = 0, 1, 2, ...} とする。
S は積閉集合である。A_S を A[1/f] または A_f と書く。
A[1/f] が零環となるのは f がべき零のときに限る。
よって、Spec(A[1/f]) が空となるのは、f がべき零のときに限る。
Spec(A[1/f]) は、集合 D(f) = {p ∈ Spec(A); f は p に含まれない}
と同一視される(>>81)。
05/09/27 17:17:27
A を環、f ∈ A とする。S = {f^n; n = 0, 1, 2, ...} とする。
S は積閉集合である。A_S を A[1/f] または A_f と書く。
A[1/f] が零環となるのは f がべき零のときに限る。
よって、Spec(A[1/f]) が空となるのは、f がべき零のときに限る。
Spec(A[1/f]) は、集合 D(f) = {p ∈ Spec(A); f は p に含まれない}
と同一視される(>>81)。