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

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.

Property Value
dbo:abstract
  • Die endliche Präsentierbarkeit ist ein Konzept aus der mathematischen Theorie der Moduln. Ein Modul ist endlich präsentierbar, wenn er ein endliches Erzeugendensystem besitzt, für das die Relationen, die zwischen dessen Elementen bestehen dürfen, einer Endlichkeitsbedingung unterworfen sind. (de)
  • In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a field is simply a finite-dimensional vector space, and a finitely generated module over the integers is simply a finitely generated abelian group. (en)
  • 환론에서 유한 생성 가군(有限生成加群, 영어: finitely generated module)은 유한 계수의 자유 가군의 몫가군이다. 즉, 유한 개의 생성원과 (유한 또는 무한 개의) 관계로 나타내어지는 가군이다. (ko)
  • 数学において、有限生成加群(ゆうげんせいせいかぐん、英: finitely generated module)とは、有限な生成集合をもつ加群のことである。有限生成 R-加群はまた有限 R-加群 (finite R-module, module of finite type) や R 上有限 (finite over R) とも呼ばれる。 関連した概念に、有限余生成加群 (finitely cogenerated module)、有限表示加群 (finitely presented module)、有限関係加群 (finitely related module)、連接加群 (coherent module) があり、これらはすべてあとで定義される。ネーター環上では、有限生成、有限表示、連接加群の概念は一致する。 たとえば体上の有限生成加群とは単に有限次元ベクトル空間であり、有理整数環上の有限生成加群とは単に有限生成アーベル群である。 (ja)
  • Inom ringteorin, en del av matematiken, är en ändligtgenererad modul en vänster- eller högermodul över någon unitär ring, sådan att den genereras av någon ändlig delmängd. Således är vänstermodulen M över ringen R ändligtgenererad, om det finns någon ändlig delmängd G = {g1,...,gr} av M, sådan att varje element i M kan framställas som en linjärkombination , där och . Motsvarande gäller om M är en högermodul; en allmän linjärkombination skrivs då dock . Ett linjärt rum är ändligtgenererat (som modul över sin kropp av skalärer) precis om rummet har ändlig dimension. En abelsk grupp är ändligtgenererad (som modul över Z) precis om den är en . Om generatormängden bara innehåller ett enda element, så kallas modulen cyklisk. (sv)
  • Конечнопорождённым мо́дулем над ассоциативным кольцом называется такой модуль, который порождается конечным числом своих элементов. Например, для правого модуля это означает, что существует конечное множество элементов таких, что любой элемент из представим в виде суммы , где — какие-то элементы кольца . В числе свойств, тесно связанных с конечнопорождённостью — конечнопредставленность, конечносвязанность и когерентность модуля. Над нётеровым кольцом все четыре свойства эквивалентны. Конечнопорождённые модули над полем — это в точности конечномерные векторные пространства. (ru)
  • Скінченнопородженим модулем над асоціативним кільцем називається такий модуль, який породжується скінченною кількістю своїх елементів. Наприклад, для правого модуля це означає, що існує скінченна множина елементів таких, що будь-який елемент з рівний сумі , де — елементи кільця . Еквівалентно скінченнопороджені модулі можна визначити такими умовами: * Для будь-якої сім'ї підмодулів {Ni | i ∈ I} модуля M, якщо , то для деякої скінченної підмножини F множиниI. * Для будь-якої лінійно впорядкованої множини підмодулів {Ni | i ∈ I} вM, якщо , тоді Ni = M для деякого i в I. * Якщо є епіморфізмом, тоді для деякої скінченної підмножини F множини I теж є епіморфізмом. Серед властивостей, тісно пов'язаних з скінченною породженістю — скінченне представлення, скінченна зв'язність і когерентність модуля. Над нетеровим кільцем всі чотири властивості є еквівалентними. Скінченнопороджені модулі над полем є скінченновимірними . (uk)
dbo:wikiPageID
  • 326430 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 19365 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1110114952 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • Die endliche Präsentierbarkeit ist ein Konzept aus der mathematischen Theorie der Moduln. Ein Modul ist endlich präsentierbar, wenn er ein endliches Erzeugendensystem besitzt, für das die Relationen, die zwischen dessen Elementen bestehen dürfen, einer Endlichkeitsbedingung unterworfen sind. (de)
  • 환론에서 유한 생성 가군(有限生成加群, 영어: finitely generated module)은 유한 계수의 자유 가군의 몫가군이다. 즉, 유한 개의 생성원과 (유한 또는 무한 개의) 관계로 나타내어지는 가군이다. (ko)
  • 数学において、有限生成加群(ゆうげんせいせいかぐん、英: finitely generated module)とは、有限な生成集合をもつ加群のことである。有限生成 R-加群はまた有限 R-加群 (finite R-module, module of finite type) や R 上有限 (finite over R) とも呼ばれる。 関連した概念に、有限余生成加群 (finitely cogenerated module)、有限表示加群 (finitely presented module)、有限関係加群 (finitely related module)、連接加群 (coherent module) があり、これらはすべてあとで定義される。ネーター環上では、有限生成、有限表示、連接加群の概念は一致する。 たとえば体上の有限生成加群とは単に有限次元ベクトル空間であり、有理整数環上の有限生成加群とは単に有限生成アーベル群である。 (ja)
  • Конечнопорождённым мо́дулем над ассоциативным кольцом называется такой модуль, который порождается конечным числом своих элементов. Например, для правого модуля это означает, что существует конечное множество элементов таких, что любой элемент из представим в виде суммы , где — какие-то элементы кольца . В числе свойств, тесно связанных с конечнопорождённостью — конечнопредставленность, конечносвязанность и когерентность модуля. Над нётеровым кольцом все четыре свойства эквивалентны. Конечнопорождённые модули над полем — это в точности конечномерные векторные пространства. (ru)
  • In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide. (en)
  • Inom ringteorin, en del av matematiken, är en ändligtgenererad modul en vänster- eller högermodul över någon unitär ring, sådan att den genereras av någon ändlig delmängd. Således är vänstermodulen M över ringen R ändligtgenererad, om det finns någon ändlig delmängd G = {g1,...,gr} av M, sådan att varje element i M kan framställas som en linjärkombination , där och . Motsvarande gäller om M är en högermodul; en allmän linjärkombination skrivs då dock . (sv)
  • Скінченнопородженим модулем над асоціативним кільцем називається такий модуль, який породжується скінченною кількістю своїх елементів. Наприклад, для правого модуля це означає, що існує скінченна множина елементів таких, що будь-який елемент з рівний сумі , де — елементи кільця . Еквівалентно скінченнопороджені модулі можна визначити такими умовами: Серед властивостей, тісно пов'язаних з скінченною породженістю — скінченне представлення, скінченна зв'язність і когерентність модуля. Над нетеровим кільцем всі чотири властивості є еквівалентними. (uk)
rdfs:label
  • Endliche Präsentierbarkeit (Modul) (de)
  • Finitely generated module (en)
  • 有限生成加群 (ja)
  • 유한 생성 가군 (ko)
  • Конечнопорождённый модуль (ru)
  • Ändligtgenererad modul (sv)
  • Скінченнопороджений модуль (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink 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