| http://dbpedia.org/ontology/abstract
|
In mathematics, especially in the area of … In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, then any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook . Injective modules have been heavily studied, and a variety of additional notions are defined in terms of them: Injective cogenerators are injective modules that faithfully represent the entire category of modules. Injective resolutions measure how far from injective a module is in terms of the and represent modules in the derived category. Injective hulls are maximal essential extensions, and turn out to be minimal injective extensions. Over a Noetherian ring, every injective module is uniquely a direct sum of indecomposable modules, and their structure is well understood. An injective module over one ring, may not be injective over another, but there are well-understood methods of changing rings which handle special cases. Rings which are themselves injective modules have a number of interesting properties and include rings such as group rings of finite groups over fields. Injective modules include divisible groups and are generalized by the notion of injective objects in category theory.n of injective objects in category theory.
, Инъекти́вный мо́дуль — одно из основных по … Инъекти́вный мо́дуль — одно из основных понятий гомологической алгебры. Модуль над кольцом (как правило, считаемым ассоциативным с единичным элементом) называется инъективным, если для всякого гомоморфизма и мономорфизма (инъективного гомоморфизма) существует такой гомоморфизм , что , то есть данная диаграмма коммутативна: Можно указать ещё один критерий инъективности: инъективен тогда и только тогда, когда для любого мономорфизма индуцированный гомоморфизм является эпиморфизмом. Каждый модуль является подмодулем некоторого инъективного модуля. Эта теорема двойственна тому, что каждый модуль является гомоморфным образом проективного (даже свободного) модуля, хотя доказательство её более сложно. Прямое произведение модулей инъективно тогда и только тогда, когда инъективен каждый сомножитель.огда, когда инъективен каждый сомножитель.
, 內射模（英語：injective module），在模論中，是具有與有理數 （視為 -模）相似性質的模。內射模是投射模的對偶概念，由Reinhold Baer於1940年引進。
, 환론에서 단사 가군(單射加群, 영어: injective module)은 이를 포함하는 모든 가군을 직합으로 쪼갤 수 있는 가군이다. 가군의 범주에서의 단사 대상이다.
, En matemáticas, un módulo inyectivo es un … En matemáticas, un módulo inyectivo es un módulo Q que comparte ciertas propiedades deseables con el Z-módulo Q de todos los números racionales. Específicamente, si Q es un submódulo de algún otro módulo, entonces es un sumando directo de ese módulo; también, dado un submódulo de un módulo Y, entonces cualquier homomorfismo de módulos de este submódulo a Q se puede ampliar a un homomorfismo de todo Y a Q. Este concepto es dual al de los módulos proyectivos.pto es dual al de los módulos proyectivos.
, Ін'єктивний модуль — один з типів модулів, що є двоїстим до проєктивного модуля і широко використовується в гомологічній алгебрі і загалом в теорії кілець.
, In matematica, un modulo iniettivo è un mo … In matematica, un modulo iniettivo è un modulo con la proprietà di essere un addendo diretto di ogni modulo che lo contiene: ovvero Q è iniettivo se, per ogni modulo M che lo contiene, esiste un sottomodulo N di M tale che M è la somma diretta di N e Q. Questo concetto è il duale di quello di modulo proiettivo; è stato introdotto da nel 1940. Un esempio di modulo iniettivo è lo -modulo dei numeri razionali.iettivo è lo -modulo dei numeri razionali.
, 数学において、入射加群（にゅうしゃかぐん、英: injective module）、あるいは移入加群（いにゅうかぐん）とは、関手 Hom(–, E) が完全となるような加群 E のことである。 ホモロジー代数における基本的な概念のひとつ。
, En mathématiques, et plus spécifiquement e … En mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y. d'un sous-module de Y vers Q s'étend à Y.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Injective_module.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books%3Fid=PswhrD_wUIkC +
, http://www.cms.math.ca/cjm/v15/p363 +
, https://archive.org/details/modulesstructure0000gola +
|
| http://dbpedia.org/ontology/wikiPageID
|
473775
|
| http://dbpedia.org/ontology/wikiPageLength
|
28511
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121784240
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Journal_of_Algebra +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Derived_functor +
, http://dbpedia.org/resource/Quasi-Frobenius_ring +
, http://dbpedia.org/resource/Module_theory +
, http://dbpedia.org/resource/Coinduced_module +
, http://dbpedia.org/resource/Projective_module +
, http://dbpedia.org/resource/Semisimple_ring +
, http://dbpedia.org/resource/Quotient_ring +
, http://dbpedia.org/resource/Integral_domain +
, http://dbpedia.org/resource/Localization_of_a_ring +
, http://dbpedia.org/resource/Formal_power_series +
, http://dbpedia.org/resource/Associative_algebra +
, http://dbpedia.org/resource/Injective_hull +
, http://dbpedia.org/resource/Ringed_space +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Finitely-generated_module +
, http://dbpedia.org/resource/Prime_ideal +
, http://dbpedia.org/resource/Functor_category +
, http://dbpedia.org/resource/Quotient_module +
, http://dbpedia.org/resource/Bimodule +
, http://dbpedia.org/resource/Short_exact_sequence +
, http://dbpedia.org/resource/Dimension_of_a_vector_space +
, http://dbpedia.org/resource/Divisible_group +
, http://dbpedia.org/resource/Essential_extension +
, http://dbpedia.org/resource/Flat_module +
, http://dbpedia.org/resource/Field_of_fractions +
, http://dbpedia.org/resource/Uniform_module +
, http://dbpedia.org/resource/Basis_of_a_vector_space +
, http://dbpedia.org/resource/Eben_Matlis +
, http://dbpedia.org/resource/Frobenius_algebra +
, http://dbpedia.org/resource/Abstract_algebra +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Free_module +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Endomorphism_ring +
, http://dbpedia.org/resource/Canadian_Mathematical_Bulletin +
, http://dbpedia.org/resource/Pr%C3%BCfer_group +
, http://dbpedia.org/resource/Canadian_Journal_of_Mathematics +
, http://dbpedia.org/resource/Archiv_der_Mathematik +
, http://dbpedia.org/resource/Zero_ideal +
, http://dbpedia.org/resource/Noetherian_ring +
, http://dbpedia.org/resource/Exact_sequence +
, http://dbpedia.org/resource/Category_of_abelian_groups +
, http://dbpedia.org/resource/Group_ring +
, http://dbpedia.org/resource/Rational_number +
, http://dbpedia.org/resource/Artinian_ring +
, http://dbpedia.org/resource/Transactions_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Category:Module_theory +
, http://dbpedia.org/resource/Polynomial_ring +
, http://dbpedia.org/resource/Ring_%28mathematics%29 +
, http://dbpedia.org/resource/Principal_ideal_domain +
, http://dbpedia.org/resource/Publicationes_Mathematicae_Debrecen +
, http://dbpedia.org/resource/Pure_submodule +
, http://dbpedia.org/resource/Commutative_diagram +
, http://dbpedia.org/resource/Cyclic_module +
, http://dbpedia.org/resource/Direct_sum_of_modules +
, http://dbpedia.org/resource/Indecomposable_module +
, http://dbpedia.org/resource/Vector_space +
, http://dbpedia.org/resource/Subring +
, http://dbpedia.org/resource/Bulletin_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Factor_group +
, http://dbpedia.org/resource/Dedekind_domain +
, http://dbpedia.org/resource/Prime_spectrum +
, http://dbpedia.org/resource/Abelian_group +
, http://dbpedia.org/resource/Group_representation +
, http://dbpedia.org/resource/Hom_functor +
, http://dbpedia.org/resource/Field_%28mathematics%29 +
, http://dbpedia.org/resource/Duality_of_categories +
, http://dbpedia.org/resource/Circle_group +
, http://dbpedia.org/resource/Ext_functor +
, http://dbpedia.org/resource/Ideal_%28ring_theory%29 +
, http://dbpedia.org/resource/Injective_cogenerator +
, http://dbpedia.org/resource/Direct_summand +
, http://dbpedia.org/resource/Exact_functor +
, http://dbpedia.org/resource/Local_ring +
, http://dbpedia.org/resource/Submodule +
, http://dbpedia.org/resource/Divisible_module +
, http://dbpedia.org/resource/Hereditary_ring +
, http://dbpedia.org/resource/Sheaf_%28mathematics%29 +
, http://dbpedia.org/resource/Academic_Press +
, http://dbpedia.org/resource/Derived_category +
, http://dbpedia.org/resource/Characteristic_%28algebra%29 +
, http://dbpedia.org/resource/Module_%28mathematics%29 +
, http://dbpedia.org/resource/Dual_%28category_theory%29 +
, http://dbpedia.org/resource/Category:Homological_algebra +
, http://dbpedia.org/resource/Product_%28category_theory%29 +
, http://dbpedia.org/resource/Module_homomorphism +
, http://dbpedia.org/resource/Commutative_ring +
, http://dbpedia.org/resource/Linear_span +
, http://dbpedia.org/resource/Completion_%28ring_theory%29 +
, http://dbpedia.org/resource/Split_exact_sequence +
, http://dbpedia.org/resource/Resolution_%28algebra%29 +
, http://dbpedia.org/resource/Monomorphism +
, http://dbpedia.org/resource/Finite_group +
, http://dbpedia.org/resource/Pacific_Journal_of_Mathematics +
, http://dbpedia.org/resource/Injective +
, http://dbpedia.org/resource/Injective_object +
, http://dbpedia.org/resource/Contravariant_functor +
, http://dbpedia.org/resource/File:Injective_module.svg +
, http://dbpedia.org/resource/Pure_injective_module +
|
| http://dbpedia.org/property/b
|
A
|
| http://dbpedia.org/property/p
|
N
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Harv +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Su +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Module_theory +
, http://dbpedia.org/resource/Category:Homological_algebra +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Q +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Injective_module?oldid=1121784240&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Injective_module.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Injective_module +
|
| owl:sameAs |
http://ru.dbpedia.org/resource/%D0%98%D0%BD%D1%8A%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9_%D0%BC%D0%BE%D0%B4%D1%83%D0%BB%D1%8C +
, http://www.wikidata.org/entity/Q2716519 +
, http://es.dbpedia.org/resource/M%C3%B3dulo_inyectivo +
, http://ko.dbpedia.org/resource/%EB%8B%A8%EC%82%AC_%EA%B0%80%EA%B5%B0 +
, http://zh.dbpedia.org/resource/%E5%85%A7%E5%B0%84%E6%A8%A1 +
, https://global.dbpedia.org/id/2YTw3 +
, http://dbpedia.org/resource/Injective_module +
, http://fa.dbpedia.org/resource/%D9%85%D8%AF%D9%88%D9%84_%D8%AA%D8%B2%D8%B1%DB%8C%D9%82%DB%8C +
, http://fr.dbpedia.org/resource/Module_injectif +
, http://it.dbpedia.org/resource/Modulo_iniettivo +
, http://ja.dbpedia.org/resource/%E5%85%A5%E5%B0%84%E5%8A%A0%E7%BE%A4 +
, http://uk.dbpedia.org/resource/%D0%86%D0%BD%27%D1%94%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B8%D0%B9_%D0%BC%D0%BE%D0%B4%D1%83%D0%BB%D1%8C +
, http://rdf.freebase.com/ns/m.02dtnj +
, http://he.dbpedia.org/resource/%D7%9E%D7%95%D7%93%D7%95%D7%9C_%D7%90%D7%99%D7%A0%D7%92%27%D7%A7%D7%98%D7%99%D7%91%D7%99 +
|
| rdf:type |
http://dbpedia.org/ontology/Work +
|
| rdfs:comment |
Инъекти́вный мо́дуль — одно из основных по … Инъекти́вный мо́дуль — одно из основных понятий гомологической алгебры. Модуль над кольцом (как правило, считаемым ассоциативным с единичным элементом) называется инъективным, если для всякого гомоморфизма и мономорфизма (инъективного гомоморфизма) существует такой гомоморфизм , что , то есть данная диаграмма коммутативна: Можно указать ещё один критерий инъективности: инъективен тогда и только тогда, когда для любого мономорфизма индуцированный гомоморфизм является эпиморфизмом. Прямое произведение модулей инъективно тогда и только тогда, когда инъективен каждый сомножитель.огда, когда инъективен каждый сомножитель.
, In mathematics, especially in the area of … In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, then any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook .discussed in some detail in the textbook .
, En matemáticas, un módulo inyectivo es un … En matemáticas, un módulo inyectivo es un módulo Q que comparte ciertas propiedades deseables con el Z-módulo Q de todos los números racionales. Específicamente, si Q es un submódulo de algún otro módulo, entonces es un sumando directo de ese módulo; también, dado un submódulo de un módulo Y, entonces cualquier homomorfismo de módulos de este submódulo a Q se puede ampliar a un homomorfismo de todo Y a Q. Este concepto es dual al de los módulos proyectivos.pto es dual al de los módulos proyectivos.
, En mathématiques, et plus spécifiquement e … En mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y. d'un sous-module de Y vers Q s'étend à Y.
, 內射模（英語：injective module），在模論中，是具有與有理數 （視為 -模）相似性質的模。內射模是投射模的對偶概念，由Reinhold Baer於1940年引進。
, Ін'єктивний модуль — один з типів модулів, що є двоїстим до проєктивного модуля і широко використовується в гомологічній алгебрі і загалом в теорії кілець.
, In matematica, un modulo iniettivo è un mo … In matematica, un modulo iniettivo è un modulo con la proprietà di essere un addendo diretto di ogni modulo che lo contiene: ovvero Q è iniettivo se, per ogni modulo M che lo contiene, esiste un sottomodulo N di M tale che M è la somma diretta di N e Q. Questo concetto è il duale di quello di modulo proiettivo; è stato introdotto da nel 1940. Un esempio di modulo iniettivo è lo -modulo dei numeri razionali.iettivo è lo -modulo dei numeri razionali.
, 환론에서 단사 가군(單射加群, 영어: injective module)은 이를 포함하는 모든 가군을 직합으로 쪼갤 수 있는 가군이다. 가군의 범주에서의 단사 대상이다.
, 数学において、入射加群（にゅうしゃかぐん、英: injective module）、あるいは移入加群（いにゅうかぐん）とは、関手 Hom(–, E) が完全となるような加群 E のことである。 ホモロジー代数における基本的な概念のひとつ。
|
| rdfs:label |
Módulo inyectivo
, 단사 가군
, 內射模
, Modulo iniettivo
, Ін'єктивний модуль
, Инъективный модуль
, Module injectif
, Injective module
, 入射加群
|
