검색 결과

...n Mathematics|권=52|issn=0072-5285}}</ref> 스킴의 [[준연접층|준연접]] 아이디얼 층은 [[닫힌 부분 스킴]]과 대응한다. ...e="Hartshorne"/>{{rp|115, Proposition II.5.9}} 또한, 만약 <math>X</math>가 [[뇌터 스킴]]이라면 이는 [[연접층|연접]] 아이디얼 층을 이룬다. ...

...으로 [[공역]]에 확장될 수 있게 하는 것이다. 대수학적으로, 이는 국소적으로 [[아이디얼]]에 대한 [[몫환]]을 취하는 꼴의 [[스킴 사상]]에 해당한다. ...th> 사이의 사상 <math>f\colon Y\to X</math>에 대하여, 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 스킴 사상을 '''닫힌 몰입'''이라고 한다. ...

...스킴|아핀]] [[열린집합]]의 [[원상 (수학)|원상]]이 [[아핀 스킴|아핀]] [[열린집합]]인 [[스킴 사상]]이다. [[아핀 스킴]]의 개념의 상대화(相對化)이다. ...[스킴 사상]] <math>f\colon X\to Y</math>에 대하여 다음 두 조건이 서로 [[동치]]이며, 이를 만족시키는 [[스킴 사상]]을 '''아핀 사상'''이라고 한다. ...

...th>S</math> 위의 종수 <math>g</math>의 '''안정 곡선'''은 다음 조건을 만족시키는 <math>S</math>-스킴 <math>X\to S</math>이다. ** [[축소 스킴]]이다. ...

[[스킴 (수학)|스킴]] <math>(X,\mathcal O_X)</math>가 다음 조건을 만족시킨다면, '''정칙 스킴'''({{llang|en|regular scheme}})이라고 한다. 마찬가지로, [[스킴 (수학)|스킴]] <math>X</math>의 '''특이점'''은 <math>\mathcal O_{X,x}</math>가 [[정칙 국소환]]이 아니게 ...

...lang|en|Kähler differential}})은 ([[아핀 스킴]]으로 여긴) [[가환환]] 또는 일반적인 [[스킴 (수학)|스킴]] 위에 대수적으로 정의할 수 있는 [[미분 형식]]의 일종이다. 보다 일반적으로, [[스킴 (수학)|스킴]]의 사상 <math>X\to Y</math>가 주어졌을 때, <math>d\colon\mathcal O_X\to\Omega_{X/Y} ...

...'''카르탕 정리'''(Cartan定理, {{llang|en|Cartan’s theorems}})는 [[슈타인 다양체]] 및 [[아핀 스킴]] 위의 [[연접층]]의 성질에 대한 두 개의 핵심적인 정리이다. [[아핀 스킴]]에 대해서도 유사한 정리가 성립한다. 임의의 [[아핀 스킴]] <math>X</math> 및 그 위의 [[준연접층]] <math>\mathcal F</math>에 대하여, ...

...é ring}})은 [[군 스킴]]의 분류에 사용되는 [[환 (수학)|환]]이다. 디외도네 환 위의 특정 가군들의 범주는 특정 [[군 스킴]]들의 범주의 [[반대 범주]]와 [[범주의 동치|동치]]이다. === 디외도네 이론 === ...

...학]]에서, '''힐베르트 스킴'''({{llang|en|Hilbert scheme}})은 어떤 [[스킴 (수학)|스킴]]의 [[부분 스킴]]들의 [[모듈라이 공간]]인 스킴이다. 모든 [[사영 대수다양체]]는 힐베르트 스킴을 가진다. 이 경우, 섬세한 모듈러스 공간의 정의 * [[스킴 (수학)|스킴]] <math>K</math> ...

([[스킴 (수학)|스킴]]의 [[고유 사상]]은 이 조건과 다른 조건이다.) ...ath> 전체이다. 따라서, 공역이 하우스도르프 연결 공간인 경우 준콤팩트 함수의 개념은 자명하다. 그러나 대부분의 [[스킴 (수학)|스킴]]은 [[하우스도르프 공간]]이 아니다. ...

...e, {{llang|en|catenary scheme}})은 [[위상 공간 (수학)|위상 공간]]으로서 현수 공간인 [[스킴 (수학)|스킴]]이다. ...]]적으로, [[소 아이디얼]] <math>\mathfrak p\in\operatorname{Spec}R</math>은 [[닫힌 부분 스킴]] <math>\operatorname{Spec}(R/\mathfrak p)\subseteq\operatorname{Spec}R</ma ...

...式的scheme, {{llang|en|formal scheme}})은 스스로의 ‘무한소 근방’의 데이터를 기억하는, [[스킴 (수학)|스킴]]의 개념의 일반화이다.<ref name="Hartshorne"/>{{rp|190–200, §Ⅱ.9}} === 아핀 형식적 스킴 === ...

=== 스킴 사상 === ...)|스킴]] 사이의 '''열린 사상''' 또는 '''닫힌 사상'''은 ([[연속 함수]]로서) 열린 함수 또는 닫힌 함수를 이루는 [[스킴 사상]]이다. ...

[[스킴 (수학)|스킴]]을 [[집합]]으로 대응시키는 [[함자 (수학)|함자]] <math>F\colon\operatorname{Sch}^{\operator * <math>M\in\operatorname{Sch}</math>은 [[스킴 (수학)|스킴]]이다. ...

...cheme, {{llang|en|normal scheme}})은 모든 [[국소환]]이 [[정수적으로 닫힌 정역]]인 [[스킴 (수학)|스킴]]이다. '''정규 스킴'''은 정규 국소환 달린 공간인 [[스킴 (수학)|스킴]]이다.<ref name="Hartshorne">{{서적 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=Al ...

...기하학]]에서 '''자리스키 위상'''({{llang|en|Zariski topology}})은 [[대수다양체]]나 [[스킴 (수학)|스킴]]에 일반적으로 주어지는 [[위상 공간 (수학)|위상]]이다. 자리스키 위상에서는 [[다항식]]의 해집합을 닫힌 집합으로 정의한다. === 스킴 === ...

...군'''(étale基本群, {{llang|en|étale fundamental group}})은 [[대수다양체]]와 [[스킴 (수학)|스킴]]에 대하여 정의되는 [[기본군]]이다. 에탈 기본군은 [[대수적 위상수학]]과 [[갈루아 이론]] 사이의 다음과 같은 대응성으로부터 출발하며, 이 둘을 대수기하학적으로 일반화하여 공통적으로 다룬다. ...

...евич位相, {{llang|en|Nisnevich topology}})은 [[에탈 위상]]과 비슷하지만, 이와 달리 체의 [[갈루아 이론]] ([[에탈 기본군]])을 관찰하지 않도록 하여 [[체 (수학)|체]]의 [[환의 스펙트럼|스펙트럼]]의 코호몰로지가 자명하게 만든 같은 [[공역]]을 갖는 [[스킴 사상]]들의 집합 ...

[[대수기하학]]에서 '''기하 불변량 이론 몫'''(幾何不變量理論몫, {{llang|en|geometric invariant theory [GIT] quotient}})은 [[대 * <math>k</math> 위의 [[아핀 스킴]] <math>X/\operatorname{Spec}k = \operatorname{Spec}A</math> ...

...ng|fr|morphisme de type fini}})은 대략 유한 개의 변수에 대한 [[다항 함수]]에 대응하는 [[스킴 (수학)|스킴]] 사이의 사상이다. 이 개념은 [[스킴 (수학)|스킴]]에 대하여 쉽게 일반화할 수 있다. ...