|
== 아핀 스킴 ==
<math>1</math>이 있는 [[가환환]]<math>A</math>에 대해, <math>{\rm Spec} (A)</math>를 <math>A</math>의 [[환의 스펙트럼|스펙트럼]](모든 [[소 아이디얼]]들의 집합)이라고 하자. 자리스키 위상은 A의 [[아이디얼]] I에 대해 다음 집합을 닫힌 집합으로 정의한다.
:<math>V(I) = \{P \in \operatorname{Spec}\,(A) \mid I \subseteq P\}</math>
이것은 자리스키 위상공간 <math>\mathbb{A}^n</math>에서 <math>S</math>에 대한 닫힌집합 <math>V(S) = \{x \in \mathbb{A}^n \mid f(x) = 0, \forall f \in S\}</math>을 조금 수정하여 확장한 것이다.
:<math>V(S) = \{x \in \mathbb{A}^n \mid f(x) = 0, \forall f \in S\}<math>
을 조금 수정하여 확장한 것이다.왜냐면 <math>x \in \mathbb{A}^n</math>, \mid <math>f(x) = 0, \forall f \in S</math> 은 <math> f\in M_x, \forall f\in S</math>과 동치 (<math>M_x</math>는 점<math>x \in \mathbb{A}^n</math>에 대응되는 [[극대이데알]]), i.e, <math> S \subseteq M_x</math>.
그래서 <math>V(S) = \{M_x \in {\rm Max} (A) \mid M_x \subseteq S\}</math> 으로 바꿔 표현할 수 있다.
:<math> f\in M_x, \forall f\in S<math>
그런데이제 여기서 <math>S</math>를 품는 극대이데알 뿐만이 아니라아닌 <math>S</math>를 품는 소이데알들소 까지이데알들까지 품는 집합으로 더좀더 큰 크게집합을 잡은생각한 것이 ▼과 동치이고(<math>M_x<math>는 점<math>x \in \mathbb{A}^n)<math>에 대응되는 극대이데알),따라서
:<math>V(I) M_x= \{P \in \operatorname{Spec}\,(A) \mid I \subseteq SP\}</math>
과이라고 동치다볼 수 있다. 그래서(주. <math>VI=(S)</math> = \{M_x \in; <math>{\rm Max} (A) \mid M_x \subseteq S{\rm Spec} (A)</math> 으로 바꿀 수 있다.)
▲그런데 <math>S</math>를 품는 극대이데알 뿐만이 아니라 <math>S</math>를 품는 소이데알들 까지 품는 집합으로 더 크게 잡은 것이
:<math>V(I) = \{P \in \operatorname{Spec}\,(A) \mid I \subseteq P\}<math>
이다. (<math>I=(S); note <math>{\rm Max} (A) \subseteq {\rm Spec} (A)\}<math>)
== 참고 문헌 ==
| 