Точный функтор
Точный функтор Определение точных функторов Точный функтор — это функтор, который сохраняет точные структуры. Точный функтор сохраняет точные структуры как […]
Точный функтор Определение точных функторов Точный функтор — это функтор, который сохраняет точные структуры. Точный функтор сохраняет точные структуры как […]
Лемма о расщеплении Лемма о расщеплении Лемма утверждает, что если последовательность групп является точной, то она может быть разложена на
Более яркая двойственность Определение и свойства двойственности Вердье Двойственность Вердье — это двойственность между производными категориями пучков и категориями абелевых
Слабая эквивалентность (гомотопическая теория) Определение и примеры модельных категорий Модельные категории — это аксиоматизация теории гомотопий для различных категорий. Примеры
Цепной комплекс Определение и свойства цепных комплексов Цепной комплекс — это последовательность групп, связанных операторами, которые коммутируют с граничными операторами.
Проективный объект Определение проективного объекта Проективный объект — это объект, который имеет достаточное количество проекций. Проекция — это эпиморфизм, который
Инвариантный базисный номер Определение и свойства инвариантного базисного числа Кольцо R обладает свойством IBN, если все конечно порожденные свободные левые
Кручение (алгебра) Определение и свойства кручения Кручение — это подмодуль, состоящий из элементов, которые «исчезают» при локализации. Кручение является подмодулем
Группа Гротендика Группа Гротендика — универсальная абелева группа, возникающая из коммутативного моноида M. Группа Гротендика обладает универсальным свойством и может
Теорема об универсальном коэффициенте Теоремы об универсальных коэффициентах связывают группы гомологий с различными коэффициентами. Интегральные группы гомологий полностью определяют группы
Точный функтор Точный функтор в гомологической алгебре сохраняет короткие точные последовательности. Точные функторы удобны для алгебраических вычислений. Большая часть работы
Плоский модуль Плоские модули включают свободные модули, проективные модули и модули без кручения в основной идеальной области. Плоскость модуля определяется
Вводный модуль Инъективный модуль — это модуль Q, который обладает определенными желательными свойствами с Z-модулем Q всех рациональных чисел. Инъективные
Девятая лемма Девятая лемма — утверждение о коммутативных диаграммах и точных последовательностях в математике. Лемма применима к категории групп и
Лемма о зигзаге Лемма о зигзаге — утверждение о существовании точной последовательности в группах гомологий цепных комплексов. Результат справедлив в
Лемма о змее Лемма о змее — инструмент в гомологической алгебре для построения точных последовательностей. Лемма справедлива в абелевых категориях
Глобальный аспект Глобальная размерность кольца A является гомологическим инвариантом и определяется как вершина множества проективных измерений всех A-модулей. Глобальная размерность
Разрешение (алгебра) Стандартное разрешение — это способ представления когерентных пучков на проективном пространстве. Ациклические разрешения используются для вычисления производных функторов,
Тензорное произведение модулей Тензорное произведение двух R-модулей M и N является R-модулем. Тензорное произведение не коммутирует с обратным пределом, порядок
Вторичный математический анализ и когомологическая физика Вторичный математический анализ объединяет различные математические теории. Вторичный анализ основан на идеях дифференциального исчисления