Noether normalization lemma (original) (raw)
Der noethersche Normalisierungssatz (oder auch noethersches Normalisierungslemma) (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen affinen Raum gibt, deren Fasern endlich sind. Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.
| Property | Value |
|---|---|
| dbo:abstract | Der noethersche Normalisierungssatz (oder auch noethersches Normalisierungslemma) (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen affinen Raum gibt, deren Fasern endlich sind. Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra. (de) In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field k, and any finitely generated commutative k-algebra A, there exists a non-negative integer d and algebraically independent elements y1, y2, ..., yd in A such that A is a finitely generated module over the polynomial ring S = k [y1, y2, ..., yd]. The integer d above is uniquely determined; it is the Krull dimension of the ring A. When A is an integral domain, d is also the transcendence degree of the field of fractions of A over k. The theorem has a geometric interpretation. Suppose A is integral. Let S be the coordinate ring of the d-dimensional affine space , and let A be the coordinate ring of some other d-dimensional affine variety X. Then the inclusion map S → A induces a surjective finite morphism of affine varieties . The conclusion is that any affine variety is a branched covering of affine space.When k is infinite, such a branched covering map can be constructed by taking a general projection from an affine space containing X to a d-dimensional subspace. More generally, in the language of schemes, the theorem can equivalently be stated as follows: every affine k-scheme (of finite type) X is finite over an affine n-dimensional space. The theorem can be refined to include a chain of ideals of R (equivalently, closed subsets of X) that are finite over the affine coordinate subspaces of the appropriate dimensions. The form of the Noether normalization lemma stated above can be used as an important step in proving Hilbert's Nullstellensatz. This gives it further geometric importance, at least formally, as the Nullstellensatz underlies the development of much of classical algebraic geometry. The theorem is also an important tool in establishing the notions of Krull dimension for k-algebras. (en) En algèbre commutative, le lemme de normalisation de Noether, dû à la mathématicienne allemande Emmy Noether, donne une description des algèbres de type fini sur un corps. On fixe une algèbre commutative de type fini A sur un corps (commutatif) K. (fr) In matematica, il lemma di normalizzazione di Noether è un teorema dell'algebra commutativa che afferma che ogni -algebra finitamente generata (dove è un campo) è un'estensione intera di un anello di polinomi su . Prende nome da Emmy Noether, che nel 1926 lo dimostrò sotto l'ipotesi che fosse infinito. Il caso in cui è un campo finito fu dimostrato da Oscar Zariski nel 1943. (it) Лемма Нётер о нормализации — результат коммутативной алгебры играющий важную роль в основаниях алгебраической геометрии.Доказанa Эмми Нётер в 1926 году. Эта лемма используется в доказательстве теоремы Гильберта о нулях.Также она является важным инструментом изучения размерности Крулля. (ru) 在交換代數中，諾特正規化引理是一個技術性的定理，以德國數學家埃米·諾特命名。其內容如下： 設 為域， 是有限生成的 -代數，且 是整環，則存在 ，使得 在 上彼此代數獨立，且 是 的整擴張。 它的一個重要幾何結論之一是：任一射影簇均可表為仿射空間的。 (zh) Нормалізаційна лема Нетер — результат комутативної алгебри, що використовується при доведенні теореми Гільберта про нулі. Названа на честь Еммі Нетер. (uk) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20130308102929/http:/gdz.sub.uni-goettingen.de/no_cache/dms/load/img/%3FIDDOC=63971 http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/%3FIDDOC=63971 https://arxiv.org/abs/1209.5993 https://mathoverflow.net/q/42363 |
| dbo:wikiPageID | 3003553 (xsd:integer) |
| dbo:wikiPageLength | 13189 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1073915489 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Algebra_over_a_field dbc:Algebraic_varieties dbr:Inclusion_map dbr:Integral_domain dbr:Mathematics dbr:Emmy_Noether dbr:Generic_freeness dbr:Branched_covering dbr:Commutative_algebra dbr:Krull_dimension dbr:Affine_space dbr:Affine_varieties dbr:Affine_variety dbr:Algebraic_geometry dbr:Algebraically_independent dbr:Field_(mathematics) dbr:Finitely_generated_module dbr:Nullstellensatz dbr:Graduate_Texts_in_Mathematics dbr:Associated_prime dbc:Commutative_algebra dbc:Lemmas_in_algebra dbc:Algebraic_geometry dbr:Dimension_theory_(algebra) dbr:Field_of_fractions dbr:Coordinate_ring dbr:Finite_morphism dbr:Finitely_generated_algebra dbr:Transcendence_degree dbr:Springer-Verlag dbr:Fraction_field dbr:Incomparability_property_(commutative_algebra) dbr:Nagata's_altitude_formula dbr:Nachrichten_von_der_Gesellschaft_der_Wissenschaften_zu_Göttingen |
| dbp:id | n/n066790 (en) |
| dbp:title | Noether theorem (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Hair_space dbt:Citation dbt:Reflist dbt:Short_description dbt:Use_American_English dbt:Use_mdy_dates dbt:Math_theorem |
| dct:subject | dbc:Algebraic_varieties dbc:Commutative_algebra dbc:Lemmas_in_algebra dbc:Algebraic_geometry |
| rdf:type | yago:WikicatLemmas yago:WikicatMathematicalTheorems yago:WikicatTheorems yago:Abstraction100002137 yago:Assortment108398773 yago:Collection107951464 yago:Communication100033020 yago:Group100031264 yago:Lemma106751833 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 yago:WikicatAlgebraicVarieties |
| rdfs:comment | Der noethersche Normalisierungssatz (oder auch noethersches Normalisierungslemma) (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen affinen Raum gibt, deren Fasern endlich sind. Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra. (de) En algèbre commutative, le lemme de normalisation de Noether, dû à la mathématicienne allemande Emmy Noether, donne une description des algèbres de type fini sur un corps. On fixe une algèbre commutative de type fini A sur un corps (commutatif) K. (fr) In matematica, il lemma di normalizzazione di Noether è un teorema dell'algebra commutativa che afferma che ogni -algebra finitamente generata (dove è un campo) è un'estensione intera di un anello di polinomi su . Prende nome da Emmy Noether, che nel 1926 lo dimostrò sotto l'ipotesi che fosse infinito. Il caso in cui è un campo finito fu dimostrato da Oscar Zariski nel 1943. (it) Лемма Нётер о нормализации — результат коммутативной алгебры играющий важную роль в основаниях алгебраической геометрии.Доказанa Эмми Нётер в 1926 году. Эта лемма используется в доказательстве теоремы Гильберта о нулях.Также она является важным инструментом изучения размерности Крулля. (ru) 在交換代數中，諾特正規化引理是一個技術性的定理，以德國數學家埃米·諾特命名。其內容如下： 設 為域， 是有限生成的 -代數，且 是整環，則存在 ，使得 在 上彼此代數獨立，且 是 的整擴張。 它的一個重要幾何結論之一是：任一射影簇均可表為仿射空間的。 (zh) Нормалізаційна лема Нетер — результат комутативної алгебри, що використовується при доведенні теореми Гільберта про нулі. Названа на честь Еммі Нетер. (uk) In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field k, and any finitely generated commutative k-algebra A, there exists a non-negative integer d and algebraically independent elements y1, y2, ..., yd in A such that A is a finitely generated module over the polynomial ring S = k [y1, y2, ..., yd]. The integer d above is uniquely determined; it is the Krull dimension of the ring A. When A is an integral domain, d is also the transcendence degree of the field of fractions of A over k. (en) |
| rdfs:label | Noetherscher Normalisierungssatz (de) Lemma di normalizzazione di Noether (it) Lemme de normalisation de Noether (fr) Noether normalization lemma (en) Лемма Нётер о нормализации (ru) 諾特正規化引理 (zh) Нормалізаційна лема Нетер (uk) |
| owl:sameAs | freebase:Noether normalization lemma yago-res:Noether normalization lemma wikidata:Noether normalization lemma dbpedia-de:Noether normalization lemma dbpedia-fr:Noether normalization lemma dbpedia-he:Noether normalization lemma dbpedia-it:Noether normalization lemma dbpedia-ru:Noether normalization lemma dbpedia-uk:Noether normalization lemma dbpedia-zh:Noether normalization lemma https://global.dbpedia.org/id/KNFp |
| prov:wasDerivedFrom | wikipedia-en:Noether_normalization_lemma?oldid=1073915489&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Noether_normalization_lemma |
| is dbo:wikiPageDisambiguates of | dbr:NNL dbr:Noether dbr:Normalization |
| is dbo:wikiPageRedirects of | dbr:Noether_normalization_theorem dbr:Noether's_normalisation_lemma dbr:Noether's_normalization_lemma dbr:Noether_normalisation dbr:Noether_normalisation_lemma dbr:Noether_normalization |
| is dbo:wikiPageWikiLink of | dbr:Puiseux_series dbr:List_of_commutative_algebra_topics dbr:NNL dbr:Morphism_of_finite_type dbr:Noether_normalization_theorem dbr:Integral_element dbr:List_of_inventions_and_discoveries_by_women dbr:Noether dbr:Noether's_theorem_(disambiguation) dbr:Normal_scheme dbr:Normalization dbr:Emmy_Noether dbr:Rational_mapping dbr:Zariski's_lemma dbr:Krull_dimension dbr:Noether's_normalisation_lemma dbr:Noether's_normalization_lemma dbr:Noether_normalisation dbr:Noether_normalisation_lemma dbr:Noether_normalization dbr:Hironaka_decomposition dbr:Cohen–Macaulay_ring dbr:List_of_things_named_after_Emmy_Noether |
| is foaf:primaryTopic of | wikipedia-en:Noether_normalization_lemma |