환 달린 공간: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→바깥 고리: 봇: 인용 틀 변수 이름 수정 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
13번째 줄:
두 국소환 달린 공간 사이의 '''사상'''(寫像, {{llang|en|morphism of locally ringed spaces}}) <math>(f,\phi)\colon(X,\mathcal O_X)\to(Y,\mathcal O_Y)</math>은 다음과 같은 환 달린 공간의 사상이다.
* 임의의 <math>x\in X</math>에 대하여, <math>\phi</math>로 인하여 유도되는 [[줄기 (수학)|줄기]] 사이의 [[환 준동형]] <math>\mathcal O_{Y,f(x)}\to\mathcal O_{X,x}</math> 아래, <math>\mathcal O_{X,x}</math>의 유일한 [[극대 아이디얼]]의 [[원상 (수학)|원상]]은 <math>\mathcal O_{Y,f(x)}</math>의 유일한 [[극대 아이디얼]]과 같다.
== 성질 ==
환 달린 공간의 범주 <math>\operatorname{RingSp}</math>와 [[국소환 달린 공간]]의 범주 <Math>\operatorname{LocRingSp}</math>는 둘 다 [[완비 범주]]이자 [[쌍대 완비 범주]]이다.<ref name="Gilliam">{{저널 인용|arxiv=1103.2139|제목=Localization of ringed spaces|이름=W. D.|성=Gilliam|bibcode=2011arXiv1103.2139G|날짜=2011|언어=en}}</ref>
== 참고 문헌 ==
{{각주}}
== 바깥 고리 ==
| |||