| dbo:abstract
|
- In algebraic geometry, a morphism of schemes f from X to Y is called quasi-separated if the diagonal map from X to X × YX is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme X is called quasi-separated if the morphism to Spec Z is quasi-separated. Quasi-separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way, though some authors include the condition that X is quasi-separated as part of the definition of an algebraic space or algebraic stack X. Quasi-separated morphisms were introduced by , 1.2.1) as a generalization of separated morphisms. All separated morphisms (and all morphisms of Noetherian schemes) are automatically quasi-separated. Quasi-separated morphisms are important for algebraic spaces and algebraic stacks, where many natural morphisms are quasi-separated but not separated. The condition that a morphism is quasi-separated often occurs together with the condition that it is quasi-compact. (en)
- En géométrie algébrique, les schémas ne sont généralement pas séparés pour la topologie de Zariski. La notion de schémas séparés, ou plus généralement de morphismes séparés pallie ce défaut et permet de transposer certaines propriétés d'unicité des espaces topologiques séparés vers les schémas séparés. Dans la première édition des EGA, les schémas étaient appelés des préschémas et les schémas séparés des schémas. Cette convention a été abandonnée depuis. (fr)
- 대수기하학에서 분리 사상(分離寫像, 영어: separated morphism, 프랑스어: morphisme séparé)은 스킴 사이의 사상의 일종이다. 정수환의 스펙트럼으로 가는 유일한 사상이 분리 사상인 스킴을 분리 스킴(分離scheme, 영어: separated scheme, 프랑스어: schéma séparé)이라고 한다. 스킴이 분리 스킴인 것은 위상 공간이 하우스도르프 공간인 것과 유사한 조건이다.:95 (ko)
- У алгебричній геометрії поняття відокремлюваних схем є певною мірою аналогом гаусдорфових просторів у загальній топології. Зокрема топологічний простір є гаусдорфовим тоді і тільки тоді коли діагональ є замкнутою у . Стандартне означення гаусдорфових просторів не має особливого змісту для схем. Зокрема для афінної схеми із топологією Зариського, якщо нільрадикал кільця R є простим ідеалом, то перетин довільних двох відкритих множин є непустим. Натомість перенесення означення за допомогою діагоналі приводить до змістовних понять відокремлюваних схем і морфізмів. (uk)
- 在數學中，分離態射是概形間一類具良好幾何性質的態射，由此可定義分離概形。在亞歷山大·格羅滕迪克的著作中，原將一般的概形稱作預概形（préschéma），而將分離概形稱作概形；1967年左右改稱現名。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2712 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- En géométrie algébrique, les schémas ne sont généralement pas séparés pour la topologie de Zariski. La notion de schémas séparés, ou plus généralement de morphismes séparés pallie ce défaut et permet de transposer certaines propriétés d'unicité des espaces topologiques séparés vers les schémas séparés. Dans la première édition des EGA, les schémas étaient appelés des préschémas et les schémas séparés des schémas. Cette convention a été abandonnée depuis. (fr)
- 대수기하학에서 분리 사상(分離寫像, 영어: separated morphism, 프랑스어: morphisme séparé)은 스킴 사이의 사상의 일종이다. 정수환의 스펙트럼으로 가는 유일한 사상이 분리 사상인 스킴을 분리 스킴(分離scheme, 영어: separated scheme, 프랑스어: schéma séparé)이라고 한다. 스킴이 분리 스킴인 것은 위상 공간이 하우스도르프 공간인 것과 유사한 조건이다.:95 (ko)
- У алгебричній геометрії поняття відокремлюваних схем є певною мірою аналогом гаусдорфових просторів у загальній топології. Зокрема топологічний простір є гаусдорфовим тоді і тільки тоді коли діагональ є замкнутою у . Стандартне означення гаусдорфових просторів не має особливого змісту для схем. Зокрема для афінної схеми із топологією Зариського, якщо нільрадикал кільця R є простим ідеалом, то перетин довільних двох відкритих множин є непустим. Натомість перенесення означення за допомогою діагоналі приводить до змістовних понять відокремлюваних схем і морфізмів. (uk)
- 在數學中，分離態射是概形間一類具良好幾何性質的態射，由此可定義分離概形。在亞歷山大·格羅滕迪克的著作中，原將一般的概形稱作預概形（préschéma），而將分離概形稱作概形；1967年左右改稱現名。 (zh)
- In algebraic geometry, a morphism of schemes f from X to Y is called quasi-separated if the diagonal map from X to X × YX is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme X is called quasi-separated if the morphism to Spec Z is quasi-separated. Quasi-separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way, though some authors include the condition that X is quasi-separated as part of the definition of an algebraic space or algebraic stack X. Quasi-separated morphisms were introduced by , 1.2.1) as a generalization of separated morphisms. (en)
|
| rdfs:label
|
- Morphisme séparé (fr)
- 분리 사상 (ko)
- Quasi-separated morphism (en)
- Відокремлюваний морфізм схем (uk)
- 分離態射 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
