Cohen–Macaulay ring (original) (raw)
数学において、コーエン・マコーレー環 (英: Cohen–Macaulay ring, CM ring) は局所のような非特異多様体の代数幾何的な性質のいくつかをもった可換環のタイプである。 名称は純性定理を多項式環に対して証明したと、純性定理を形式的冪級数環に対して証明したによる。すべての Cohen–Macaulay 環は純性定理が成り立つ。 可換ネーター局所環については次の包含関係が成り立つ。 強鎖状環 ⊃ コーエン・マコーレー環 ⊃ ゴレンシュタイン環 ⊃ 完全交叉環 ⊃ 正則局所環
| Property | Value |
|---|---|
| dbo:abstract | Im mathematischen Teilgebiet der kommutativen Algebra versteht man unter einem Cohen-Macaulay-Ring einen noetherschen Ring, der nicht mehr unbedingt regulär ist, dessen Tiefe aber gleich seiner Krulldimension ist. Eine Cohen-Macaulay-Singularität ist eine Singularität, deren lokaler Ring ein Cohen-Macaulay-Ring ist. Benannt wurden die Ringe nach Irvin Cohen und Francis Macaulay. Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra. (de) In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways. They are named for Francis Sowerby Macaulay, who proved the unmixedness theorem for polynomial rings, and for Irvin Cohen, who proved the unmixedness theorem for formal power series rings. All Cohen–Macaulay rings have the unmixedness property. For Noetherian local rings, there is the following chain of inclusions. Universally catenary rings ⊃ ⊃ Gorenstein rings ⊃ complete intersection rings ⊃ regular local rings (en) 数学において、コーエン・マコーレー環 (英: Cohen–Macaulay ring, CM ring) は局所のような非特異多様体の代数幾何的な性質のいくつかをもった可換環のタイプである。 名称は純性定理を多項式環に対して証明したと、純性定理を形式的冪級数環に対して証明したによる。すべての Cohen–Macaulay 環は純性定理が成り立つ。 可換ネーター局所環については次の包含関係が成り立つ。 強鎖状環 ⊃ コーエン・マコーレー環 ⊃ ゴレンシュタイン環 ⊃ 完全交叉環 ⊃ 正則局所環 (ja) 가환대수학과 대수기하학에서 코언-매콜리 환(Cohen-Macaulay環, 영어: Cohen–Macaulay ring)은 국소적으로 어느 곳에서나 차원이 동일한 아핀 스킴의 개념을 형식화한 개념이다. (ko) In matematica, in particolare in algebra commutativa, un anello di Cohen-Macaulay è un anello commutativo unitario noetheriano tale che, per ogni ideale massimale , la profondità e la dimensione di Krull della localizzazione sono uguali. La classe degli anelli di Cohen-Macaulay contiene al suo interno tutti gli anelli regolari e gli anelli di Gorenstein. Prendono nome da e , che dimostrarono il rispettivamente per gli anelli di polinomi (Macaulay, 1916) e gli anelli di serie formali (Cohen, 1946). (it) У комутативній алгебрі кільцями Коена — Маколея називається клас комутативних кілець, що є зокрема важливим у алгебричній геометрії, завдяки властивостям локальної рівнорозмірності. Названі на честь англійського математика Френсіса Маколея і американського математика Ірвінга Коена. (uk) 在交換代數中，Cohen-Macaulay環是對應到一類代數幾何性質（例如局部等維性）的交換環。 此概念依數學家（Francis Sowerby Macaulay）與（Irvin S. Cohen） 命名，麦考利（1916年）證明了多項式環的純粹性定理，科恩（1946年）則證明了冪級數環的情形；事實上所有Cohen-Macaulay環都具純粹性。 (zh) |
| dbo:wikiPageExternalLink | https://math.stackexchange.com/q/1432721 https://math.stackexchange.com/q/751670 http://projecteuclid.org/euclid.chmm/1263317740%7Cisbn=1-4297-0441-1 |
| dbo:wikiPageID | 497407 (xsd:integer) |
| dbo:wikiPageLength | 22595 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1099047862 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Prime_ideal dbr:Princeton_University_Press dbr:Robin_Hartshorne dbr:Minor_(linear_algebra) dbr:Miracle_flatness dbr:Noether_normalization_lemma dbr:Morphism_of_finite_type dbr:Cusp_(singularity) dbr:Depth_(ring_theory) dbr:Derived_category dbr:Determinantal_variety dbr:Integral_closure_of_an_ideal dbr:Integral_domain dbr:Affine_scheme dbr:Wiles's_proof_of_Fermat's_Last_Theorem dbr:Commutative dbr:Mathematics dbr:Matrix_(mathematics) dbr:Generalized_Cohen–Macaulay_ring dbr:Generic_point dbr:Noetherian_ring dbr:Normal_ring dbr:Quasi-unmixed_ring dbr:Equidimensional_ring dbr:Graded_algebra dbr:Connected_space dbr:Equidimensionality dbr:Ergebnisse_der_Mathematik_und_ihrer_Grenzgebiete dbr:Commutative_algebra dbr:Commutative_ring dbr:Complete_intersection_ring dbr:Ideal_(ring_theory) dbr:Krull_dimension dbr:Maximal_ideal dbr:Cohen-Macaulay_ring dbr:Line_bundle dbr:Linear_algebraic_group dbr:Local_ring dbr:Affine_variety dbr:Algebraic_geometry dbr:Ample_line_bundle dbr:Field_(mathematics) dbr:Finitely_generated_module dbr:Flat_module dbr:Parabola dbr:Gorenstein_ring dbr:Graduate_Texts_in_Mathematics dbr:Hilbert–Burch_theorem dbr:Projective_variety dbr:Regular_local_ring dbr:Ring_theory dbr:Intersection_theory dbr:System_of_parameters dbr:Associated_prime dbr:Abelian_variety dbc:Commutative_algebra dbc:Algebraic_geometry dbr:Characteristic_(algebra) dbr:Coherent_duality dbr:Coherent_sheaf dbr:Coherent_sheaf_cohomology dbr:Hochster–Roberts_theorem dbr:Toric_variety dbr:Reductive_group dbr:Regular_scheme dbr:Regular_sequence dbr:Artinian_ring dbr:Auslander–Buchsbaum_formula dbr:Polynomial_ring dbr:Circular_definition dbr:Free_module dbr:Grothendieck_local_duality dbr:Buchsbaum_ring dbr:Canonical_singularity dbr:Minimal_model_program dbr:Rational_singularity dbr:Scheme_(mathematics) dbr:Completion_(ring_theory) dbr:Formal_power_series_ring dbr:Reduced_ring dbr:Finite_morphism dbr:Finitely_generated_algebra dbr:Serre_duality dbr:Intersection_multiplicity dbr:Universally_catenary_ring dbr:Transactions_of_the_American_Mathematical_Society dbr:Unmixedness_theorem dbr:Proper_component dbr:Ring_of_invariants dbr:Springer-Verlag dbr:Parameter_ideal dbr:Height_of_an_ideal dbr:Gorenstein_local_ring dbr:Miracle_flatness_theorem dbr:Smooth_variety dbr:Hilbert–Samuel_multiplicity dbr:Hironaka's_criterion dbr:Multiplicity_one_criterion dbr:Power_series_ring dbr:''x'' dbr:Segre_product |
| dbp:author | V.I. Danilov (en) |
| dbp:authorlink | Francis Sowerby Macaulay (en) Irvin S. Cohen (en) |
| dbp:first | Irvin (en) Francis Sowerby (en) |
| dbp:id | c/c022970 (en) |
| dbp:last | Cohen (en) Macaulay (en) |
| dbp:title | Cohen–Macaulay ring (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Anchor dbt:Citation dbt:Citation_needed dbt:Distinguish dbt:Reflist dbt:Harvs dbt:Commutative_local_ring_classes |
| dbp:year | 1916 (xsd:integer) 1946 (xsd:integer) |
| dcterms:subject | dbc:Commutative_algebra dbc:Algebraic_geometry |
| gold:hypernym | dbr:Ring |
| rdf:type | owl:Thing dbo:AnatomicalStructure |
| rdfs:comment | 数学において、コーエン・マコーレー環 (英: Cohen–Macaulay ring, CM ring) は局所のような非特異多様体の代数幾何的な性質のいくつかをもった可換環のタイプである。 名称は純性定理を多項式環に対して証明したと、純性定理を形式的冪級数環に対して証明したによる。すべての Cohen–Macaulay 環は純性定理が成り立つ。 可換ネーター局所環については次の包含関係が成り立つ。 強鎖状環 ⊃ コーエン・マコーレー環 ⊃ ゴレンシュタイン環 ⊃ 完全交叉環 ⊃ 正則局所環 (ja) 가환대수학과 대수기하학에서 코언-매콜리 환(Cohen-Macaulay環, 영어: Cohen–Macaulay ring)은 국소적으로 어느 곳에서나 차원이 동일한 아핀 스킴의 개념을 형식화한 개념이다. (ko) In matematica, in particolare in algebra commutativa, un anello di Cohen-Macaulay è un anello commutativo unitario noetheriano tale che, per ogni ideale massimale , la profondità e la dimensione di Krull della localizzazione sono uguali. La classe degli anelli di Cohen-Macaulay contiene al suo interno tutti gli anelli regolari e gli anelli di Gorenstein. Prendono nome da e , che dimostrarono il rispettivamente per gli anelli di polinomi (Macaulay, 1916) e gli anelli di serie formali (Cohen, 1946). (it) У комутативній алгебрі кільцями Коена — Маколея називається клас комутативних кілець, що є зокрема важливим у алгебричній геометрії, завдяки властивостям локальної рівнорозмірності. Названі на честь англійського математика Френсіса Маколея і американського математика Ірвінга Коена. (uk) 在交換代數中，Cohen-Macaulay環是對應到一類代數幾何性質（例如局部等維性）的交換環。 此概念依數學家（Francis Sowerby Macaulay）與（Irvin S. Cohen） 命名，麦考利（1916年）證明了多項式環的純粹性定理，科恩（1946年）則證明了冪級數環的情形；事實上所有Cohen-Macaulay環都具純粹性。 (zh) Im mathematischen Teilgebiet der kommutativen Algebra versteht man unter einem Cohen-Macaulay-Ring einen noetherschen Ring, der nicht mehr unbedingt regulär ist, dessen Tiefe aber gleich seiner Krulldimension ist. Eine Cohen-Macaulay-Singularität ist eine Singularität, deren lokaler Ring ein Cohen-Macaulay-Ring ist. Benannt wurden die Ringe nach Irvin Cohen und Francis Macaulay. (de) In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways. For Noetherian local rings, there is the following chain of inclusions. (en) |
| rdfs:label | Cohen–Macaulay ring (en) Cohen-Macaulay-Ring (de) Anello di Cohen-Macaulay (it) コーエン・マコーレー環 (ja) 코언-매콜리 환 (ko) 科恩-麥考利環 (zh) Кільце Коена — Маколея (uk) |
| owl:differentFrom | dbr:Cohen_algebra dbr:Cohen_ring |
| owl:sameAs | freebase:Cohen–Macaulay ring wikidata:Cohen–Macaulay ring dbpedia-de:Cohen–Macaulay ring dbpedia-fa:Cohen–Macaulay ring dbpedia-he:Cohen–Macaulay ring dbpedia-it:Cohen–Macaulay ring dbpedia-ja:Cohen–Macaulay ring dbpedia-ko:Cohen–Macaulay ring dbpedia-uk:Cohen–Macaulay ring dbpedia-zh:Cohen–Macaulay ring https://global.dbpedia.org/id/2gfwc |
| prov:wasDerivedFrom | wikipedia-en:Cohen–Macaulay_ring?oldid=1099047862&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Cohen–Macaulay_ring |
| is dbo:wikiPageDisambiguates of | dbr:Cohen dbr:Macaulay |
| is dbo:wikiPageRedirects of | dbr:Cohen-Macaulay_local_ring dbr:Cohen-Macaulay_module dbr:Cohen-Macaulay_scheme dbr:Cohen–Macaulay_module dbr:Cohen-Macaulay_ring dbr:Unmixed_ideal dbr:Unmixed_theorem dbr:Unmixedness_theorem dbr:Cohen-Macaulay dbr:Cohen-Macauley dbr:Cohen–Macaulay dbr:Cohen–Macaulay_local_ring dbr:Cohen–Macaulay_scheme dbr:Macaulay's_unmixed_theorem dbr:Macaulay_ring |
| is dbo:wikiPageWikiLink of | dbr:List_of_abstract_algebra_topics dbr:List_of_algebraic_geometry_topics dbr:Minimal_prime_ideal dbr:Arf_ring dbr:Depth_(ring_theory) dbr:Derived_category dbr:Melvin_Hochster dbr:Generalized_Cohen–Macaulay_ring dbr:Serre's_criterion_for_normality dbr:Quasi-unmixed_ring dbr:Cohen-Macaulay_local_ring dbr:Cohen-Macaulay_module dbr:Cohen-Macaulay_scheme dbr:Cohen–Macaulay_module dbr:Glossary_of_commutative_algebra dbr:Equidimensionality dbr:Combinatorial_commutative_algebra dbr:Commutative_algebra dbr:Commutative_ring dbr:Francis_Sowerby_Macaulay dbr:Krull_dimension dbr:Dualizing_module dbr:Cohen dbr:Cohen-Macaulay_ring dbr:Irvin_Cohen dbr:K-theory dbr:Flat_morphism dbr:Gorenstein_ring dbr:Gorenstein_scheme dbr:Hironaka_decomposition dbr:Ring_theory dbr:Hochster–Roberts_theorem dbr:Homological_conjectures_in_commutative_algebra dbr:Dimension_theory_(algebra) dbr:Auslander–Buchsbaum_formula dbr:Grothendieck_local_duality dbr:Buchsbaum_ring dbr:Caroline_Klivans dbr:Macaulay dbr:Serre_duality dbr:Stanley–Reisner_ring dbr:Unmixed_ideal dbr:Unmixed_theorem dbr:Unmixedness_theorem dbr:Cohen-Macaulay dbr:Cohen-Macauley dbr:Cohen–Macaulay dbr:Cohen–Macaulay_local_ring dbr:Cohen–Macaulay_scheme dbr:Macaulay's_unmixed_theorem dbr:Macaulay_ring |
| is owl:differentFrom of | dbr:Cohen_ring |
| is foaf:primaryTopic of | wikipedia-en:Cohen–Macaulay_ring |