닫힌 몰입: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
27번째 줄:
이는 다음 [[보편 성질]]을 만족시켜야 한다.
* 임의의 스킴 <math>Z'</math> 및 닫힌 몰입 <math>i'\colon Z'\to Y</math> 및 스킴 사상 <math>g'\colon X\to Z'</math>에 대하여, 만약 <math>f = i' \circ g'</math>라면, <math>i = i' \circ h</math>인 스킴 사상 <math>h \colon Z\to Z'</math>이 존재한다.
모든 [[스킴 사상]]은 스킴 상을 갖는다. (정의에 따라 이는 유일한 [[동형 사상]] 아래 유일하다.)
 
특히, [[열린 부분 스킴]]의 '''스킴 폐포'''({{llang|en|scheme-theoretic closure}})는 그 포함 사상의 스킴 상이다.