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

18 바이트 추가됨 ,  2년 전
[[스킴 사상]] <math>f\colon X\to Y</math>가 주어졌다고 하자. 그렇다면, <math>f</math>의 '''스킴 상'''({{llang|en|scheme-theoretic image}})은 다음과 같은 데이터로 주어진다.
* [[스킴 (수학)|스킴]] <math>Z</math>
* 닫힌 몰입 <math>i\colon Z \to Y</math>. 또한, 어떤 스킴 사상 <math>g \colon X\to Z</math>에 대하여 <math>f = i \circ g</math>라고 하자.
* 스킴 사상 <math>g \colon X\to Z</math>. 또한, <math>f = i \circ g</math>라고 하자.
이는 다음 [[보편 성질]]을 만족시켜야 한다.
* 임의의 스킴 <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>이 존재한다.