대수다양체: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
25번째 줄:
* [[기약 스킴]]이다. 이는 대수다양체를 기약 대수 집합으로 국한시키는 것이며, 위상 공간으로서의 [[연결 공간|연결성]]보다 더 강한 조건이다.
* [[축소 스킴]]이다. 이는 <math>K[x,y]/(y^2)</math>와 같은 [[멱영원]]의 부재를 의미한다. 이러한 멱영원은 기하학적으로 [[싹 (수학)|싹]]으로 해석할 수 있다.
* [[분리 스킴({{llang|en|separated scheme}})]]이다. 예를 들어, 두 개의 아핀 직선 <math>\mathbb A^1_K</math>을, 0을 제외한 열린 집합 <math>\mathbb A^1_K\setminus\{0\}</math>에서 이어붙여, 원점이 두 개가 있는 아핀 직선을 만들 수 있는데, 이는 분리 스킴이 아니다.<ref name="Hartshorne"/>{{rp|75–76, Example 2.3.6}} 이는 [[위상 공간 (수학)|위상 공간]]의 [[하우스도르프 공간|하우스도르프 조건]]에 대응한다.
* 사상 <math>X\to\operatorname{Spec}K</math>는 [[유한형 사상]]이다. 이는 대수다양체가 국소적으로 [[다항식환]] <math>K[x_1,x_2,\dots,x_n]</math>의 몫대수의 꼴임을 뜻하며, 이에 따라 대수다양체는 유한한 차원을 갖는다.