Другие новости от posic.livejournal.com
Реклама на проекте
R-мультипликативные системы - 4
Wednesday, 04 November, 03:11,
posic.livejournal.com
Функтор тензорного произведения правых и левых мультипликативных R-систем (M,L) → M ⊗A(R) L, принимающий значения в категории абелевых групп, получается как частный случай известной конструкции тензорного произведения правых и левых модулей над "большим кольцом" (контравариантных и ковариантных аддитивных функторов в абелевы группы из фиксированной предаддитивной категории). Левая/правая мультипликативная R-система называется плоской, если функтор тензорного произведения с ней точен на категории правых/левых мультипликативных R-систем.
Ключевую техническую роль играет следующая
Основная лемма. Ядро сюръективного отображения из строгой левой мультипликативной R-системы в плоскую строгую левую мультипликативную R-систему является строгой левой мультипликативной R-системой.
(Продолжение следует.)
Комментарии (0)