주 메뉴 열기

바뀜

9 바이트 추가됨 ,  4년 전
잔글
편집 요약 없음
 
이는 범주론적으로 다음과 같이 해석할 수 있다. [[대수적으로 닫힌 체]] <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>-대수의[[단위 결합 대수]]의 [[준동형 사상]]이다.
 
== 역사 ==