대수다양체: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→역사: 봇: 인용 틀 변수 이름 수정 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
74번째 줄:
마찬가지로, 사영 다양체 <math>X=\operatorname{Proj}R</math>의 부분 대수다양체들은 [[등급환]] <math>R</math>의 동차 소 아이디얼과 일대일 대응하며, 부분 대수 집합들은 <math>R</math>의 동차 근기 아이디얼들과 일대일 대응한다.
이는 범주론적으로 다음과 같이 해석할 수 있다. [[대수적으로 닫힌 체]] <math>K</math>에 대한 아핀 다양체의 범주 <math>\operatorname{Aff}_K</math>의 [[반대 범주]] <math>\operatorname{Aff}_K^{\operatorname{op}}</math>는 다음과 같은 범주와 [[범주의 동치|동치]]이다.<ref name="Hartshorne"/>{{rp|20, Corollary 3.8}}
* 대상은 [[정역]]인 유한 생성 <math>K</math>-[[단위 결합 대수]]이다.
* 사상은 <math>K</math>-[[단위 결합 대수]]의 [[준동형]]이다.
| |||