An Entity of Type: WikicatAlgebras, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra A over a field K where there exists a finite set of elements a1,...,an of A such that every element of A can be expressed as a polynomial in a1,...,an, with coefficients in K. Equivalently, there exist elements s.t. the evaluation homomorphism at is surjective; thus, by applying the first isomorphism theorem, . is a finitely generated -algebra if and only if it is isomorphic to a quotient ring of the type by an ideal .

Property Value
dbo:abstract
  • In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra A over a field K where there exists a finite set of elements a1,...,an of A such that every element of A can be expressed as a polynomial in a1,...,an, with coefficients in K. Equivalently, there exist elements s.t. the evaluation homomorphism at is surjective; thus, by applying the first isomorphism theorem, . Conversely, for any ideal is a -algebra of finite type, indeed any element of is a polynomial in the cosets with coefficients in . Therefore, we obtain the following characterisation of finitely generated -algebras is a finitely generated -algebra if and only if it is isomorphic to a quotient ring of the type by an ideal . If it is necessary to emphasize the field K then the algebra is said to be finitely generated over K . Algebras that are not finitely generated are called infinitely generated. (en)
  • En algèbre commutative, la notion d'algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d'indéterminées. Ces algèbres possèdent de bonnes propriétés relatives à l'anneau de base, et de bonnes propriétés absolues lorsque l'anneau de base est un corps. Les algèbres de type fini sur un corps sont les objets algébriques de base des variétés algébriques. Sur un corps k, attention à ne pas confondre une algèbre de type fini avec une extension de type fini qui n'est jamais de type fini en tant que k-algèbre sauf si c'est une extension finie. (fr)
  • 体上有限生成環 (たいじょうゆうげんせいせいかん; finitely generated ring over a field)とは、ある(可環な)体 k 上有限個の元で生成される可換環の事を言う。k 上の多項式環 k[x1 , ... , xn] の剰余環として得られる環といっても同じである。体上有限生成環は、可換環論的見地からはネーター環の重要な例でありヴォルフガング・クルルらによるネーター環のイデアル論のひな形であった。また体上有限生成環の理論は代数幾何学におけるアフィン代数多様体の理論、すなわち、代数多様体の局所理論と本質的に等価である点からも重要である。本項では、 (Noether normalization lemma)、、 (Hilbert's Nullstellensatz) について説明する。 (ja)
dbo:wikiPageID
  • 11985661 (xsd:integer)
dbo:wikiPageLength
  • 7042 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1103193126 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • En algèbre commutative, la notion d'algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d'indéterminées. Ces algèbres possèdent de bonnes propriétés relatives à l'anneau de base, et de bonnes propriétés absolues lorsque l'anneau de base est un corps. Les algèbres de type fini sur un corps sont les objets algébriques de base des variétés algébriques. Sur un corps k, attention à ne pas confondre une algèbre de type fini avec une extension de type fini qui n'est jamais de type fini en tant que k-algèbre sauf si c'est une extension finie. (fr)
  • 体上有限生成環 (たいじょうゆうげんせいせいかん; finitely generated ring over a field)とは、ある(可環な)体 k 上有限個の元で生成される可換環の事を言う。k 上の多項式環 k[x1 , ... , xn] の剰余環として得られる環といっても同じである。体上有限生成環は、可換環論的見地からはネーター環の重要な例でありヴォルフガング・クルルらによるネーター環のイデアル論のひな形であった。また体上有限生成環の理論は代数幾何学におけるアフィン代数多様体の理論、すなわち、代数多様体の局所理論と本質的に等価である点からも重要である。本項では、 (Noether normalization lemma)、、 (Hilbert's Nullstellensatz) について説明する。 (ja)
  • In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra A over a field K where there exists a finite set of elements a1,...,an of A such that every element of A can be expressed as a polynomial in a1,...,an, with coefficients in K. Equivalently, there exist elements s.t. the evaluation homomorphism at is surjective; thus, by applying the first isomorphism theorem, . is a finitely generated -algebra if and only if it is isomorphic to a quotient ring of the type by an ideal . (en)
rdfs:label
  • Finitely generated algebra (en)
  • Algèbre de type fini (fr)
  • 体上有限生成環の理論 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License