rdfs:comment
| - 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. (es)
- 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. (fr)
- 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. (it)
- 数学において、入射加群(にゅうしゃかぐん、英: injective module)、あるいは移入加群(いにゅうかぐん)とは、関手 Hom(–, E) が完全となるような加群 E のことである。 ホモロジー代数における基本的な概念のひとつ。 (ja)
- 환론에서 단사 가군(單射加群, 영어: injective module)은 이를 포함하는 모든 가군을 직합으로 쪼갤 수 있는 가군이다. 가군의 범주에서의 단사 대상이다. (ko)
- Ін'єктивний модуль — один з типів модулів, що є двоїстим до проєктивного модуля і широко використовується в гомологічній алгебрі і загалом в теорії кілець. (uk)
- 內射模(英語:injective module),在模論中,是具有與有理數 (視為 -模)相似性質的模。內射模是投射模的對偶概念,由Reinhold Baer於1940年引進。 (zh)
- 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 . (en)
- Инъекти́вный мо́дуль — одно из основных понятий гомологической алгебры. Модуль над кольцом (как правило, считаемым ассоциативным с единичным элементом) называется инъективным, если для всякого гомоморфизма и мономорфизма (инъективного гомоморфизма) существует такой гомоморфизм , что , то есть данная диаграмма коммутативна: Можно указать ещё один критерий инъективности: инъективен тогда и только тогда, когда для любого мономорфизма индуцированный гомоморфизм является эпиморфизмом. Прямое произведение модулей инъективно тогда и только тогда, когда инъективен каждый сомножитель. (ru)
|