инъективный
11ВЕКТОРНОЕ РАССЛОЕНИЕ — локально тривиальное расслоение : , каждый слои к рого наделен структурой (конечномерного) векторного пространства над телом ; наз. размерностью В. р. Сечения В. р. я образуют локально свободный модуль над кольцом непрерывных функций на Всо… …
12ВЛОЖЕНИЕ КАТЕГОРИЙ — ковариантный функтор F из категории Св категорию С , инъективный на классе морфизмов категории С …
13ГОМОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ — числовая характеристика объекта категории относительно некоторого выделенного класса объектов этой категории. Основная область применения этого понятия категории модулей над кольцом. Пусть фиксированный класс объектов абелевой категории и объект… …
14ГРОТЕНДИКА ГРУППА — аддитивной категории абелева группа, сопоставляемая аддитивной категории универсальным аддитивным отображением. Точнее, пусть С малая аддитивная категория и G абелева группа. Отображение наз. аддитивным, если для любой точной последовательности… …
15КОГОМОЛОГИИ — термин, употребляемый по отношению к функторам гомологической природы, которые, в отличие от гомологии, как правило, контравариантно зависят от объектов основной категории, на которой они определены. В отличие от гомологии, связывающие… …
16КОММУТАТИВНАЯ АЛГЕБРА — раздел алгебры, изучающий свойства коммутативных колец и связанных с ними объектов ( идеалов, модулей, нормирований и т. д.). К. а. выросла из задач, возникавших в теории чисел и алгебраич. геометрии. Задачи эти, как правило, относились к… …
17МОДУЛЕЙ КАТЕГОРИЯ — категория mod R, объекты к рой правые унитарные модули над произвольным ассоциативным кольцом Rс единицей, а, морфизмы гомоморфизмы R модулей. Эта категория является важнейшим примером абелевой категории. Более того, для всякой малой абелевой… …
18МОДУЛЬ — абелева группа с кольцом операторов. М. является обобщением (линейного) векторного пространства над полем Кдля случая, когда Кзаменяется нек рым кольцом. Пусть задано кольцо А. Аддитивная абелева группа Мназ. левым А модулем, если определено… …
19ОБРАТИМЫЙ ПУЧОК — локально свободный пучок модулей ранга 1 на окольцованном пространстве . Эквивалентное определение О. п.: пучок модулей, локально изоморфный пучку . О. п. на X, рассматриваемые с точностью до изоморфизма, образуют абелеву группу относительно… …
20ПОДМОДУЛЬ — подмножество модуля, являющееся подгруппой его аддитивной группы и замкнутое относительно умножения на элементы основного кольца. В частности, левый (правый) идеал кольца R является П. левого (правого) R модуля R. П., отличный от всего модуля,… …
