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

42 바이트 제거됨 ,  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>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}})는 그 포함 사상의 스킴 상이다.
 
Lemma 28.6.1. Let f:X→Y be a morphism of schemes. There exists a closed subscheme Z⊂Y such that f factors through Z and such that for any other closed subscheme Z′⊂Y such that f factors through Z′ we have Z⊂Z′.
 
 
== 예 ==