주 메뉴 열기

바뀜

33 바이트 제거됨 ,  4년 전
잔글
편집 요약 없음
* (분리성) 대각 부분 집합 <math>\Delta\subset X\times X</math>가 [[닫힌 집합]]이다.
 
국소적으로 아핀 대수다양체와 동형인 [[환 달린 공간]]이다. 즉, [[환 달린 공간]] <math>X</math> 위에 [[열린 덮개]] <math>\{U_\alpha\}</math>가 존재하여, <math>U_\alpha</math> 각각이 아핀 대수다양체를 이루는 경우다.<ref name="Hartshorne">{{책 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=[[대수기하학 (하츠혼)|Algebraic geometry]]|저자고리=로빈 하츠혼|고리=|출판사=Springer| isbn = 978-0-387-90244-9|mr=0463157 | zbl = 0367.14001 | 언어고리=en|doi=10.1007/978-1-4757-3849-0|총서=Graduate Texts in Mathematics|권=52|issn=0072-5285}}</ref>{{rp|58}}
 
=== 스킴 이론을 통한 정의 ===
이 정의는 [[스킴 (수학)|스킴 이론]]을 사용하여 서술할 수 있다. [[대수적으로 닫힌 체]] <math>K</math>에 대하여, '''<math>K</math>-대수다양체'''는 다음 조건들을 모두 만족시키는 <math>K</math>-스킴 <math>X\to\operatorname{Spec}K</math>이다.<ref name="Hartshorne">{{책 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=[[대수기하학 (하츠혼)|Algebraic geometry]]|저자고리=로빈 하츠혼|고리=|출판사=Springer| isbn = 978-0-387-90244-9|mr=0463157 | zbl = 0367.14001 | 언어고리=en|doi=10.1007/978-1-4757-3849-0|총서=Graduate Texts in Mathematics|권=52|issn=0072-5285}}</ref>{{rp|105}}
* 기약 스킴({{llang|en|irreducible scheme}})이다. 이는 대수다양체를 기약 대수 집합으로 국한시키는 것이며, 위상 공간으로서의 [[연결 공간|연결성]]보다 더 강한 조건이다.
* 축소 스킴({{llang|en|reduced scheme}})이다. 이는 <math>K[x,y]/(y^2)</math>와 같은 [[멱영원]]의 부재를 의미한다. 이러한 멱영원은 기하학적으로 [[싹 (수학)|싹]]으로 해석할 수 있다.